KMUFA IKTA (Infocommunication Technologies and Applications)
|
Project Title: |
Framework for the Development and Testing of Dependable and Safety-Critical Systems |
|
Project Acronym: |
- |
|
Project ID: |
IKTA 00065/2000 |
|
Project URL: |
http://www.inf.mit.bme.hu/FTSRG/Projects/ikta3.html |
|
Project coordinator: |
Budapest Univ. of Technology and Economics (BUTE) Dept. of Measurement and Information Systems (DMIS) |
|
Proposers: |
BUTE DMIS Prolan Control Co. B.Braun Medical Hungary Ltd. Magic Onyx Hungary Ltd. |
|
Project duration: |
30 months (from 1st of January 2001 to 30 June 2003) |
|
Project funding from Ministry of Education: |
27.220.000.- HUF/14.500.000.- HUF for BUTE DMIS |
|
Contact person: |
András Pataricza |
|
Organization: |
Budapest University of Technology and Economics Department of Measurement and Information Systems |
|
Address: |
H-1117 Budapest, Magyar tudósok krt. 2. |
|
Phone: |
+ 36 1 463 3595 |
|
Fax: |
+ 36 1 463 4112 |
|
Email: |
|
|
URL: |
http://www.mit.bme.hu |
IKTA
00065/2000
(Sponsored by the Hungarian
Ministry of Education)
The consortium of the project consists of four participants. The coordinator is the Department of Measurement and Information Systems, Budapest University of Technology and Economics. Industrial partners are Prolan Process Control Co., B.Braun Medical Hungary Ltd., and Magic Onyx Hungary Ltd.
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 analysis framework is implemented in an open way. Its input is the UML design, which is represented using the standard data interchange format (XMI) that allows the application of various (ISO 9000 certified) UML-based design environments. The UML model is transformed automatically to the input format of off-the-shelf mathematical analysis tools. The transformation is implemented by a set of proved rules based on formal graph-transformation language. This step is completely hidden from the designer, since the results of the analysis are back-annotated and partially visualized in the original UML environment.
As a result, quality bottlenecks, design faults and possible uncovered fault situations can be revealed. By using this analysis environment as an expert tool, the quality of design can be raised to such a level that could not be reached in a typical, informal design flow.
These conceptual tasks will be demonstrated by two groups of benchmark applications. The first one is the design of the patient weight control in an artificial kidney machine (B.Braun). The second set of applications consists of various modules of a complex train control system (Prolan).
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.