Ziel
Incremental prototyping is a way of coping with constantly increasing complexity and risks associated with the industrial development of embedded computer systems. The technology of incremental prototyping addresses the development needs of large, distributed and multi-supplier embedded real-time systems. As a technical basis, the semi-formal graphical notation SA/RT, the formal graphical high-level Petri nets, the formal textual language VDM-SL and the object-oriented paradigm have been harnessed.
The methodology developed and the supporting tools have been evaluated in a number of case studies for selected safety-critical, real-time process control applications in industry.
Programm/Programme
Thema/Themen
Data not availableAufforderung zur Vorschlagseinreichung
Data not availableFinanzierungsplan
Data not availableKoordinator
INSTITUTE FOR ANVENDT DATATEKNIK
EU-Beitrag
Keine Daten
Adresse
FORSKERPARKEN, 10
5230 ODENSE
Dänemark
5230 ODENSE
Dänemark
Gesamtkosten
Keine Daten