SwePub - sökning: id:"swepub:oai:DiVA.org:kth-29...

Numrering	Referens	Omslagsbild	Hitta
1.	Gurov, Dilian, 1964-, et al. (författare) Automated Verification of Embedded Control Software : Track Introduction 2020 Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. - Cham : Springer Nature. ; , s. 235-239 Konferensbidrag (refereegranskat)abstract Embedded control software is used in a variety of industries, such as in the automotive and railway domains, or in industrial automation and robotization. The development of such software is subject to tight time-to-market requirements, but at the same time also to very high safety requirements posed by various safety standards. To assure the latter, formal methods such as model-based testing and formal verification are increasingly used. However, the main obstacle to a more wide-scale adoption of these methods, and especially of formal verification, is the currently relative low level of automation of the verification process and integration in the general software development cycle. At present, writing formal specifications and annotating the embedded code is still a highly labour intensive activity requiring special competence and skills. In this track we address this challenge from various angles. We start by introducing the topic and then give a summary of the contributions.

Gurov, Dilian, 1964-, et al. (författare)
Automated Verification of Embedded Control Software : Track Introduction
2020
Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. - Cham : Springer Nature. ; , s. 235-239
Konferensbidrag (refereegranskat)abstract
- Embedded control software is used in a variety of industries, such as in the automotive and railway domains, or in industrial automation and robotization. The development of such software is subject to tight time-to-market requirements, but at the same time also to very high safety requirements posed by various safety standards. To assure the latter, formal methods such as model-based testing and formal verification are increasingly used. However, the main obstacle to a more wide-scale adoption of these methods, and especially of formal verification, is the currently relative low level of automation of the verification process and integration in the general software development cycle. At present, writing formal specifications and annotating the embedded code is still a highly labour intensive activity requiring special competence and skills. In this track we address this challenge from various angles. We start by introducing the topic and then give a summary of the contributions.

Träfflista för sökning "id:"swepub:oai:DiVA.org:kth-290407" "