VeriSpec Structured Specifications and Automated Verification for Automotive Functional Safety

Reference number 2013-01299
Coordinator Mälardalens högskola - Akademin för innovation, design och teknik, Västerås
Funding from Vinnova SEK 11 200 000
Project duration June 2013 - June 2019
Status Ongoing
Venture Electronics, software and communication - FFI
Call 2012-04640-en

Purpose and goal

The VeriSpec project will develop new, as well as adapt existing, formal modelling and verification techniques and relevant tool support for the analysis of requirements and architectural models. The developed methods and tools will be seamlessly integrated within the industrial methodology of system development regulated by ISO26262.

Expected results and effects

The VeriSpec project will develop new, adapt existing, formal modelling and verification techniques and relevant tool support for the analysis of requirements and architectural models. The developed methods and tools will be seamlessly integrated within the industrial methodology of system development regulated by ISO26262. It will develop a language by which requirements can be formalised and related to the system architecture, methods for automatic verification of architectural models against requirements, and a prototype tool.

Planned approach and implementation

WP1 Identification of Industrial Concerns, and Definition of Use-Case and Prioritized Activities WP2 Specification and Analysis of Safety Requirements WP3 Verification of Architectural Models Supporting the System Development Process WP4 Project management

The project description has been provided by the project members themselves and the text has not been looked at by our editors.