I-DEVS: imprecise real-time and embedded DEVS modeling

Authors:
Mohammad Moallemi;Gabriel Wainer
Affiliations:
Carleton University, Ottawa, ON, Canada;Carleton University, Ottawa, ON, Canada
Venue:
Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium
Year:
2011

Citing 20
Cited 1

Scheduling Periodic Jobs that Allow Imprecise Results

IEEE Transactions on Computers
Algorithms for scheduling imprecise computations with timing constraints

SIAM Journal on Computing
Parallel DEVS: a parallel, hierarchical, modular, modeling formalism

WSC '94 Proceedings of the 26th conference on Winter simulation
On-Line Scheduling of Imprecise Computations to Minimize Error

SIAM Journal on Computing
Competitive On-Line Scheduling of Imprecise Computations

IEEE Transactions on Computers
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment

Journal of the ACM (JACM)
Theory of Modeling and Simulation

Theory of Modeling and Simulation
CD++: a toolkit to develop DEVS models

Software—Practice & Experience
Algorithms for Scheduling Imprecise Computations with Timing Constraints to Minimize Maximum Error

IEEE Transactions on Computers
DEVS Framework for Modelling, Simulation, Analysis, and Design of Hybrid Systems

Hybrid Systems II
Applying imprecise algorithms to real-time image and video transmission

RTAS '95 Proceedings of the Real-Time Technology and Applications Symposium
Imprecise task scheduling and overload management using OR-ULD

RTCSA '00 Proceedings of the Seventh International Conference on Real-Time Systems and Applications
Optimal Reward-Based Scheduling of Periodic Real-Time Tasks

RTSS '99 Proceedings of the 20th IEEE Real-Time Systems Symposium
An Imprecise Algorithm for Real-Time Compressed Image and Video Transmission

IC3N '97 Proceedings of the 6th International Conference on Computer Communications and Networks
RT-Frontier: A Real-Time Operating System for Practical Imprecise Computation

RTAS '04 Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium
Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example

Simulation
eCD++: an engine for executing DEVS models in embedded platforms

Proceedings of the 2007 Summer Computer Simulation Conference
Discrete-Event Modeling and Simulation: A Practitioner's Approach

Discrete-Event Modeling and Simulation: A Practitioner's Approach
Verification of real-time DEVS models

SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
Designing an interface for real-time and embedded DEVS

SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference

Real-time network-on-chip simulation modeling

Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.