A mixed level simulation environment for stepwise RTOS software refinement

DOI10.1007/978-3-642-15234-4_15MaRDI QIDQ3163934zbMATH OpenOpenAlexFDO

Authors

Publication date 27 October 2010

Published in Distributed, Parallel and Biologically Inspired Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15234-4_15

zbMATH Keywords

embedded real-time software

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1751912
• An object-oriented tool for simulating distributed real-time control systems
• Formal Methods for Hardware Verification
• Towards operating system synthesis
• scientific article; zbMATH DE number 2080769

Describes a project that uses

Uses Software

• RTOS

This page was built for publication: A mixed level simulation environment for stepwise RTOS software refinement

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