Characterizing the Simulink-based Code Generation Toolchain for Safety-critical Applications in an ARM Cortex-R Target. Issue 27 (2019)

• Record Type: Journal Article
• Authors: Arm, J.; Bradac, Z.; Fiedler, P.; Kaczmarczyk, V.
• Is Part Of: IFAC-PapersOnLine. Volume 52:Issue 27(2019)
• Page Start: 271
• Page End: 276
• Publication Date: 2019
• Subjects: Code generation -- model-based architecture -- safety -- Matlab Simulink -- verification; Automatic control -- Periodicals; 629.805
• DOI: 10.1016/j.ifacol.2019.12.672
• Languages: English
• ISSNs: 2405-8963

Abstract

Abstract: This paper discusses automatic code generation utilizing the Matlab/Simulink environment for safety-critical systems. According to IEC 61508 and other relevant standards, the developed product has to comply with appropriate requirements, and the same rule applies to the development process. The underlying environment comprises multiple user tools; in this article, therefore, the sophisticated use of well-combined tools is characterized into a tool-chain assembly supporting the automatic model-based deployment within the ARM Cortex-R architecture. The code generation process is suitably illustrated via an exemplary application. The presented workflow then generates reports, and these are briefly discussed in the given context. Using the real development kit, a PIL simulation is assembled and performed. Based on the results, compliance with the functional safety standard is addressed. This tool-chain assembly, set up within the employed environment, provides an alternative view on the standard V-model and enables the model-driven architecture concept to be incorporated into the commercial area.