Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems

Author

Kumar, Pranav Srinivas ; Karsai, Gabor

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Vanderbilt Univ., Nashville, TN, USA

fYear

2015

fDate

13-17 April 2015

Firstpage

50

Lastpage

57

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.

Keywords

Petri nets; distributed processing; embedded systems; object-oriented programming; state-space methods; CPN-based modelling; colored Petri net; component-based DRE system; distributed real-time embedded system; state space method; temporal behavior analysis; Analytical models; Hardware; Message systems; Petri nets; Real-time systems; Timing; Unified modeling language; analysis; based; colored petri nets; distributed; real-time; schedulability; timing;

fLanguage

English

Publisher

ieee

Conference_Titel

Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW), 2015 IEEE International Symposium on

Conference_Location

Auckland

Type

conf

DOI

10.1109/ISORCW.2015.56

Filename

7160123