Task Construction with Temporal Consistency for Embedded Control Software Design

Model-based approach alleviates the discrepancies between software functional models and the implementation by automatically transforming models. Constructing runtime real-time tasks, or operating system-level processes/threads, from the components of software design models is crucial to the model-based development of embedded control software. The model of data consistency presented here uses temporal consistency constraints in order to ensure that data values are sufficiently recent to be usable. Real-time data itself is considered to be perishable.