Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

DOI10.1007/11901914_38MaRDI QIDQ3522934zbMATH OpenOpenAlexFDO

Authors Hang Su, Graham Hemingway, Kai Chen, T. John Koo

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11901914_38

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Languages and Tools for Hybrid Systems Design
• Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations
• Automated Technology for Verification and Analysis
• Automated analysis of Stateflow models
• scientific article; zbMATH DE number 2080748

Cited in

(2)

• A compositional behavioral modeling framework for embedded system design and conformance checking
• Automated Technology for Verification and Analysis

Describes a project that uses

Uses Software

• ReachLab

This page was built for publication: Model-Based Tool-Chain Infrastructure for Automated Analysis of Embedded Systems

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