Search: onr:"swepub:oai:DiVA.org:mdh-25675" >
Automated specifica...
Automated specification and verification of functional safety in heavy-vehicles : The verispec approach
-
- Rodriguez-Navas, Guillermo (author)
- Mälardalens högskola,Inbyggda system,Scania SV, Södertäalje, Sweden
-
- Seceleanu, Cristina (author)
- Mälardalens högskola,Inbyggda system
-
- Hansson, Hans (author)
- Mälardalens högskola,Inbyggda system
-
show more...
-
- Nyberg, M. (author)
- Scania SV, Södertäalje, Sweden
-
- Ljungkrantz, O. (author)
- Advanced Technology and Research, Volvo Group Trucks Technology, Gothenburg, Sweden
-
- Lönn, H. (author)
- Advanced Technology and Research, Volvo Group Trucks Technology, Gothenburg, Sweden
-
show less...
-
(creator_code:org_t)
- 2014-06
- 2014
- English.
-
In: Proceedings - Design Automation Conference. - New York, NY, USA : ACM. - 9781479930173
- Related links:
-
https://urn.kb.se/re...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- ISO 26262 is the new standard for automotive functional safety. This standard identies major process steps across a large number of system stages as well as safety-related artifacts required as input and output of these steps. The VeriSpec project intends to identify the main challenges for the adoption of ISO 26262 by the heavy-vehicle industry and to provide useful and industrially relevant components (methods, tools etc.) required by the standard. The project work targets two main research goals: (i) requirement formalization support, including a usable front-end for specifying requirements by using patterns, and (ii) formal analysis of realizations in form of architectural models at various levels of abstraction, by model-checking the formal representations of the latter. In this paper, we present the current challenges facing industry and justifying VeriSpec, together with a preliminary roadmap for the research.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Keyword
- Computer aided design
- Model checking
- Architectural models
- Automotive functional safeties
- Formal representations
- Functional Safety
- Input and outputs
- Levels of abstraction
- Relevant components
- Specification and verification
- Vehicles
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database