Incremental Design of Reactive Systems
| TU München | Informatik | Software & Systems Engineering | Projects |
Incremental Design of Reactive Systems
| People | Partners | Publications | Related |
Summary
| Inkrea investigates the mathematical principles of elaboration steps for the incremental design of reactive systems as well as their implementation in the CASE tool AutoFocus. |
Abstract
|
An incremental design methodology is a key factor for the
design of software systems. Computer science has developed a number of
formal approaches for the stepwise design of small programs
based on a mathematical specification, as well as process models that
divide software design in different phases, such as analysis, design,
implementation and test.
This project closes the gap between these approaches. Starting with first abstract descriptions of the system functionality, these descriptions are systematically refined and extended, for example to add error handling or new functionality, or to divide the system into subsystems for a distributed implementation. Systems are described using mathematically formalized description techniques like state transition diagrams, sequence diagrams or system structure diagrams. Description techniques and system elaboration steps will be integrated in the CASE tool AutoFocus. Inkrea is supported by the Deutsche Forschungsgemeinschaft under reference number Br 887/14-1. Keywords. Formal methods, refinement, reactive systems, embedded systems, CASE tools, incremental design. |
Contact
| Jan Philipps, Tel. +49-89-289-22398 |
Schedule
| March 1, 2001 - February 28, 2003 |
Within the project we are cooperating with the following research groups and colleagues:
|
| A list of relevant publications will be added here shortly. |
|
The project is related to the research projects
InTime,
BeQuest,
Quest and
SFB 342/A6.
Tool support is based on AutoFocus, which has been developed at our research group since 1996. |