Objective
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.
Topic(s)
Data not availableCall for proposal
Data not availableFunding Scheme
Data not availableCoordinator
5230 Odense
Denmark
See on map
Participants (9)
75015 Paris
See on map
00148 Roma
See on map
NE35 9PE Boldon
See on map
20133 Milano
See on map
90101 Oulu
See on map
92804 Puteaux
See on map
90571 Oulu
See on map
28043 Madrid
See on map
28660 Madrid
See on map