Paper Info
Title
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems
Abstract
Integrated analysis of temporal behavior for distributed real-time embedded (DRE) systems is an important design-time step needed to verify safe and predictable system operation at run-time. In earlier work, we have shown a Colored Petri Net-based (CPN) approach to modeling and analyzing component-based DRE systems. In this paper, we present new CPN-based modeling approaches and advanced state space methods that improve on the scalability and efficiency of the analysis. The generality of the modeling principles used show the applicability of this approach to a wide range of systems.
Year
DOI
Venue
2015
10.1109/ISORCW.2015.56
ISORC Workshops
Keywords
Field
DocType
component-based, real-time, distributed, colored petri nets, timing, schedulability, analysis
Petri net,Computer science,Colored petri,Stochastic Petri net,Process architecture,Real-time computing,State space,Generality,Scalability,Distributed computing,Embedded system
Conference
Citations 
PageRank 
References 
2
0.39
26
Authors
2
Name
Order
Citations
PageRank
Pranav Srinivas Kumar1121.65
Gabor Karsai22465192.32