(User-friendly) formal requirements verification in the context of ISO26262. Makartetskiy, D.; Marchetto, G.; Sisto, R.; Valenza, F.; Virgilio, M.; Leri, D.; Denti, P.; and Finizio, R. Engineering Science and Technology, an International Journal, 23(3):494-506, 2020.
(User-friendly) formal requirements verification in the context of ISO26262 [pdf]Paper  doi  abstract   bibtex   
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. © 2019 Karabuk University
@ARTICLE{2020IJEST,
author={Makartetskiy, D. and Marchetto, G. and Sisto, R. and Valenza, F. and Virgilio, M. and Leri, D. and Denti, P. and Finizio, R.},
title={(User-friendly) formal requirements verification in the context of ISO26262},
journal={Engineering Science and Technology, an International Journal},
year={2020},
volume={23},
number={3},
pages={494-506},
doi={10.1016/j.jestch.2019.09.005},
url={https://iris.polito.it/retrieve/handle/11583/2785894/367840/1-s2.0-S2215098619306147-main.pdf},
abstract={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. © 2019 Karabuk University},
keywords={In-vehicle Security},
}
Downloads: 0