Designing an Interface for Real-Time and Embedded DEVS

Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium, page 154--161 - April 2010
Download the publication : M_M_Driver_Model.pdf [322Ko]  
In this work, we are proposing a hardware-in-the-loop model-driven method to develop real-time and embedded applications based on DEVS (Discrete Event Systems Specification) formalism. This approach combines the advantages of a simulation-based approach with the rigor of a formal methodology. This framework can be used to develop embedded applications incrementally, and integrate simulation models with hardware components seamlessly. We have defined structural modifications to the current DEVS abstract simulator, allowing for integration with hardware devices, using external ports of the model and adding hardware control mechanisms. The use of this methodology provides model continuity from the early stages of model design to embedding it on the target. We have discussed the details of implementation of the proposed technique on E-CD++ (a DEVS based toolkit).
Category: Real-Time Systems; Real-Time Simulation
2nd Category: Multi Modeling and Modeling Formalisms
Keywords: Discrete event simulation, DEVS, Embedded Systems, Real-Time Simulation and Control, Model Based Approach
Booktitle: Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium
Series : Annual
Pages : 154--161
Month : April
Year : 2010
Publisher: SCS
URL: http://cell-devs.sce.carleton.ca/publications/2010/MW10

BibTex references

@Conference_Paper\{MW10,
  author       = "Moallemi, Mohammad and Wainer, Gabriel A.",
  title        = "Designing an Interface for Real-Time and Embedded DEVS",
  category     = "Real-Time Systems; Real-Time Simulation",
  2nd category = "Multi Modeling and Modeling Formalisms",
  booktitle    = "Proceedings of 2010 Spring Simulation Conference (SpringSim10), DEVS Symposium",
  series       = "Annual",
  pages        = "154--161",
  month        = "April",
  year         = "2010",
  publisher    = "SCS",
  keywords     = "Discrete event simulation, DEVS, Embedded Systems, Real-Time Simulation and Control, Model Based Approach",
  url          = "http://cell-devs.sce.carleton.ca/publications/2010/MW10"
}

Other publications in the database