Abstract
The development process of high-integrity systems has shifted from manual coding to designing with modeling tools that verify the correctness of the design well before production. The parallel application of several different modeling tools in the design of separate parts of the same system is now a common industrial practice. The advantage of using several, domain-specific tools is however balanced by an increasing complexity in the integration phase: it is indeed necessary to guarantee the correctness of the interaction of the several subapplications, which also includes the integration of the source code automatically generated by the different modeling tools. This constitutes a major concern for the introduction of several modeling tools in the industrial community, as well as for certification institutes. In this paper we present our practical experiences in the definition of a computer-aided sound development process to permit model-driven integration of heterogeneous models.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Matlab: http://www.mathworks.com/
SDL: Specification and Description Language, http://www.sdl-forum.org/
OMG: UML2 Metamodel Superstructure (2005)
AADL: Architecture Analysis and Design Language, http://www.aadl.info
SysML: Systems Modeling Language, http://www.omgsysml.org/
RTCA: Radio Technical Commission for Aeronautics, rtca.org
Schmidt, D.C.: Guest Editor’s Introduction: Model-Driven Engineering. Computer 39(2), 25–31 (2006)
The Object Management Group: (Model Driven Architecture), www.omg.org
Mathworks: (Simulink), http://www.mathworks.com/products/simulink/
Denno, P., Steves, M.P., Libes, D., Barkmeyer, E.J.: Model-driven integration using existing models. IEEE Software 20(5), 59–63 (2003)
E2E: Model Driven Integration: Transparent Virtualization of Distributed Applications (E2E technical white paper), http://www.e2ebridge.com/live/files/E2E-WP-MDI-070112en.pdf
Noogle, B.J., Lang, M.: Model Driven Information Architecture. TDAN.com (2002), http://www.tdan.com/view-articles/4989
Bordin, M., Vardanega, T.: Correctness by Construction for High-Integrity Real-Time Systems: a Metamodel-driven Approach. In: Reliable Software Technologies - Ada-Europe (2007)
Burns, A., Dobbing, B., Vardanega, T.: Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems. Technical Report YCS-2003-348, University of York (2003)
Panunzio, M., Vardanega, T.: A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 128–141. Springer, Heidelberg (2007)
Bordin, M., Vardanega, T.: Automated Model-Based Generation of Ravenscar-Compliant Source Code. In: Proc. of the 17th Euromicro Conference on Real-Time Systems (2005)
Bordin, M., Vardanega, T.: A Domain-specific Metamodel for Reusable, Object-Oriented, High-Integrity Components. In: OOPSLA DSM 2007. ACM, New York (2007)
Goodenough, J.B., Sha, L.: The priority ceiling protocol: a method for minimizing the blocking of high priority Ada tasks. In: IRTAW 1988: Proc. of the second international workshop on Real-time Ada issues, pp. 20–31 (1988)
ITU-T: (Rec. X.680-X.683, ISO/IEC: Abstract Syntax Notation One (ASN.1))
Dubuisson, O.: ASN.1 - Communication between heterogeneous systems (2000)
Semantix Information Technologies: The ASSERT project ASN.1 toolchain (2002), http://www.semantix.gr/assert/
asn1c: The Open Source ASN.1 compiler (2002-2007), http://lionet.info/asn1c/
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bordin, M., Tsiodras, T., Perrotin, M. (2008). Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. In: Kordon, F., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68624-8_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-68624-8_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68621-7
Online ISBN: 978-3-540-68624-8
eBook Packages: Computer ScienceComputer Science (R0)