&mgr;C/OS: the real-time kernel
&mgr;C/OS: the real-time kernel
HW/SW codesign of an engine management system
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Computers as components: principles of embedded computing system design
Computers as components: principles of embedded computing system design
Space: a hardware/software systemC modeling platform including an RTOS
Languages for system specification
Synthesis of time-constrained multitasking embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
EURASIP Journal on Embedded Systems
| Hi-index | 0.00 |
Consistency,accuracy and efficiency are key aspects for practical sability of a system design flow featuring automatic code generation.Consistency is the property of maintaining the same behavio r at different levels of abstraction through synthesis and refinement,leading to functionally correct implementation.Accuracy is the property of having a good estimation of system performances while evaluating a high-level representation of the system.Efficiency is the property of introducing low overheads and preserving performances at the implementation level. RTOS is a key element of the link to implementation flow. In this paper we capture relevant high-level RTOS parameters that allow consistency,accuracy and efficiency to be verified in a top-down approach.Res lts from performance estimation are compared against measurements on the actual implementation. Experimental res lts on automatically generated code show design flow consistency,an accuracy error of about 0.66%and an overhead of about 11.8% in term of speed.