Robust Real-Time Applications in Timber

Abstract

Abstract-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.

Sensitivity and specificity of fall detection in people aged 40 years and over

“…After system startup, the getSample method is rescheduled every 20 ms. On every method invocation ADC_Obj returns the acceleration value of each accelerometer axis and the values are sent to computer using printObj. The objects were scheduled by a real-time kernel based on the high-level programming and systems modelling language Timber [21] and they were implemented in the C language by using TinyTimber [22]. This implementation strategy was used to meet real-time requirements.…”

IP over CAN, Transparent Vehicular to Infrastructure Access

“…The ECUs are based on the Atmel AVR AT90CAN128 micro controller clocked at 16MHz, featuring a total of 4 kbyte RAM, and 128 kbyte Flash Memory [6]. The ECUs run a minimalistic real-time Timber kernel featuring [7]:…”

FIFO WiDOM: Timely control over wireless links

“…Embedded real-time systems are naturally described as time-bound reactions to external events, a view supported natively in the high-level programming and systems modeling language Timber [7]. The engineering perspectives of the Timber design paradigm are further elaborated in [8].…”