Copyright © 2004-2010 BSSE.
All rights reserved.
Impressum Legal Notice

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 [00012]
Date	Oct 2000
Files
Abstract
This paper discusses the advantages of formalisation and automation of software production and the challenges yet to master with current operation platforms.

ISG and Synchronous Systems [00013]
Date	Oct 2000
Files
Presentation
Links
CRISYS
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.

With Executable Models through the Life Cycle [00031]
Event	FEmSys'97 Workshop on Formal Design of Safety Critical Embedded Systems
Date	16 Apr 1997 - 18Apr 1997
Location	Munich, Germany
The presentation included a tool demonstration.

Improving Computer-Aided Management of Social Processes by Techniques Applied to Safety-Critical Systems [00032]
Event	CSR 13th Annual Workshop "Design for Protecting the User"
Date	11 Sep 1996 - 13 Sep 1996
Location	Bürgenstock near Luzern, Switzerland

GIFTBox: A Guide to master Distributed, Heterogeneous Systems [00033]
Date	Jun 1996
Files
Paper
Describes a generic architecture and decomposition scheme.

Formal Methods for the Validation of Autonomous Spacecraft Fault Tolerance [00035]
Date	1996