Abstract
Growing software size and complexity paired with its application in increasingly safety-critical environments requires to follow strict software development processes. They demand extensive documented development and verification activities as well as the creation and management of a huge number of artefacts. This paper presents a monolithic, process-oriented build tool for model-based development in MATLAB, Simulink, and Stateflow as well as its application and adaption for the implementation of a flight control algorithm in the light of RTCA DO-178C/DO-331, the accepted standard for airborne software certification. Beyond classical build automation functionality, the tool accelerates achieving a software design compliant to standards and evaluates completeness of process artefacts, their consistency, and correctness at a central place.
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
Similar content being viewed by others
Notes
- 1.
http://open-do.org [Accessed on 2018/27/04].
- 2.
Product of The MathWorks Inc. for model-based simulation and software development.
- 3.
- 4.
Jaffry, David, 2014, http://de.mathworks.com/company/newsletters/articles/best-practices-for-implementing-modeling-guidelines-in-simulink.html [Accessed on 2017/27/07].
- 5.
Simulink Projects is a MathWorks toolbox for team collaboration and to manage models, https://www.mathworks.com/discovery/simulink-projects.html [Accessed on 2018/28/04].
- 6.
Persistent repository of data for modeling in SL/SF, https://www.mathworks.com/help/releases/R2017b/simulink/ug/what-is-a-data-dictionary.html [Accessed on 2018/27/04].
- 7.
https://blogs.mathworks.com/developer/2015/01/20/the-other-kind-of-continuous-integration [Accessed on 2018/27/04].
- 8.
https://www.eclipse.org/jetty [Accessed on 2018/27/04].
- 9.
Product of The MathWorks Inc. for code generation out of SL/SF, https://de.mathworks.com/products/embedded-coder.html [Accessed on 2018/27/04].
- 10.
Product of The MathWorks Inc. to prove structural equivalence of models and thereof generated code, https://www.mathworks.com/products/simulink-code-inspector.html [Accessed on 2018/27/04].
- 11.
http://www.verocel.com/tools/lifecycle-management/ [Accessed on 2018/27/04].
- 12.
https://www.ptc.com/de/products/plm/plm-products/integrity [Accessed on 2018/27/04].
- 13.
https://www.btc-es.de/de/ [Accessed on 2018/27/04].
- 14.
https://www.squoring.com/en/ [Accessed on 2018/27/04].
- 15.
Traceability management tool of Dassault Systems, https://www.3ds.com/products-services/catia/products/reqtify/ [Accessed on 2018/27/04].
- 16.
Traceability management solution of itemis AG, https://www.itemis.com/en/yakindu/traceability/ [Accessed on 2018/27/04].
- 17.
Apache Ant is a Java library to setup build processes, http://ant.apache.org [Accessed on 2018/27/04].
- 18.
Apache Maven is a project management and comprehension tool, https://maven.apache.org, [Accessed on 2018/27/04].
- 19.
Gradle is a build management and automation tool, https://gradle.org [Accessed on 2018/24/04].
References
Basagiannis, S.: Software certification of airborne cyber-physical systems under DO-178C. In: Proceedings of 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), pp. 1–6. IEEE (2016)
National Research Council (U.S.), National Academies Press (U.S.): Critical Code: Software Producibility for Defense. National Academies Press, Washington, D.C. (2010)
Broy, M., Kirstan, S., Krcmar, H., Schätz, B.: What is the benefit of a model-based design of embedded software systems in the car industry? In: IR Management Association (ed.) Software Design and Development, pp. 310–334. IGI Global (2014)
Bhatt, D., Madl, G., Oglesby, D., Schloegel, K.: Towards scalable verification of commercial avionics software. In: AIAA (ed.) Proceedings of AIAA Infotech@Aerospace 2010 (2010)
Paz, A., El Boussaidi, G.: On the exploration of model-based support for DO-178C-compliant avionics software development and certification. In: Proceedings of 2016 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pp. 229–236. IEEE (2016)
Hochstrasser, M., Hornauer, M., Holzapfel, F.: Formal Verification of Flight Control Applications along a Model-Based Development Process: A Case Study, 05 October 2016
Hochstrasser, M., Schatz, S.P., Nürnberger, K., Hornauer, M., Myschik, S., Holzapfel, F.: Aspects of a consistent modeling environment for DO-331 design model development of flight control algorithms. In: Dołęga, B., Głębocki, R., Kordos, D., Żugaj, M. (eds.) Advances in Aerospace Guidance, Navigation and Control, pp. 69–86. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-65283-2_4
Schatz, S.P., et al.: Flightplan flight tests of an experimental DA42 generation aviation aircraft. In: IEEE Control Systems Society (ed.) Proceedings of 14th International Conference on Control, Automation, Robotics and Vision (2016)
Nürnberger, K., Hochstrasser, M., Holzapfel, F.: Execution time analysis and optimisation techniques in the model-based development of a flight control software. IET Cyber-Phys. Syst.: Theory Appl. 2(2), 57–64 (2017). https://doi.org/10.1049/iet-cps.2016.0046
Hochstrasser, M., Myschik, S., Holzapfel, F.: A process-oriented build tool for safety-critical model-based software development. In: Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, pp. 191–202. SCITEPRESS - Science and Technology Publications (2018)
RTCA: DO-178C - Software Considerations in Airborne Systems and Equipment Certification (2011)
RTCA: DO-331 - Model-Based Development and Verification Supplement to DO-178C and DO-278A (2011)
Conrad, M., et al.: Automating code reviews with simulink code inspector. In: Dagstuhl (ed.) Proceedings of VIII Dagstuhl-Workshop, München, fortiss GmbH (2012)
Conrad, M., Friedman, J., Sandmann, G.: Verification and validation according to IEC 61508: a workflow to facilitate the development of high-integrity applications. SAE Int. J. Commercial Veh. 2, 272–279 (2009)
Erkinnen, T., Potter, B.: Model-based design for DO-178B with qualified tools. In: AIAA Modeling and Simulation Technologies Conference and Exhibit. American Institute of Aeronautics and Astronautics Inc, Hyatt Regency McCormick Place, Chicago (2009)
Marques, J.C., Yelisetty, S.M.H., Dias, L.A.V., da Cunha, A.M.: Using model-based development as software low-level requirements to achieve airborne software certification. In: Proceedings of 2012 Ninth International Conference on Information Technology - New Generations, pp. 431–436. IEEE (2012)
Potter, B.: Complying with DO-178C and DO-331 using Model-Based Design (2012)
Berglund, T., McCullough, M.: Building and Testing with Gradle. O’Reilly, Beijing and Sebastopol (2011)
Humble, J., Farley, D.: Continuous Delivery: Reliable Software Releases Through Build, Test, and Deployment Automation. Tenth printing edn. A Martin Fowler Signature Book. Addison-Wesley, Upper Saddle River (2015)
Sonatype Company: Maven: The Definitive Guide. O’Reilly, Cambridge (2008)
Rahman, A., Partho, A., Meder, D., Williams, L.: Which factors influence practitioners’ usage of build automation tools? In: Proceedings of 2017 IEEE/ACM 3rd International Workshop on Rapid Continuous Software Engineering (RCoSE), pp. 20–26. IEEE (2017)
Dillaber, E., Kendrick, L., Jin, W., Reddy, V. (eds.) Pragmatic Strategies for Adopting Model-Based Design for Embedded Applications. SAE International (2010)
Estrada, R.G., Sasaki, G., Dillaber, E.: Best practices for developing DO-178 compliant software using Model-Based Design. AIAA Infotech@Aerospace, Boston (2013)
Zisman, A.: Using rules for traceability creation. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 147–170. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2239-5_7
Seibel, A., Hebig, R., Giese, H.: Traceability in model-driven engineering: efficient and scalable traceability maintenance. In: Cleland-Huang, J., Gotel, O., Zisman, A. (eds.) Software and Systems Traceability, pp. 215–240. Springer, London (2012). https://doi.org/10.1007/978-1-4471-2239-5_10
Lochmann, H., Hessellund, A.: An integrated view on modeling with multi domain-specific languages. In: Proceedings of the IASTED International Conference Software Engineering (2009)
Holten, D.: Hierarchical edge bundles: visualization of adjacency relations in hierarchical data. IEEE Trans. Vis. Comput. Graph. 12, 741–748 (2006)
Quan, Q.: Introduction to Multicopter Design and Control. Springer, Singapore (2017). https://doi.org/10.1007/978-981-10-3382-7
The MathWorks Inc.: DO Qualification R2017b: Model-Based Design Workflow for DO-178C (2017)
The Motor Industry Software Reliability Association: MISRA-C:2012 - Guidelines for the use of C language in critical systems, March 2013
The MathWorks Automotive Advisory Board: MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow: R2016b (2017)
The MathWorks Inc.: DO Qualification Kit - Simulink Code Inspector Tool Operational Requirements: R2017b (2017)
The MathWorks Inc.: Simulink Code Inspector Reference: R2017b, Natick, MA, USA (2017)
Seibel, A., Neumann, S., Giese, H.: Dynamic hierarchical mega models: comprehensive traceability and its efficient maintenance. Softw. Syst. Model. 9, 493–528 (2010)
OMG Object Management Group: Software & System Process Engineering Meta-Models Specification (SPEM 2.0), April 2008
Gallina, B.: A model-driven safety certification method for process compliance. In: Proceedings of 2014 IEEE International Symposium on Software Reliability Engineering Workshops, pp. 204–209. IEEE (2014)
Couto, R., Ribeiro, A.N., Campos, J.C.: The modelery: a collaborative web based repository. In: Murgante, B., et al. (eds.) ICCSA 2014. LNCS, vol. 8584, pp. 1–16. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-09153-2_1
Mahapatra, S., Ghidella, J., Walker, G.: Team-based collaboration in model-based design. In: AIAA Modeling and Simulation Technologies Conference. American Institute of Aeronautics and Astronautics, Reston (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Hochstrasser, M., Myschik, S., Holzapfel, F. (2019). Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process. In: Hammoudi, S., Pires, L., Selic, B. (eds) Model-Driven Engineering and Software Development. MODELSWARD 2018. Communications in Computer and Information Science, vol 991. Springer, Cham. https://doi.org/10.1007/978-3-030-11030-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-11030-7_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-11029-1
Online ISBN: 978-3-030-11030-7
eBook Packages: Computer ScienceComputer Science (R0)