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

Mohammad Moallemi, Gabriel A. Wainer
Proceedings of 2011 Spring Simulation Conference (SpringSim11), DEVS Symposium, page 95--102, Boston, MA - April 2011
Download the publication : M_M_RT_Imprecise_Final.pdf [332Ko]  
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.
Category: Real-Time Systems; Real-Time Simulation
2nd Category: Multi Modeling and Modeling Formalisms
3rd Category: Tools
Keywords: DEVS, Embedded Systems, Real-Time Systems, Model Based Approach
Booktitle: Proceedings of 2011 Spring Simulation Conference (SpringSim11), DEVS Symposium
Series : Annual
Pages : 95--102
Month : April
Year : 2011
Publisher: SCS
Organization: (SCS) : The Society for Modeling and Simulation International
Address : Boston, MA
Notes : Awarded Best Paper in DEVS Symposium
URL: http://cell-devs-02.sce.carleton.ca/publications/2011/MW11

BibTex references

@Conference_Paper\{MW11,
  author       = "Moallemi, Mohammad and Wainer, Gabriel A.",
  title        = "I-DEVS: Imprecise Real-Time and Embedded DEVS Modeling",
  category     = "Real-Time Systems; Real-Time Simulation",
  2nd category = "Multi Modeling and Modeling Formalisms",
  3rd category = "Tools",
  booktitle    = "Proceedings of 2011 Spring Simulation Conference (SpringSim11), DEVS Symposium",
  series       = "Annual",
  pages        = "95--102",
  month        = "April",
  year         = "2011",
  publisher    = "SCS",
  organization = "(SCS) : The Society for Modeling and Simulation International",
  address      = "Boston, MA",
  note         = "Awarded Best Paper in DEVS Symposium",
  keywords     = "DEVS, Embedded Systems, Real-Time Systems, Model Based Approach",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2011/MW11"
}

Other publications in the database

» Mohammad Moallemi
» Gabriel A. Wainer