https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Automated specification and verification of functional safety in heavy-vehicles: The verispec approach
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Scania SV, Södertäalje, Sweden .ORCID iD: 0000-0002-4987-7669
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0003-2870-2680
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.ORCID iD: 0000-0002-7235-6888
Scania SV, Södertäalje, Sweden .
Show 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
Available from: 2014-07-14 Created: 2014-07-14 Last updated: 2018-02-21Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records

Rodriguez-Navas, GuillermoSeceleanu, CristinaHansson, Hans

Search in DiVA

By author/editor
Rodriguez-Navas, GuillermoSeceleanu, CristinaHansson, Hans
By organisation
Embedded Systems
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 94 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf