DocumentCode
2434312
Title
Towards a modular timing analysis of real-time software systems
Author
De Figueiredo, Jorge C A ; Perkusich, Angelo
Author_Institution
Dept. of Comput. Sci., Fed. Univ. of Paraibu, Brazil
Volume
5
fYear
1997
fDate
12-15 Oct 1997
Firstpage
4442
Abstract
In this paper we present a timing Petri net extension based on fuzzy set theory to perform timing analysis of software systems. A modular timing analysis is defined by using a structure tool named G-Net. Finally, we make some considerations about the integration of this timing extension and G-CPN, an object-based Petri net
Keywords
Petri nets; formal specification; fuzzy set theory; real-time systems; timing; G-CPN; G-Net; fuzzy set theory; modular timing analysis; object-based Petri net; real-time software systems; structure tool; timing Petri net extension; timing extension; Fuzzy set theory; Fuzzy systems; Object oriented modeling; Performance analysis; Petri nets; Power system modeling; Real time systems; Software systems; Timing; Uncertainty;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location
Orlando, FL
ISSN
1062-922X
Print_ISBN
0-7803-4053-1
Type
conf
DOI
10.1109/ICSMC.1997.637534
Filename
637534
Link To Document