Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

A modular verification of complex real-time systems

DOI: 10.1109/ICSMC.1994.400026

	IEEE Systems, Man, and Cybernetics Society: Humans, information and technology. Vol. 2 Piscataway, NJ: IEEE, 1994 ISBN: 0-7803-2129-4 ISBN: 0-7803-2130-8 ISBN: 0-7803-2131-6 pp.1308-1313
	International Conference on Systems, Man, and Cybernetics (SMC) <1994, San Antonio/Tex.>

	English
	Conference Paper
	Fraunhofer ISST ()
	Echtzeitsystem; petri net; Petrinetz; real-time system; specification; Spezifikation; verification; verification

Abstract
A coloured Petri nets based specification and verification concept for complex real-time systems are presented The verification technique proposed in this paper requires the construction of the labelled state graphs to the given functional model and architecture model to prove that both have the same legal trajectories regarding the same set of observables.

: http://publica.fraunhofer.de/documents/PX-24790.html