IEEE - Institute of Electrical and Electronics Engineers, Inc. - Predicting timeliness of reactive systems under flexible scheduling

International Symposium on Autonous Decentralized Systems (ISADS 2003)

Author(s): G. Bucci ; B. Fedeli ; E. Vicario
Sponsor(s): Comput. Soc. IEEE
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Pisa, Italy, Italy
Conference Date: 11 April 2003
Page Count: 6
Page(s): 125 - 130
ISBN (Paper): 0-7695-1876-1
DOI: 10.1109/ISADS.2003.1193940
Regular:

A modeling and validation approach extending the formalism of timed Petri nets (TPN) for the analysis of real time systems with flexible scheduling capabilities is introduced. The new formalism is... View More

Advertisement