Category Safety Critical & Fault Tolerant Systems
Down-scaling Generation, Verification and Validation of Software into the Range of Hours: The Benefits of Complete Formalisation and Automation
This paper discusses the advantages of formalisation and automation of software production and the
challenges yet to master with current operation platforms.
Permalink
ISG and Synchronous Systems
This presentation summarizes the results as obtained by ISG/ASaP in the course
of the ESPRIT project CRISYS (EP 25514). The goal was to evaluate the
robustness in presence of time-jitter and fault-injection for a critical
distributed control system.
Permalink
With Executable Models through the Life Cycle
Date | 16 Apr 1997 - 18Apr 1997 |
Event | FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems |
Location | Munich, Germany |
The presentation included a tool demonstration.
Permalink
Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems
Date | 11 Sep 1996 - 13 Sep 1996 |
Event | CSR 13th Annual Workshop "Design for Protecting the User" |
Location | BÃŒrgenstock near Luzern, Switzerland |
Permalink
GIFTBox: A Guide to master Distributed, Heterogeneous Systems
Describes a generic architecture and decomposition scheme.
Permalink
Files
Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance
Permalink