I-DEVS: Imprecise Real-Time and Embedded DEVS Modeling

The problem of over-running in hard real-time systems poses critical risks to the hardware under control. The imprecise computation technique offers an effective way of resource utilization in these cases. We introduce Imprecise-DEVS (I-DEVS), a model-driven approach to develop real-time and embedded applications based on the DEVS (Discrete Event Systems Specification) formalism. This approach combines the dynamic advantages of the imprecise computation technique with the rigor of a formal modeling methodology. This framework can be used to develop embedded applications incrementally, integrating imprecise models with hardware components seamlessly. We have defined structural modifications to DEVS in order to allow imprecise model definition.