Integrated Analysis of Temporal Behavior of Component-based Distributed Real-time Embedded Systems

被引：2
|
作者：
Kumar, Pranav Srinivas [1 ]
Karsai, Gabor [1 ]
机构：
[1] Vanderbilt Univ, Inst Software Integrated Syst, Dept Elect Engn & Comp Sci, Nashville, TN 37235 USA
来源：
2015 IEEE 18TH INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING WORKSHOPS | 2015年
关键词：
component-based; real-time; distributed; colored petri nets; timing; schedulability; analysis;
D O I：
10.1109/ISORCW.2015.56
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：50 / 57
页数：8
相关论文
共 50 条
  • [31] Enabling Component-Based Design for Embedded Real-Time Software
    Wiklander, Jimmie
    Eliasson, Jens
    Kruglyak, Andrey
    Lindgren, Per
    Nordlander, Johan
    JOURNAL OF COMPUTERS, 2009, 4 (12) : 1309 - 1321
  • [32] Data management for component-based embedded real-time systems: The database proxy approach
    Hjertstrom, Andreas
    Nystrom, Dag
    Sjodin, Mikael
    JOURNAL OF SYSTEMS AND SOFTWARE, 2012, 85 (04) : 821 - 834
  • [33] A Data-Entity Approach for Component-Based Real-Time Embedded Systems Development
    Hjertstrom, Andreas
    Nystrom, Dag
    Sjodin, Mikael
    2009 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (EFTA 2009), 2009,
  • [34] A component-based process with separation of concerns for the development of embedded real-time software systems
    Panunzio, Marco
    Vardanega, Tullio
    JOURNAL OF SYSTEMS AND SOFTWARE, 2014, 96 : 105 - 121
  • [35] Developing component-based software for real-time systems
    Zalewski, J
    PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 80 - 87
  • [36] A hierarchical framework for component-based real-time systems
    Lipari, G
    Gai, P
    Trimarchi, M
    Guidi, G
    Ancilotti, P
    COMPONENT-BASED SOFTWARE ENGINEERING, 2004, 3054 : 209 - 216
  • [37] A Hierarchical Framework for Component-based Real-time Systems
    Lipari, Giuseppe
    Gai, Paolo
    Trimarchi, Michael
    Guidi, Giacomo
    Ancilotti, Paolo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 116 : 253 - 266
  • [38] Modeling urgency in component-based real-time systems
    Van Tang, Nguyen
    Van Hung, Dang
    Ogawa, Mizuhito
    ADVANCES IN COMPUTER SCIENCE - ASIAN 2006: SECURE SOFTWARE AND RELATED ISSUES, 2007, 4435 : 248 - +
  • [39] Component-Based Design in Multiprocessor Real-Time Systems
    Baruah, Sanjoy
    Fisher, Nathan
    2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 209 - +
  • [40] Model-driven specification of component-based distributed real-time and embedded systems for verification of systemic QoS properties
    Hill, James H.
    Gokhale, Aniruddha
    2008 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-8, 2008, : 3766 - 3773
12345