Community Research and Development Information Service - CORDIS

Abstract

The concept of incremental prototyping is a way of coping with constantly increasing complexity and risks associated with the industrial development of embedded computer systems. Incremental prototyping technology will address the development needs of large, distributed and multi-supplier embedded real-time systems. As a technical basis, the semi-formal graphical language SA/RT, the formal graphical high-level Petri nets, the formal textual language VDM/Meta IV, and the object-oriented paradigm have been harnessed. The methodology developed and the support tools are evaluated in two case studies for selected safety-critical real-time process control applications in industry.

Additional information

Authors: BOLOGNA S (EDITOR), ENEA CRE-Casaccia, Roma (IT)
Bibliographic Reference: Report: EN (1993) 140 pp.
Availability: Available from the ESPRIT Programme Office, CEC, DG XIII, 200 rue de la Loi, B-1049 Bruxelles (BE)
Record Number: 199330111 / Last updated on: 1994-11-29
Category: PUBLICATION
Original language: en
Available languages: en