CPL - Chalmers Publication Library
| Utbildning | Forskning | Styrkeområden | Om Chalmers | In English In English Ej inloggad.

Back-to-Back Fault Injection Testing in Model-Based Development

Peter Folkesson ; Fatemeh Ayatolahi (Institutionen för data- och informationsteknik, Datorteknik (Chalmers)) ; Behrooz Sangchoolie (Institutionen för data- och informationsteknik, Datorteknik (Chalmers)) ; Jonny Vinter ; Mafijul Islam ; Johan Karlsson (Institutionen för data- och informationsteknik, Datorteknik (Chalmers))
Proceedings of the 34th International Conference on Computer Safety, Reliability, and Security (SAFECOMP), September 23-25 2015. (0302-9743). Vol. 9337 (2015), p. 135-148.
[Konferensbidrag, refereegranskat]

Today, embedded systems across industrial domains (e.g., avionics, automotive) are representatives of software-intensive systems with increasing reliance on software and growing complexity. It has become critically important to verify software in a time, resource and cost effective manner. Furthermore, industrial domains are striving to comply with the requirements of relevant safety standards. This paper proposes a novel workflow along with tool support to evaluate robustness of software in model-based development environment, assuming different abstraction levels of representing software. We then show the effectiveness of our technique, on a brake-by-wire application, by performing back-to-back fault injection testing between two different abstraction levels using MODIFI for the Simulink model and GOOFI-2 for the generated code running on the target microcontroller. Our proposed method and tool support facilitates not only verifying software during early phases of the development lifecycle but also fulfilling back-to-back testing requirements of ISO 26262 when using model-based development.

Nyckelord: Fault-injection, Back-to-back testing, Model-based development, Embedded systems, Functional safety, Soft errors

Denna post skapades 2015-09-28. Senast ändrad 2016-06-10.
CPL Pubid: 223307


Läs direkt!

Länk till annan sajt (kan kräva inloggning)

Institutioner (Chalmers)

Institutionen för data- och informationsteknik, Datorteknik (Chalmers)



Chalmers infrastruktur