A component model for hard real-time systems: CCM with ARINC-653

Authors:
Abhishek Dubey;Gabor Karsai;Nagabhushan Mahadevan
Affiliations:
Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, U.S.A.;Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, U.S.A.;Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN 37212, U.S.A.
Venue:
Software—Practice & Experience
Year:
2011

Citing 22
Cited 5

A theory of timed automata

Theoretical Computer Science
The ControlShell component-based real-time programming system, and its application to the Marsokhod Martian Rover

LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Real-Time CORBA

IEEE Transactions on Parallel and Distributed Systems
An axiomatic basis for computer programming

Communications of the ACM
Overview of the CORBA component model

Component-based software engineering
Applying "Design by Contract"

Computer
Design by Contract: The Lessons of Ariane

Computer
Object Structures for Real-Time Systems and Simulators

Computer
The Koala Component Model for Consumer Electronics Software

Computer
Composing Domain-Specific Design Environments

Computer
Analysing APEX applications

RTSS '96 Proceedings of the 17th IEEE Real-Time Systems Symposium
MICO: An Open Source CORBA Implementation

IEEE Software
Model-Based Integration of Reusable Component-Based Avionics Systems - A Case Study

ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
An engineering process for the verification of real-time systems

Formal Aspects of Computing
The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systems

Journal of Systems and Software
CAmkES: A component model for secure microkernel-based embedded systems

Journal of Systems and Software
A methodology for designing hierarchical scheduling systems

Journal of Embedded Computing - Real-Time Systems (Euromicro RTS-03)
Distributed Resource Kernels: OS Support for End-To-End Resource Isolation

RTAS '08 Proceedings of the 2008 IEEE Real-Time and Embedded Technology and Applications Symposium
Validating Safety and Security Requirements for Partitioned Architectures

Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Use of PERC Pico in the AIDA avionics platform

Proceedings of the 7th International Workshop on Java Technologies for Real-Time and Embedded Systems
Modular Architectural Representation and Analysis of Fault Propagation and Transformation

Electronic Notes in Theoretical Computer Science (ENTCS)
A Real-Time Component Framework: Experience with CCM and ARINC-653

ISORC '10 Proceedings of the 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing

EDITORIAL

Software—Practice & Experience
Design of component-based real-time applications

Journal of Systems and Software
Polyglot: systematic analysis for multiple statechart formalisms

TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
A survey on standards for real-time distribution middleware

ACM Computing Surveys (CSUR)
Deliberative, search-based mitigation strategies for model-based software health management

Innovations in Systems and Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The size and complexity of software in safety-critical systems is increasing at a rapid pace. One technology that can be used to mitigate this complexity is component-based software development. However, in spite of the apparent benefits of a component-based approach to development, little work has been done in applying these concepts to hard real-time systems. This paper improves the state of the art by making three contributions: (1) we present a component model for hard real-time systems and define the semantics of different types of component interactions; (2) we present an implementation of a middleware that supports this component model. This middleware combines an open-source CORBA Component Model (CCM) implementation (MICO) with ARINC-653: a state-of-the-art real-time operating systems (RTOS) standard, (3) finally; we describe a modeling environment that enables design, analysis, and deployment of component assemblies. We conclude with a discussion of the lessons learned during this exercise. Our experiences point toward extending both the CCM as well as revising the ARINC-653. Copyright © 2011 John Wiley & Sons, Ltd.