Designing an Interface for Real-Time and Embedded DEVS

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).

@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",
  address      = "Orlando, FL",
  keywords     = "Discrete event simulation, DEVS, Embedded Systems, Real-Time Simulation and Control, Model Based Approach",
  url          = "http://cell-devs-02.sce.carleton.ca/publications/2010/MW10"
}