Title :
Time constraint verification methods based on time Petri nets
Author :
Toussaint, Joël ; Simonot-Lion, Françoise ; Thomesse, Jean-Pierre
Author_Institution :
CRIN-INRIA Lorraine, Vandoeuvre-les-Nancy, France
Abstract :
The study is concerned with the development of real time distributed applications and more precisely with the verification of temporal properties in a distributed context (taking into account the characteristics of the real architecture). We show how to use a time Petri net based model of the application in order to prove that a communication system (networks, protocols) and a mapping of tasks meet specified temporal properties
Keywords :
Petri nets; distributed processing; program verification; real-time systems; communication system; computer networks; protocols; real time distributed applications; task mapping; temporal properties; time Petri nets; time constraint verification methods; Automata; Computer architecture; Computer networks; Control systems; Data flow computing; Distributed computing; Object oriented modeling; Petri nets; Protocols; Time factors;
Conference_Titel :
Distributed Computing Systems, 1997., Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Tunis
Print_ISBN :
0-8186-8153-5
DOI :
10.1109/FTDCS.1997.644736
