Abstract
We briefly show that the resulting architecture generates very small code (5 KB for the distributed version) resulting in better performance and better safety properties.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Verhulst, E., Boute, R.T., Faria, J.M.S., Sputh, B.H.C., Mezhuyev, V. (2011). Results: Code Size and Performance. In: Formal Development of a Network-Centric RTOS. Springer, Boston, MA. https://doi.org/10.1007/978-1-4419-9736-4_8
Download citation
DOI: https://doi.org/10.1007/978-1-4419-9736-4_8
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4419-9735-7
Online ISBN: 978-1-4419-9736-4
eBook Packages: EngineeringEngineering (R0)