Time for Timber
2005 (English)Report (Other academic)
Embedded systems are often operating under hard real-time constraints, while at the same time being constrained by severe restrictions on power consumption. For such systems, robustness and reliability can be a question of life and death, which calls for rigorous system design and methodologies for validation. In this paper we advocate a design methodology for low-power, real-time 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 based target platforms. Methods for resource analysis and implications to system dimensioning and validation are further discussed.
Place, publisher, year, edition, pages
Luleå: Luleå tekniska universitet, 2005. , 20 p.
Research report / Luleå University of Technology, ISSN 1402-1528 ; 2005:01
Research subject Embedded System; Dependable Communication and Computation Systems
IdentifiersURN: urn:nbn:se:ltu:diva-24408Local ID: ad625960-a9ff-11db-aeba-000ea68e967bOAI: oai:DiVA.org:ltu-24408DiVA: diva2:997460
Godkänd; 2005; 20070122 (ysko)2016-09-292016-09-29Bibliographically approved