Title :
Transnet approach to requirements specification and prototyping
Author_Institution :
Inst. of Autom. Control, Warsaw Univ. of Technol., Poland
Abstract :
A method for specification and early validation of embedded software is presented. The method is based on an extension to Petri nets, which provides a framework for building an executable model of a specification and describing control as well as data processing aspects of the software. A specification is developed by an object-oriented problem decomposition into a set of parallel processes. Each process is defined by a pair consisting of a Petri net and a data path. An algebraic model of the specification is defined, and basic problems for the model analysis are indicated. The generality of the model is shown by comparison with the functional specification language PAISLey.<>
Keywords :
Petri nets; formal specification; object-oriented methods; program verification; software prototyping; specification languages; Petri nets; Transnet approach; algebraic model; data path; data processing aspects; early validation; embedded software; executable model; functional specification language PAISLey; model analysis; object-oriented problem decomposition; parallel processes; prototyping; requirements specification; Automatic control; Costs; Data processing; Embedded software; Object oriented modeling; Petri nets; Prototypes; Software prototyping; Specification languages; Timing;
Conference_Titel :
CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.
Conference_Location :
The Hague, Netherlands
Print_ISBN :
0-8186-2760-3
DOI :
10.1109/CMPEUR.1992.218506
