SaDIES. Safe Dynamic Software Instrumentation for Embedded Systems

Research Group:


Status:

finished

Start date:

2013-09-01

End date:

2015-08-31

An important part of the safety certification of a software-­based product is the qualification of the software tools used during the desing and the evaluation of the product. Different types of tools may contribute to system hazards differently: design tools may introduce errors, whereas verification tools may fail to detect the errors introduced in earlier phases.

SaDIES pursuits three main goals:
• Definition of a more mature set of techniques for dynamic software instrumentation,
especially tailored for safety-­critical applications and embedded systems. This
includes definition of adequate safety mechanisms.
• Identification and development of the verification techniques needed for collecting
the evidence about the correctness of such novel instrumentation techniques.
• Definition of a methodology for tool qualification according to the safety standards
EN 50126/50128/50129 and ISO26262.

Qualification of a dynamic software instrumentation tool is particularly challenging because it is a tool for verification that can in fact introduce errors, since it modifies the actual object code. Therefore, it must be treated rather as a design tool. However, and to make things even more challenging, it is a design tool placed at the very end of the tool chain, and whose output is (at least in current implementations) not checked by any subsequent verification tool.

Our approach will combine fault-tolerance techniques with static analysis of the code. The research is carried out in close cooperation with Bombardier and Volvo Construction Equipment.

[Show all publications]

A decomposition Approach for SMT-based Schedule Synthesis for Time-Triggered Networks (Sep 2015)
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
20th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'15)

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing (Aug 2015)
Guillermo Rodriguez-Navas, Avenir Kobetski , Daniel Sundmark, Thomas Gustafsson
12th IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS 2015)

Safety vs. Sustainability Design: Analogies, Differences and Potential Synergies (Aug 2015)
Guillermo Rodriguez-Navas, Leticia Duboc , Stefanie Betz , Ruzanna Chitchyan , Birgit Penzenstadler , Colin C. Venters
Fourth International Workshop on Requirements Engineering for Sustainable Systems (Re4SuSy'15)

Mind the Gap: Bridging the Sustainable Software Systems Research Divide (Jul 2015)
Colin C. Venters , Christoph Becker , Stefanie Betz , Ruzanna Chitchyan , Leticia Duboc , Steve Easterbrook , Birgit Penzenstadler , Guillermo Rodriguez-Navas, Norbert Seyff
Workshop on Sustainable HCI in the UK (UK-SHCI)

SMT-based Synthesis of TTEthernet Schedules, a Performance Study (Jun 2015)
Francisco Pozo, Guillermo Rodriguez-Navas, Hans Hansson, Wilfried Steiner
10th IEEE International Symposium on Industrial Embedded Systems (SIES'15)

Guillermo Rodriguez-Navas, Senior Lecturer

Email: guillermo.rodriguez-navas@mdh.se
Room: U1-069a
Phone: 021 101 356