Publication 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

Type

conference paper

Language

English

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.

Keywords

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

Authors

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

Released

29. 10. 2019

ISBN

2405-8963

Periodical

IFAC-PapersOnLine (ELSEVIER)

Year of study

2019

Number

16

State

Kingdom of the Netherlands

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 (ELSEVIER)",
  volume="2019",
  number="16",
  pages="271--276",
  doi="10.1016/j.ifacol.2019.12.672",
  issn="2405-8963",
  url="https://www.sciencedirect.com/science/article/pii/S2405896319326217"
}