Publication result detail

Characterizing the Simulink-based Code Generation Toolchain for Safety-critical Applications in an ARM Cortex-R Target

ARM, J.; BRADÁČ, Z.; FIEDLER, P.; KACZMARCZYK, V.

Original Title

Characterizing the Simulink-based Code Generation Toolchain for Safety-critical Applications in an ARM Cortex-R Target

English Title

Characterizing the Simulink-based Code Generation Toolchain for Safety-critical Applications in an ARM Cortex-R Target

Type

Paper in proceedings (conference paper)

Original 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.

English 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.

Keywords

Code generation, model-based architecture, safety, Matlab Simulink, verification

Key words in English

Code generation, model-based architecture, safety, Matlab Simulink, verification

Authors

ARM, J.; BRADÁČ, Z.; FIEDLER, P.; KACZMARCZYK, V.

RIV year

2020

Released

29.10.2019

Book

16th IFAC Conference on Programmable Devices and Embedded Systems PDeS 2019

ISBN

2405-8963

Periodical

IFAC-PapersOnLine

Volume

2019

Number

16

State

United Kingdom of Great Britain and Northern Ireland

Pages from

271

Pages to

276

Pages count

6

URL

https://www.sciencedirect.com/science/article/pii/S2405896319326217

BibTex

@inproceedings{BUT159771,
  author="Jakub {Arm} and Zdeněk {Bradáč} and Petr {Fiedler} and Václav {Kaczmarczyk}",
  title="Characterizing the Simulink-based Code Generation Toolchain for Safety-critical Applications in an ARM Cortex-R Target",
  booktitle="16th IFAC Conference on Programmable Devices and Embedded Systems PDeS 2019",
  year="2019",
  journal="IFAC-PapersOnLine",
  volume="2019",
  number="16",
  pages="271--276",
  doi="10.1016/j.ifacol.2019.12.672",
  issn="2405-8971",
  url="https://www.sciencedirect.com/science/article/pii/S2405896319326217"
}