SERENEWorkshop
25 SlideShares 13 Followers
Tags
resilience serene resilient software engineering school cyber physical systems cps serene 2015 ansaldo railway disaster recovery availability group decision making behaviour quadrotors design decisions architecture quality self* model driven engineering dependability qos
Mehr anzeigen
  • Dokumente
  • Infografiken
Aktuellste Beliebteste SlideShares

Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railway Control Systems

Vor 8 Jahren • 888 Aufrufe

Considering Execution Environment Resilience: A White-Box Approach

Vor 8 Jahren • 362 Aufrufe

Towards Robust and Safe Autonomous Drones

Vor 8 Jahren • 1822 Aufrufe

Engineering Cross-Layer Fault Tolerance in Many-Core Systems

Vor 8 Jahren • 578 Aufrufe

Risk Assessment Based Cloudification

Vor 8 Jahren • 557 Aufrufe

Biological Immunity and Software Resilience: Two Faces of the Same Coin?

Vor 8 Jahren • 474 Aufrufe

SERENE 2014 School: System management overview

Vor 9 Jahren • 1983 Aufrufe

SERENE 2014 School: System-Level Concurrent Error Detection

Vor 9 Jahren • 719 Aufrufe

SERENE 2014 School: Measurement-Driven Resilience Design of Cloud-Based Cyber-Physical Systems

Vor 9 Jahren • 622 Aufrufe

SERENE 2014 School: Incremental Model Queries over the Cloud

Vor 9 Jahren • 725 Aufrufe

SERENE 2014 School: Challenges in Cyber-Physical Systems

Vor 9 Jahren • 1350 Aufrufe

SERENE 2014 School: Resilience in Cyber-Physical Systems: Challenges and Opportunities

Vor 9 Jahren • 2390 Aufrufe

SERENE 2014 Workshop: Panel on "Views on Runtime Resilience Assessment of Dynamic Software Systems"

Vor 9 Jahren • 552 Aufrufe

SERENE 2014 Workshop: Paper "Combined Error Propagation Analysis and Runtime Event Detection in Process-driven Systems"

Vor 9 Jahren • 490 Aufrufe

SERENE 2014 Workshop: Paper "Simulation Testing and Model Checking: A Case Study Comparing these Approaches"

Vor 9 Jahren • 489 Aufrufe

SERENE 2014 Workshop: Paper "Adaptive Domain-Specific Service Monitoring"

Vor 9 Jahren • 427 Aufrufe

SERENE 2014 Workshop: Paper "Verification and Validation of a Pressure Control Unit for Hydraulic Systems"

Vor 9 Jahren • 561 Aufrufe

SERENE 2014 Workshop: Paper "Using Instrumentation for Quality Assessment of Resilient Software in Embedded Systems"

Vor 9 Jahren • 527 Aufrufe

SERENE 2014 Workshop: Paper "Advanced Modelling, Simulation and Verification for Future Traffic Regulation Optimisation"

Vor 9 Jahren • 625 Aufrufe

SERENE 2014 Workshop: Paper "Formal Fault Tolerance Analysis of Algorithms for Redundant Systems in Early Design Stages"

Vor 9 Jahren • 693 Aufrufe