The Procos Approach to the Design of Real-time Systems: Linking Diierent Formalisms Document Purpose

M. Schenke,M. R. Hansen,A. Ravn
Abstract:Tutorial material for FME'96: The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. The tutorial focuses on the need to link the diierent formalisms that are used in a development path from speciication of requirements to executable programs or specialized hardware. General linking paradigms for compiler veriication, transformation from speciications to programs, and transformation from state to event based formalisms are illustrated with examples taken from the real-time formalisms developed in the project.
What problem does this paper attempt to address?