Robust real-time applications in Timber
2006 (English)In: 2006 IEEE International Conference on Electro/information Technology: East Lansing. MI, 7 - 10 May 2006, Piscataway, NJ: IEEE Communications Society, 2006, 191-196 p.Conference paper (Refereed)
Embedded systems are often operating under hard real-time constraints, for example in automotive applications. For such systems, robustness and reliability are crucial, which calls for rigorous system design and methodologies for validation. In this paper we advocate a design methodology for robust, realtime systems, based on Timber; a pure reactive system model that allows for formal reasoning about various system properties. We outline how system specifications in Timber can be "compiled" into efficient standalone executables for general light-weight microcontroller platforms. Methods for resource analysis and implications to system dimensioning and validation are further discussed.
Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2006. 191-196 p.
Research subject Embedded System; Dependable Communication and Computation Systems
IdentifiersURN: urn:nbn:se:ltu:diva-35897DOI: 10.1109/EIT.2006.252112Local ID: aa0eb5a0-c70b-11db-98d9-000ea68e967bISBN: 0-7803-9592-1OAI: oai:DiVA.org:ltu-35897DiVA: diva2:1009151
International Conference on Electro/information Technology : 07/05/2006 - 10/05/2006
Godkänd; 2006; 20070228 (ysko)2016-09-302016-09-30Bibliographically approved