The need for more advanced formal methodologies for design, development and verification of embedded systems has been identified by both industry and academia. VeriSpec will develop new, as well as adapt existing, modelling and verification techniques and relevant tool support for the analysis of requirements and architectural models of automotive systems, which could be seamlessly integrated within the industrial methodology of system development regulated by the functional safety standard ISO 26262.
The concrete project outcomes will be (i) a language by which requirements can be formalised and related to the system architecture, (ii) methods for automatic verification of architectural models against requirements, and (iii) a prototype implementation of the developed framework compatible with the industrial practices and processes.
From an industrial perspective, the adoption of these new methods and techniques raises challenges concerning the integration of new practices and related tools in the industrial processes and tool-chains. In order to tackle this problem, VeriSpec seeks for close interaction between academia (MDH) and industry (Scania CV and AB Volvo).
|First Name||Last Name||Title|
SMT-based Consistency Analysis of Industrial Systems Requirements (Apr 2017) Predrag Filipovikj, Guillermo Rodriguez-Navas, Mattias Nyberg , Cristina Seceleanu 32nd ACM SIGAPP Symposium On Applied Computing (SAC2017)
Analyzing Industrial Simulink Models by Statistical Model Checking (Mar 2017) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Guillermo Rodriguez-Navas, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn
ReSA Tool: Structured Requirements Specification and SAT-based Consistency-checking (Nov 2016) Nesredin Mahmud, Cristina Seceleanu, Oscar Ljungkrantz 35th Annual IEEE Software Engineering Workshop (FedCSIS Conference) (SEW-36)
Simulink to UPPAAL Statistical Model Checker: Analyzing Automotive Industrial Systems (Nov 2016) Predrag Filipovikj, Nesredin Mahmud, Raluca Marinescu, Cristina Seceleanu, Oscar Ljungkrantz , Henrik Lönn 21st International Symposium on Formal Methods (FM2016)
Integrating Pattern-based Formal Requirements Specification in an Industrial Tool-chain (Jun 2016) Predrag Filipovikj, Trevor Jagerfield , Mattias Nyberg , Guillermo Rodriguez-Navas, Cristina Seceleanu The 10th IEEE International Workshop on Quality Oriented Reuse of Software (QUORS'16)