Using multiple levels of abstractions in embedded software design

DOI10.1007/3-540-45449-7_23MaRDI QIDQ4473735zbMATH OpenFDO

Authors Jerry R. Burch, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli

Publication date 4 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2211/22110324.htm

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Applications and Theory of Petri Nets 2004
• Refinement preserving approximations for the design and verification of heterogeneous systems
• Verification of embedded software: Problems and perspectives
• Programming Languages and Systems
• An end-to-end methodology for building embedded systems

Cited in

(8)

• Bisimulation relations for dynamical, control, and hybrid systems
• Refinement preserving approximations for the design and verification of heterogeneous systems
• Using abstraction in modular verification of synchronous adaptive systems
• A mixed level simulation environment for stepwise RTOS software refinement
• Approximating Behaviors in Embedded System Design
• Síntese de Software Adaptativo baseada em Especificações, Extended Dataflow
• Platform-based embedded software design for multi-vehicle multi-modal systems
• Applications and Theory of Petri Nets 2004

This page was built for publication: Using multiple levels of abstractions in embedded software design

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