Safety-Critical Systems

Framework for the Development of Dependable and Safety-Critical Systems
Típus: 
IKTA
Kezdés éve: 
2001
Befejezés éve: 
2003
Partnerek: 
Prolan Rt., B.Braun Medical Hungary Kft., Magic Onyx Hungary Kft

Tanszéki projektvezető

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
professor
Szoba: IB420
Tel.:
+36 1 463-3595
Email: pataric (*) mit * bme * hu

Contact information

Koordinátor: 
BME MIT Fault Tolerant Systems Research Group
Felelős: 
András Pataricza

Bemutatás

The purpose of the project is to develop an open methodology and framework for model analysis, which contributes to the increase of the quality of software for safety-critical embedded systems. The Unified Modeling Language (UML), the most widely used standard visual design language of object-oriented systems, becomes more and more popular in embedded system design. The visual programming followed by automatic code generation eliminates some basic design mistakes; however, it can not assure semantic correctness of the design and also cannot guarantee that the system fulfils its specification in the presence of component faults. The project aims at the extension of the UML-based design process by model analysis techniques and tools. Three areas of analysis are distinguished. First, the completeness and consistency of the UML dynamic specification is examined. Second, the behavioral correctness of the system is proved by examining the effects of faults occurring in the system and in its environment. Additionally, the testability of the faults under consideration is examined. Third, the correctness of the control flow is verified. The expected results of the project include, first of all, the prototype model transformation and the specific analysis tools: completeness and consistency checker, fault propagation and testability analyzer, and control flow verifier. Additionally, a design decision database is constructed that supports the designer in accessing and documenting the analysis result. These tools are completed by educational materials, which can be used when the application of the developed techniques is introduced in a company.

© 2010-2021 BME MIT