SERENEWorkshop
25 SlideShares 13 Abonné
Mots-clés
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
Tout plus

Présentations

(25)
Tout voir

SERENE 2014 Workshop: Paper "The Role of Parts in the System Behaviour"

il y a 9 ans • 384 Vues

SERENE 2014 Workshop: Paper "On Applying FMEA to SOAs: A Proposal and Open Challenges"

il y a 9 ans • 631 Vues

SERENE 2014 Workshop: Paper "Enhancing Architecture Design Decisions Evolution with Group Decision Making Principles"

il y a 9 ans • 600 Vues

SERENE 2014 Workshop: Paper "Automatic Generation of Description Files for Highly Available Systems"

il y a 9 ans • 419 Vues

SERENE 2014 Workshop: Paper "Modelling Resilience of Data Processing Capabilities of CPS"

il y a 9 ans • 457 Vues

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

il y a 9 ans • 693 Vues

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

il y a 9 ans • 624 Vues

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

il y a 9 ans • 526 Vues

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

il y a 9 ans • 561 Vues

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

il y a 9 ans • 426 Vues

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

il y a 9 ans • 489 Vues

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

il y a 9 ans • 490 Vues

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

il y a 9 ans • 551 Vues

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

il y a 9 ans • 2380 Vues

SERENE 2014 School: Challenges in Cyber-Physical Systems

il y a 9 ans • 1349 Vues

SERENE 2014 School: Incremental Model Queries over the Cloud

il y a 9 ans • 725 Vues

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

il y a 9 ans • 622 Vues

SERENE 2014 School: System-Level Concurrent Error Detection

il y a 9 ans • 719 Vues

SERENE 2014 School: System management overview

il y a 9 ans • 1980 Vues

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

il y a 8 ans • 470 Vues

Risk Assessment Based Cloudification

il y a 8 ans • 557 Vues

Engineering Cross-Layer Fault Tolerance in Many-Core Systems

il y a 8 ans • 578 Vues

Towards Robust and Safe Autonomous Drones

il y a 8 ans • 1817 Vues

Considering Execution Environment Resilience: A White-Box Approach

il y a 8 ans • 362 Vues

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

il y a 8 ans • 883 Vues
Mots-clés
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
Tout plus