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 条
  • [41] Adaptive Mechanisms for Component-Based Real-Time Systems
    Buttazzo, Giorgio
    Santinelli, Luca
    2015 NASA/ESA CONFERENCE ON ADAPTIVE HARDWARE AND SYSTEMS (AHS), 2015,
  • [42] Database Proxies for Component-Based Real-Time Systems
    Hjertstrom, Andreas
    Nystrom, Dag
    Sjodin, Mikael
    22ND EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS (ECRTS 2010), 2010, : 79 - 89
  • [43] A Trace-Based Statistical Worst-Case Execution Time Analysis of Component-Based Real-Time Embedded Systems
    Lu, Yue
    Nolte, Thomas
    Bate, Iain
    Cucu-Grosjean, Liliana
    2011 IEEE 16TH CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2011,
  • [44] Integrated environment for the analysis and design of distributed real-time embedded computing systems
    R. L. Smelyansky
    A. G. Bakhmurov
    D. Yu. Volkanov
    E. V. Chemeritskii
    Programming and Computer Software, 2013, 39 : 242 - 254
  • [45] Integrated environment for the analysis and design of distributed real-time embedded computing systems
    Smelyansky, R. L.
    Bakhmurov, A. G.
    Volkanov, D. Yu.
    Chemeritskii, E. V.
    PROGRAMMING AND COMPUTER SOFTWARE, 2013, 39 (05) : 242 - 254
  • [46] Umple as a Component-based Language for the Development of Real-time and Embedded Applications
    Orabi, Mahmoud Husseini
    Orabi, Ahmed Husseini
    Lethbridge, Timothy
    PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2016), 2016, : 282 - 291
  • [47] Study on real-time component-based modeling for embedded system testing
    Chen Fulong
    Fan Xiaoya
    Deng Lei
    Wei Hanjun
    ISTM/2007: 7TH INTERNATIONAL SYMPOSIUM ON TEST AND MEASUREMENT, VOLS 1-7, CONFERENCE PROCEEDINGS, 2007, : 138 - 141
  • [48] Extending Component-based Architecture to Design Embedded Real-time System
    Lu, Shourong
    Jin, Qichun
    2019 4TH INTERNATIONAL CONFERENCE ON MECHANICAL, CONTROL AND COMPUTER ENGINEERING (ICMCCE 2019), 2019, : 83 - 86
  • [49] Component-based performance-sensitive real-time embedded software
    Wang, Lingfeng
    IEEE AEROSPACE AND ELECTRONIC SYSTEMS MAGAZINE, 2008, 23 (01) : 28 - 34
  • [50] A component-based UML profile to model embedded real-time systems designed by the MDA approach
    Lu, SR
    Halang, WA
    Zhang, LC
    11TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2005, : 563 - 566
12345