This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Integration of Model-Based Engineering with Existing Systems
Technical Paper
2013-01-2180
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
Mission- and safety-critical systems are increasingly reliant on software. However, their development and qualification has become increasingly challenging: increasing size and more coupling between software and hardware layers has driven development cost to unaffordable levels. Mismatched assumptions at the architecture level, impacting quality attributes such as performance, timing, safety, reliability, are the leading causes and are difficult to test for.
To cope with these issues, architecture must be established to identify problems earlier in the development process. Architecture-centric modeling technology has led to a model-based virtual system integration approach that permits early discovery of problems (integration, performance, etc.). Despite advances in this area, such technologies have found limited use due to the perceived modeling and analysis cost with limited value. Many reasons are invoked, such as the efforts required for making an architecture that matches the software.
In this paper, we present a methodology for automating the production of an architecture skeleton from existing assets (code, functional model, etc.). This first architecture model is then enhanced to match system properties and then processed to verify stakeholders' requirements. By automating the process we reduce the human modeling efforts (and their related time and costs) and leverage the investment in analysis capabilities integrated while reducing the potential additional cost of using it in an existing practice.
Recommended Content
Authors
Topic
Citation
Delange, J., Feiler, P., and Ozkaya, I., "Integration of Model-Based Engineering with Existing Systems," SAE Technical Paper 2013-01-2180, 2013, https://doi.org/10.4271/2013-01-2180.Also In
References
- MacCormack A. , Rusnak J. , and Baldwin C. Y. Exploring the structure of complex software designs: an empirical study of open source and proprietary code Manage Sci 52 7 1015 1030 2006 10.1287/mnsc.1060.0552
- Lattix 2012 http://www.lattix.com September 2012
- Architecture Analysis and Design Language http://www.aadl.info
- Avionics Application Software Standard Interface: ARINC Specification 653P1-3 Aeronautical Radio, Inc. 2010 11 15
- Bohnet J. and Dollner J. Monitoring code quality and development activity by software maps Proc. 2nd Workshop Managing Technical Debt. New York ACM Press 2011 9 16
- Delange J. , Pautet L. and Feiler Peter Validating safety and security requirements for partitioned architectures 14th International Conference on Reliable Software Technologies - Ada Europe June 2009
- DO-178B Software considerations in airborne systems and equipment certification RTCA Inc. and EUROCAE December 1992
- Feiler P. , Hansson J. , de Niz D. , Wrage L. System Architecture Virtual Integration: An Industrial Case Study Software Engineering Institute (SEI) Technical Report, CMU/SEI-2009-TR-017 November 2009
- Feiler P. and Gluch D. 2012 Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language 1st Addison-Wesley Professional.X
- SAE International Aerospace Standard SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta- Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex SAE Standard AS5506/1 April 2011
- Hinsman C. , Sangal N. , Stafford J. Achieving Agility Through Architecture Visibility LNCS 5581/2009, Architectures for Adaptive Software Systems 2009 116 129
- Sangal N. , Jordan E. , Sinha V. & Jackson D. , D. 2005 Using dependency models to manage complex software architecture OOPSLA 2005 167 176
- NIST The Economic Impacts of Inadequate Infrastructure for Software Testing National Institute for Standards and Technology Washington, DC NIST Planning report 02-3 2002 http://www.nist.gov/director/planning/upload/report02-3.pdf
- Shiraishi , Shin'ichi An AADL-Based Approach to Variability Modeling of Automotive Control Systems Model Driven Engineering Languages and Systems 2010 978-3-642-16144-5
- Open Source AADL Toolset (OSATE) http://www.aadl.info
- Cadoret Fabien , Borde Etienne , Gardoll Sébastien and Pautet Laurent Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models International Conference on Engineering of Complex Computer Systems (ICECCS'12) Paris (FRANCE) 2012
- Nord R. , Ozkaya I. , Kruchten P. , and Gonzalez-Rojas M. In search of a metric for managing architectural technical debt WICSA/ECSA Helsinki, Finland August 20 24 2012