Abstract — Embedded real-time systems are tightly coupled with the physical world. This tight coupling imposes para-functional requirements (such as timeliness, jitter, fault-tolerance, and security) that go beyond functional (logical) behaviors. We have developed a Model-based embedded system development tool called Time Weaver . Our tool provides new abstractions that enable the modeling of both functional and parafunctional behaviors into separate views whose interactions are automatically handled. These separate views focus on a single concern enabling multiple domain experts (e.g. signal processing experts, control experts, real-time experts, fault-tolerance experts) to focus on the concern of their expertise while the interactions with the other views are automatically handled. However, in order to be effective, model-based technology must take the design decisions down to the running code. As a result, automatic glue code generation to integrate the final running system must be an integral part of any model-driven technology. Furthermore, given tha
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.