Abstract
The development of high-integrity real-time systems, including their certification, is a demanding endeavour in terms of time, skills and effort involved. This is particularly true in application domains such as the avionics, where composable design is to be had to allow subdividing monolithic systems into components of smaller complexity, to be outsourced to developers subcontracted down the supply chain. Moreover, the increasing demand for computational power and the consequent interest in multicore HW architectures complicates system deployment. For these reasons, appropriate methodologies and tools need to be devised to help the industrial stakeholders master the overall system design complexity, while keeping manufacturing costs affordable. In this paper we present some elements of the CONCERTO platform, a toolset to support the end-to-end system development process from system modelling to analysis and validation, prior to code generation and deployment. The approach taken by CONCERTO is demonstrated for an illustrative avionics setup, however it is general enough to be applied to a number of industrial domains including the space, telecom and automotive. We finally reason about the benefits to an industrial user by comparing to similar initiatives in the research landscape.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Aeronautical Radio Inc: ARINC Specification 653–1: Avionics Applicaiton Software Standard Interface (2003)
Almeida, L., Pedreiras, P.: Scheduling within temporal partitions: Response-time analysis and server design. In: Proc. of the 4th ACM International Conference on Embedded Software (2004)
Baldovin, A., Mezzetti, E., Vardanega, T.: A time-composable Operating System. In: 12th WCET Workshop. OpenAccess Series in Informatics (OASIcs), vol. 23, pp. 69–80. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)
Davis, R., Burns, A.: Hierarchical fixed priority pre-emptive scheduling. In: Proc. of the 26th IEEE Real-Time System Symposium (2005)
Dijkstra, E.: On the role of scientific thought. In: Selected Writings on Computing: A personal Perspective. Texts and Monographs in Computer Science, pp. 60–66. Springer, New York (1982)
Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, W. H (1979)
Masmano, M., Ripoll, I., Crespo, A., Metge, J.: Xtratum: a hypervisor for safety critical embedded systems. In: Proc. of the 11th Real-Time Linux Workshop (2009)
Moir, I., Seabridge, A., Jukes, M.: Civil avionics systems. Wiley-Blackwell (2013)
Panunzio, M., Vardanega, T.: Ada ravenscar code archetypes for component-based development. In: Brorsson, M., Pinho, L.M. (eds.) Ada-Europe 2012. LNCS, vol. 7308, pp. 1–17. Springer, Heidelberg (2012)
Panunzio, M., Vardanega, T.: An architectural approach with separation of concerns to address extra-functional requirements in the development of embedded real-time software systems. Journal of Systems Architecture 60(9), 770–781 (2014)
Panunzio, M., Vardanega, T.: A component-based process with separation of concerns for the development of embedded real-time software systems. Journal of Systems and Software 96, 105–121 (2014)
Radio Technical Commission for Aeronautics: Integrated Modular Avionics (IMA) Development Guidance and Certification Considerations (2005)
Salazar, E., Alonso, A., Garrido, J.: Mixed-criticality design of a satellite software system. In: Proc. of the 19th IFAC World Congress (2014)
Schmidt, D.: Guest editor’s introduction: Model-driven engineering. Computer 39(2), 25–31 (2006)
Schneider, J.: Why you can’t analyze RTOSs without considering applications and vice versa. In: Proc. of the 2nd WCET Workshop (2002)
The Object Management Group: MOF Model to Text Transformation Language, v1.0 (2008). http://www.omg.org/spec/MOFM2T/1.0/
The Object Management Group: UML Profile for MARTE: Modeling and Analysis of Real-time Embedded Systems (2011). http://www.omg.org/spec/MARTE/1.1/
Wartel, F. et al.: Measurement-based probabilistic timing analysis: Lessons from an integrated-modular avionics case study. In: Proc. of the 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 241–248 (2013)
Wartel, F. et al.: Timing analysis of an avionics case study on complex hardware/software platforms. In: Proc. of the 18th Design, Automation & Test in Europe Conference and Exhibition (DATE) (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Baldovin, A., Zovi, A., Nelissen, G., Puri, S. (2015). The CONCERTO Methodology for Model-Based Development of Avionics Software. In: de la Puente, J., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2015. Ada-Europe 2015. Lecture Notes in Computer Science(), vol 9111. Springer, Cham. https://doi.org/10.1007/978-3-319-19584-1_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-19584-1_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19583-4
Online ISBN: 978-3-319-19584-1
eBook Packages: Computer ScienceComputer Science (R0)