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

DOI10.1007/S00607-013-0314-4zbMATH Open1314.68181OpenAlexW2099864377MaRDI QIDQ488384FDOQ488384

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

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)

Cites Work

• Controllers for reachability specifications for hybrid systems
• Title not available (Why is that?)

Cited In (1)

• Verification approach of Metropolis design framework for embedded systems

Uses Software

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

   Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)