(User-friendly) formal requirements verification in the context of ISO26262

Engineering Science and Technology, an International Journal

卷:23

Matteo Virgilio¹  Paolo Denti²  Roberto Finizio²  Denise Leri³  Guido Marchetto³  Riccardo Sisto³  Fulvio Valenza³  Denis Makartetskiy³ 

[1] Corresponding author at: Dipartimento di Automatica e Informatica, Politecnico di Torino, c.so Duca degli Abruzzi 24, Torino I-10129, Italy.;

[2] Centro Ricerche Fiat (CRF), Str. Torino 50, Torino I-1004, Italy;

[3] Dipartimento di Automatica e Informatica, Politecnico di Torino, c.so Duca degli Abruzzi 24, Torino I-10129, Italy;

关键词: ISO26262;    Formal methods;    SysML;   

DOI  :  

来源: DOAJ

【 摘 要 】

In order to achieve the highest safety integrity levels, ISO26262 recommends the use of formal methods for various verification activities, throughout the lifecycle of safety-related embedded systems for road vehicles. Since formal methods are known to be difficult to use, one of the main challenges raised by these ISO26262 requirements is to find cost-effective approaches for being compliant with them. This paper proposes an approach for requirements formal verification where formal methods, languages, and tools are only minimally exposed to the user, and are integrated into one of the commonly used system modeling environments based on SysML. This approach does not require particular expertise in formal methods still allowing to apply them. Hence, personnel training costs and development costs should be kept limited. The proposed approach has been implemented as a plugin of the Topcased environment. Although it is limited to discrete system models, it has been successfully experimented on an industrial use case.

【 授权许可】

Unknown