Sökning: 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 (författare)
- Mälardalens högskola,Inbyggda system,Scania SV, Södertäalje, Sweden
-
- Seceleanu, Cristina (författare)
- Mälardalens högskola,Inbyggda system
-
- Hansson, Hans (författare)
- Mälardalens högskola,Inbyggda system
-
visa fler...
-
- Nyberg, M. (författare)
- Scania SV, Södertäalje, Sweden
-
- Ljungkrantz, O. (författare)
- Advanced Technology and Research, Volvo Group Trucks Technology, Gothenburg, Sweden
-
- Lönn, H. (författare)
- Advanced Technology and Research, Volvo Group Trucks Technology, Gothenburg, Sweden
-
visa färre...
-
(creator_code:org_t)
- 2014-06
- 2014
- Engelska.
-
Ingår i: Proceedings - Design Automation Conference. - New York, NY, USA : ACM. - 9781479930173
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering (hsv//eng)
Nyckelord
- 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
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas