Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications

Kajtazovic, Nermin; Hödl, Peter; Macher, Georg

doi:10.1109/issrew51248.2020.00040

Cited by 2 publications

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In short, accurate selection and classification of software elements can help to achieve better coverage of safety measures that operate on data/memory. This work is based on our original paper [Kajtazović et al, 2020] and extends it as follows:…”

Section: Methods and Contributionsmentioning

confidence: 99%

“…As pointed out by Brauer et al [Brauer et al, 2015], representation of the software behaviour in runtime memory differs to what we have in the source code. More specifically, as we've shown in our previous work [Kajtazović et al, 2020], that compilers may, in the course of the compilation process, create various housekeeping data and managing code which are part of the software runtime environment for our RTOS, applications. These artefacts are interlinked with the rest of software in a way that, in some situations, correct functioning of the overall system may depend on their integrity.…”

Section: Problem Statementmentioning

confidence: 99%

See 1 more Smart Citation

A Compiler and Language Support for Designing Mixed-Criticality Applications

Kajtazovic¹,

Hödl²,

Botler³

2021

jucs

Self Cite

View full text Add to dashboard Cite

Coexistence of software components and functions of different criticality in a single computing platform has challenged the safety community for the past two decades. Despite efforts that have been made so far, dealing with mixed-criticality has still left some room for improvements. One particular concern here is that partitioning of hardware and software resources with regard to criticality (safety related, non-safety related) has direct implications on how safety measures need to be realised. For example, a self-test that must meet certain diagnostic coverage for the microcontroller core by inspecting its instructions, needs to cover only those instructions which are able to affect a safety function. Available software mechanisms and tools are to a certain extent still unable to deal with such a fine-grained selection of resources. In this work, we introduce a compiler extension and language support which enable accurate selection of data based on their criticality. The compiler extension serves to establish detailed traceability between the software code and its representation in runtime memory. With the language support, the individual data elements can be classified based on the desired safety integrity level. As a result, safety measures that operate on data (e.g. Abraham test for SRAM can achieve better coverage. The method has been evaluated and applied to industrial safety controllers. We provide here relevant performance figures and discuss possible applications of the method in other fields.

show abstract

Section: Methods and Contributionsmentioning

confidence: 99%

Section: Problem Statementmentioning

confidence: 99%

A Compiler and Language Support for Designing Mixed-Criticality Applications

Kajtazovic¹,

Hödl²,

Botler³

2021

jucs

Self Cite

View full text Add to dashboard Cite

show abstract

“…Using this approach, we can optimize resource utilization, making this pattern more suitable for implementation in a microcontroller environment. To optimize the implementation of this pattern, using both memory and computational performance, we will not use run-time-type information (RTTI) in the implementation [18][19][20]. RTTI is a mechanism that allows us to obtain data-type information at run-time.…”

Section: Dependency Inversion Principlementioning

confidence: 99%

Implementation of a Universal Framework Using Design Patterns for Application Development on Microcontrollers

Babiuch,

Foltynek

2024

Sensors

View full text Add to dashboard Cite

This article focuses on the area of software development for microcontrollers and details the implementation of modern programming practices and principles in embedded systems and IoT applications. This article explains how we implemented previously unimplemented principles and applied design patterns for quality software design on microcontrollers, which are currently only used for developing applications on the higher layers of the IoT reference model. A custom modular framework for microcontrollers is presented, based on applying SOLID principles and adapting design patterns specific to the microcontrollers’ application development needs. The implemented framework enables independent communication between modules and flexible integration of hardware components. It is designed with platform independence in mind, contributing to its wide adaptability and ease of use in diverse development environments. By applying these technological approaches, we can create applications that are not only testable and extensible in terms of application logic but also allow for easy adaptation to changes in these hardware resources. Utilizing these capabilities represents an innovative approach to development for microcontrollers that fundamentally improves the long-term sustainability and scalability of applications.

show abstract

Instrumenting Compiler Pipeline to Synthesise Traceable Runtime Memory Layouts in Mixed-critical Applications

Cited by 2 publications

References 9 publications

A Compiler and Language Support for Designing Mixed-Criticality Applications

A Compiler and Language Support for Designing Mixed-Criticality Applications

Implementation of a Universal Framework Using Design Patterns for Application Development on Microcontrollers

Contact Info

Product

Resources

About