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
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;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.637534
