An Embedded System's Design Verification Using Object-Oriented Simulation

DOI10.1177/003754979907200403MaRDI QIDQ4420074zbMATH OpenOpenAlexFDO

Authors Steve J. Cunning, Stephan Schulz, J. Rozenblit

Publication date 1999

Published in SIMULATION (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1177/003754979907200403

zbMATH Keywords

discrete event specification

Mathematics Subject Classification ID

Recommendations

• Formal Methods for Hardware Verification
• scientific article; zbMATH DE number 1751912
• scientific article; zbMATH DE number 1519897
• scientific article; zbMATH DE number 2087300
• A case study in embedded systems design: An engine control unit

Cites work

• scientific article; zbMATH DE number 3904008 (Why is no real title available?)
• scientific article; zbMATH DE number 46228 (Why is no real title available?)
• scientific article; zbMATH DE number 579921 (Why is no real title available?)
• Objects and Systems

Cited in

(15)

• OMT and SDL based techniques and tools for design, simulation and test production of distributed systems
• A case study in embedded systems design: An engine control unit
• Simulation-based design: overview about related works
• RACE: A rapid, architectural simulation and synthesis framework for embedded processors
• scientific article; zbMATH DE number 52483 (Why is no real title available?)
• scientific article; zbMATH DE number 1956479 (Why is no real title available?)
• scientific article; zbMATH DE number 1964422 (Why is no real title available?)
• scientific article; zbMATH DE number 2017340 (Why is no real title available?)
• Design-time simulation of a large-scale, distributed object system
• scientific article; zbMATH DE number 1751912 (Why is no real title available?)
• scientific article; zbMATH DE number 2172822 (Why is no real title available?)
• scientific article; zbMATH DE number 2087300 (Why is no real title available?)
• Distributed embedded systems -- validation strategies.
• Formal Methods for Hardware Verification
• Composable models for simulation-based design

This page was built for publication: An Embedded System's Design Verification Using Object-Oriented Simulation

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