Sökning: onr:"swepub:oai:DiVA.org:kth-290407" >
Automated Verificat...
Automated Verification of Embedded Control Software : Track Introduction
-
- Gurov, Dilian, 1964- (författare)
- KTH,Teoretisk datalogi, TCS
-
Herber, P. (författare)
-
Schaefer, I. (författare)
-
(creator_code:org_t)
- 2020-10-27
- 2020
- Engelska.
-
Ingår i: Leveraging Applications of Formal Methods, Verification and Validation. - Cham : Springer Nature. ; , s. 235-239
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Nyckelord
- Automation
- Industrial robots
- Model checking
- Software design
- Automated verification
- Embedded control software
- Industrial automation
- Labour-intensive
- Level of automations
- Model based testing
- Software development cycles
- Verification process
- Formal verification
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)