Programming safety requirements in the REFLECT design flow

The common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safe...

Full description

Saved in:
Bibliographic Details
Published in2011 9th IEEE International Conference on Industrial Informatics pp. 841 - 847
Main Authors Petrov, Z., Kratky, K., Cardoso, J. M. P., Diniz, P. C.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.07.2011
Subjects
Fault tolerant systems
Hardware
Redundancy
Safety
Software
Weaving
Online AccessGet full text

Cover

More Information
Summary:The common approach to include non-functional requirements in tool chains for hardware/software embedded systems requires developers to manually change the software code and/or the hardware, in an error-prone and tedious process. In the REFLECT research project we explore a novel approach where safety requirements are described using an aspect- and strategy-oriented programming language, named LARA, currently under development. The approach considers that the weavers in the tool chain use those safety requirements specified as aspects and strategies to produce final implementations according to specific design patterns. This paper presents our approach including LARA-based examples using an avionics application targeting the FPGA-based embedded systems consisting of a general purpose processor (GPP) coupled to custom computing units.
ISBN:1457704358
9781457704352
ISSN:1935-4576
2378-363X
DOI:10.1109/INDIN.2011.6035002