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

DOI10.1007/S00607-013-0314-4MaRDI QIDQ488384zbMATH OpenOpenAlexFDO

Authors Dejiu Chen, Tahir Naseer Qureshi, Henrik Lönn, Frank Hagl, 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 checkinganalytical modelingmodel transformationarchitecture description language (ADL)AUTOSAREAST-ADLembedded systemISO26262model-based development

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2080754
• scientific article; zbMATH DE number 2080777
• Verification of embedded systems based on interval analysis
• Towards dependable development tools for embedded systems: a case study in software verification
• Functional Verification of Programmable Embedded Architectures
• Dynamic and formal verification of embedded systems: A comparative survey

Cites work

• scientific article; zbMATH DE number 1435981 (Why is no real title available?)
• Controllers for reachability specifications for hybrid systems

Cited in

(2)

• scientific article; zbMATH DE number 2080777 (Why is no real title available?)
• Verification approach of Metropolis design framework for embedded systems

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q488384)