Transnet approach to requirements specification and prototyping

Author

Sacha, K.M.

Author_Institution

Inst. of Autom. Control, Warsaw Univ. of Technol., Poland

fYear

1992

fDate

4-8 May 1992

Firstpage

220

Lastpage

225

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;

fLanguage

English

Publisher

ieee

Conference_Titel

CompEuro '92 . 'Computer Systems and Software Engineering',Proceedings.

Conference_Location

The Hague, Netherlands

Print_ISBN

0-8186-2760-3

Type

conf

DOI

10.1109/CMPEUR.1992.218506

Filename

218506