CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software

Anila Mjeda (1) , Mike Hinchey (1)

1 The Irish Software Engineering Research Centre

We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a par-ticular focus on the specification-based control logic of the system under test and offers improvements in testing coverage metrics over a classic method which is routinely used in industry. The proposed method targets the Modified Condition/ Decision Coverage (MC/DC) objective for automotive safety-critical software. CTMCONTROL is validated via a controlled experiment which high-lights the higher structural coverage delivered by the new approach. The meth-od is implemented in the popular Matlab/Simulink/Stateflow (M/S/S) environ-ment.

Mots clés: Safety; Embedded systems; automotive safety-critical software; testing; MC/DC; ISO 26262; AUTOSAR

Domaines: Systèmes embarqués

Anila Mjeda, Mike Hinchey. CTMCONTROL: Addressing the MC/DC Objective for Safety-Critical Automotive Software. SAFECOMP 2013 - Workshop CARS (2nd Workshop on Critical Automotive applications : Robustness & Safety) of the 32nd International Conference on Computer Safety, Reliability and Security, Sep 2013, Toulouse, France. pp.NA. ⟨hal-00848222⟩