An architectural approach to the analysis, verification and validation of software intensive embedded systems

DOI10.1007/S00607-013-0314-4zbMath1314.68181OpenAlexW2099864377MaRDI QIDQ488384

Dejiu Chen, Henrik Lönn, Frank Hagl, Tahir Naseer Qureshi, Lei Feng

Publication date: 26 January 2015

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-013-0314-4

zbMATH Keywords

model checkingembedded systemmodel transformationanalytical modelingarchitecture description language (ADL)AUTOSAREAST-ADLISO26262model-based development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SPIN
• Uppaal
• SysML
• Charmy
• MARTE
• AUTOSAR

Cites Work

• Unnamed Item
• Controllers for reachability specifications for hybrid systems

This page was built for publication: An architectural approach to the analysis, verification and validation of software intensive embedded systems