ISSN:
1573-1383
Keywords:
Real-time
;
requirements specification
;
early validation
;
Petri net
;
net analysis
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract The paper presents the executable specification method for real-time (embedded) systems Transnet. The method is based on an extension to Petri nets. A specification is developed by a problem decomposition into a set of parallel processes. Each process is defined by an extended Petri net with functions assigned to transitions, and conditions and time constants assigned to arcs. It is shown that Transnet matches with the characteristics of the intended class of applications. The available specification languages and the internal representation of data which describe the functional as well as nonfunctional requirements are outlined. The advantages of the Petri net-based representation and the possibilities of automatic net analysis and early validation are discussed.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01088594
