Detail publikace

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.

Originální název

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

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

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.

Klíčová slova

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

Autoři

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

Vydáno

29. 10. 2019

ISSN

2405-8963

Periodikum

IFAC-PapersOnLine (ELSEVIER)

Ročník

2019

Číslo

16

Stát

Nizozemsko

Strany od

271

Strany do

276

Strany počet

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"
}