SERUS: Software Engineering for Resilient Ubiquitous Systems
Resilience is defined as the ability of a system to stay dependable when facing changes. For example, a building management system (e.g., anti-intrusion, fire detection) needs to evolve at runtime (e.g., deployment of new functionalities) because its critical nature excludes interrupting its operation. Resilence concerns occur in various application domains such as civil systems (civil protection, control of water or energy, etc.) or private systems (home automation, digital assistance, etc.).
The objectives of this project is to propose a design-driven development methodology for resilient systems that
- takes into account dependability concerns in the early stages,
- ensures the traceability of these requirements throughout the system life-cycle, even during runtime evolution.
To provide a high level of support, this methodology will rely on a design paradigm dedicated to sense/compute/control applications. This design will be enriched with dependability requirements and used to provide support throughout the system life-cycle.