A composable real-time architecture for replicated railway applications

被引:2
作者
Resch, Stefan [1 ]
Steininger, Andreas [2 ]
Scherrer, Christoph [1 ]
机构
[1] Thales Austria GmbH, A-1200 Vienna, Austria
[2] Vienna Univ Technol, Embedded Comp Syst Grp E182 2, A-1040 Vienna, Austria
关键词
Composability; Mixed-criticality; Virtualization; Triple modular redundancy; Scheduling; Certification;
D O I
10.1016/j.sysarc.2015.04.003
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Triple-modular-redundant applications are widely used for fault-tolerant safety-critical computation. They have strict timing requirements for correct operation. We present an architecture which provides composability and mixed-criticality to support integration and to ease certification of such safety-critical applications. In this architecture, an additional layer is required for the sharing/partitioning of resources. This potentially jeopardizes the synchronization necessary for the triple-modular-redundant applications. We investigate the effects of different (unsynchronized) scheduling methods for the resource-sharing layer in this architecture and conclude that an out-of-the-box solution, which guarantees the technical separation between applications with fast reaction time requirements is only feasible when executing at most one instance of a triple-modular-redundant application per CPU-core for single and multi-core CPUs. Only when accepting changes in the applications or the applications' synchronization mechanisms, are more flexible solutions with good performance and resource utilization available. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码:472 / 485
页数:14
相关论文
共 40 条
  • [1] Integrating multimedia applications in hard real-time systems
    Abeni, L
    Buttazzo, G
    [J]. 19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 4 - 13
  • [2] Alves-Foss J, 2006, INT J EMBED SYST, V2, P239, DOI 10.1504/IJES.2006.014859
  • [3] Static-priority scheduling on multiprocessors
    Andersson, B
    Baruah, S
    Jonsson, J
    [J]. 22ND IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2001, : 193 - 202
  • [4] [Anonymous], 615083 IEC
  • [5] [Anonymous], 1981, ACM OPERATING SYSTEM, DOI DOI 10.1145/1067627.806586
  • [6] [Anonymous], 2011, Real-Time Systems: Design Principles for Distributed Embedded Applications
  • [7] [Anonymous], 2012, CISC VIS NETW IND GL
  • [8] Barham P., 2003, Xen and the art of virtualization, V37, P164, DOI [DOI 10.1145/1165389.945462, 10.1145/1165389.945462]
  • [9] Transparent redundancy in the time-triggered architecture
    Bauer, G
    Kopetz, H
    [J]. DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2000, : 5 - 13
  • [10] Tests for global EDF schedulability analysis
    Bertogna, Marko
    Baruah, Sanjoy
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2011, 57 (05) : 487 - 497