Engineering Resilient Space Systems

Engineering Resilient Space Systems

Engineering Resilient Systems : Models , Methods and Tools

Software-intensive systems are becoming widely used in such critical infrastructures as railway, airand road traffic, power management, health care and banking. In spite of drastically increased complexity and need to operate in unpredictable volatile environment, high dependability remains a must for such systems. Resilience – the ability to deliver services that can be justifiably trusted des...

Designing Multi-agent Systems for Resilient Engineering Systems

Our modern life has grown to depend on many and nearly ubiquitous large complex engineering systems. Many disciplines now seemingly ask the same question: “In the face of assumed disruption, to what degree will these systems continue to perform and when will they bounce back to normal operation”. This presentation argues that multi-agent systems (MAS), as decentralized and intelligent control s...

Formal Engineering of Resilient Systems: Achievements and Challenges

In this paper we overview the work on formal engineering of resilient systems carried out in the FP7 EU Deploy project. We discuss our experience and open issues. Keywords-resilience; formal modelling; Event-B

Tradespace Exploration for the Engineering of Resilient Systems

Tradespace exploration supports the Systems Engineering Technical Management Process of Decision Analysis by identifying compromises, revealing opportunities, and communicating the impacts of decisions across a system’s development lifecycle. Critical program decisions are made based on the outcomes of trades; trades being performed with multiple types and quantities of data coming out of tools...