SaveCCM -: a component model for safety-critical real-time systems

被引：33
|
作者：
Hansson, H [1 ]
Åkerholm, M [1 ]
Crnkovic, I [1 ]
Törngren, M [1 ]
机构：
[1] Malardalen Univ, Malardalen Real Time Res Ctr, Vasteras, Sweden
来源：
PROCEEDINGS OF THE 30TH EUROMICRO CONFERENCE | 2004年
关键词：
D O I：
10.1109/EURMIC.2004.1333431
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Component-based development has proven effective in 7,117,11 engineering domains, and several general component technologies are available. Most of these are focused on providing an efficient software-engineering process. However for the majority of embedded systems, run-time efficiency and prediction of system behaviour are as important as process efficiency. This calls for specialized technologies. There is even a need for further specialized technologies adapted to different types of embedded systems, due to the heterogeneity of the domain and the close relation between the software and the often very application specific system. This paper presents the SaveCCM component model, intended for embedded control applications in vehicular systems. SaveCCM is a, simple model in which flexibility is limited to facilitate analysis of real-time and dependability. We present and motivate the model, and provide examples of its use.
引用
收藏
页码：627 / 635
页数：9
相关论文
共 50 条
  • [1] SaveCCM: An Analysable Component Model for Real-Time Systems
    Carlson, Jan
    Hakansson, John
    Pettersson, Paul
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 160 : 127 - 140
  • [2] Decomposition in real-time safety-critical systems
    Mukherjee, P
    Stavridou, V
    [J]. REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
  • [3] Decomposition in Real-Time Safety-Critical Systems
    Paul Mukherjee
    Victoria Stavridou
    [J]. Real-Time Systems, 1998, 14 : 183 - 202
  • [4] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
  • [5] Special section on real-time safety-critical systems
    Janusz Zalewski
    [J]. Innovations in Systems and Software Engineering, 2009, 5 (2) : 95 - 96
  • [6] The Shift to Multicores in Real-Time and Safety-Critical Systems
    Saidi, Selina
    Ernst, Rolf
    Uhrig, Sascha
    Theiling, Henrik
    de Dinechin, Benoit Dupont
    [J]. 2015 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2015, : 220 - 229
  • [7] Special section on real-time safety-critical systems
    Zalewski, Janusz
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 95 - 96
  • [8] Quality requirements for real-time safety-critical systems
    Kirner, TG
    [J]. CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 965 - 973
  • [9] REAL-TIME SAFETY-CRITICAL SYSTEMS - ANALYSIS AND SYNTHESIS
    BURNS, A
    MCDERMID, JA
    [J]. SOFTWARE ENGINEERING JOURNAL, 1994, 9 (06): : 267 - 281
  • [10] Functional Uncertainty in Real-Time Safety-Critical Systems
    Baruah, Sanjoy
    Burns, Alan
    Griffin, David
    [J]. PROCEEDINGS OF THE 30TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS, RTNS 2022, 2022, : 1 - 11
12345