Combining model processing and middleware configuration for building distributed high-integrity systems

被引：0
|
作者：
Hughes, Jerome [1 ]
Zalila, Bechir [1 ]
Pautet, Laurent [1 ]
机构：
[1] Telecom Paris, GET, LTCI, UMR 5141,CNRS, 46,Rue Barrault, F-75634 Paris 13, France
来源：
10TH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Requirements of High Integrity systems now encompass distribution mechanisms along with strong functional and non-functional features (run-time support for hardware, dependability, safety, analyzability). In this paper, we show how model processing help addressing such needs. We present a generic distribution model suitable for High Integrity systems, and demonstrate how a high-level modeling deployment view allows one to greatly reduce the model complexity. Finally, we conclude by assessing a case study.
引用
收藏
页码：307 / +
页数：2
相关论文
共 50 条
  • [1] A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems
    Urnena, Santiago
    Zamorano, Juan
    de la Puente, Juan A.
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2009, 2009, 5570 : 16 - 29
  • [2] ANALYZING HIGH-INTEGRITY SYSTEMS
    CLARK, JA
    MCDERMID, JA
    BURNS, A
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
  • [3] The Rampart toolkit for building high-integrity services
    Reiter, MK
    [J]. THEORY AND PRACTICE IN DISTRIBUTED SYSTEMS, 1995, 938 : 99 - 110
  • [4] ADA tasking for high-integrity systems
    Humphris, D
    Dobbing, B
    [J]. LESSONS IN SYSTEM SAFETY, 2000, : 113 - 133
  • [5] Ada 2005 for high-integrity systems
    Ruiz, Jose F.
    [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
  • [6] From MDD to full industrial process: Building distributed real-time embedded systems for the high-integrity domain
    Hugues, Jerome
    Pautet, Laurent
    Zalila, Bechir
    [J]. COMPOSITION OF EMBEDDED SYSTEMS: SCIENTIFIC AND INDUSTRIAL ISSUES, 2007, 4888 : 35 - 52
  • [7] Code generation & high-integrity embedded systems
    Erkkinen, T
    [J]. DR DOBBS JOURNAL, 2004, 29 (06): : 68 - 70
  • [8] Ongoing requirements discovery in high-integrity systems
    Lutz, RR
    Mikulski, IC
    [J]. IEEE SOFTWARE, 2004, 21 (02) : 19 - +
  • [9] Towards Agile Engineering of High-Integrity Systems
    Paige, Richard F.
    Charalambous, Ramon
    Ge, Xiaocheng
    Brooke, Phillip J.
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2008, 5219 : 30 - +
  • [10] Communication paradigms for high-integrity distributed systems with hard real-time requirements
    Uruena, Santiago
    Zamorano, Juan
    Pulido, Jose A.
    de la Puente, Juan A.
    [J]. DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 151 - 160
12345