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 条
  • [1] Reusable component analysis for component-based embedded real-time systems
    Fredriksson, Johan
    Land, Rikard
    [J]. PROCEEDINGS OF THE ITI 2007 29TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2007, : 615 - +
  • [2] Component-based dynamic QoS adaptations in distributed real-time and embedded systems
    Sharma, PK
    Loyall, JP
    Heineman, GT
    Schantz, RE
    Shapiro, R
    Duzan, G
    [J]. ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPLS, DOA, AND ODBASE, PT 2, PROCEEDINGS, 2004, 3291 : 1208 - 1224
  • [3] PRIDE - an Environment for Component-based Development of Distributed Real-time Embedded Systems
    Borde, Etienne
    Carlson, Jan
    Feljan, Juraj
    Lednicki, Luka
    Leveque, Thomas
    Maras, Josip
    Petricic, Ana
    Sentilles, Severine
    [J]. 2011 9TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2011, : 351 - 354
  • [4] Supporting component-based failover units in middleware for distributed real-time and embedded systems
    Wolf, Friedhelm
    Balasubramanian, Jaiganesh
    Tambe, Sumant
    Gokhale, Aniruddha
    Schmidt, Douglas C.
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (06) : 597 - 613
  • [5] Component-based design of large distributed real-time systems
    Kopetz, H
    [J]. DISTRIBUTED COMPUTER CONTROL SYSTEMS 1997 (DCCS'97), 1997, : 141 - 147
  • [6] Dynamic guarantee in component-based distributed real-time systems
    Tatibana, Cssia Yuri
    de Oliveira, Romulo Silva
    Montez, Carlos
    [J]. ETFA 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, VOL 1, PTS 1 AND 2, PROCEEDINGS, 2005, : 7 - 14
  • [7] Framework for component-based development of distributed real-time systems
    Villela, C
    Becker, LB
    Pereira, CE
    [J]. SIXTH INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2001, : 85 - 90
  • [8] Component-based design of large distributed real-time systems
    Kopetz, H
    [J]. CONTROL ENGINEERING PRACTICE, 1998, 6 (01) : 53 - 60
  • [9] Efficient and deterministic application deployment in component-based enterprise distributed real-time and embedded systems
    Otte, William R.
    Gokhale, Aniruddha
    Schmidt, Douglas C.
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2013, 55 (02) : 475 - 488
  • [10] Communications-oriented development of component-based vehicular distributed real-time embedded systems
    Mubeen, Saad
    Maki-Turja, Jukka
    Sjodin, Mikael
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2014, 60 (02) : 207 - 220
12345