Automated specification and verification of functional safety in heavy-vehicles: The verispec approachShow others and affiliations
2014 (English)In: Proceedings - Design Automation Conference, 2014Conference paper, Published paper (Refereed)
Abstract [en]
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.
Place, publisher, year, edition, pages
2014.
Series
Proceedings - Design Automation Conference, ISSN 0738-100X
Keywords [en]
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
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-25675DOI: 10.1145/2593069.2602972ISI: 000346506400093Scopus ID: 2-s2.0-84903157897ISBN: 9781479930173 (print)OAI: oai:DiVA.org:mdh-25675DiVA, id: diva2:734033
Conference
51st Annual Design Automation Conference, DAC 2014, 2 June 2014 through 5 June 2014, San Francisco, CA
2014-07-142014-07-142018-02-21Bibliographically approved