DEMES : a Discrete-Event methodology for Modeling and Simulation of Embedded Systems

@inproceedings{Wainer2011DEMESA,
  title={DEMES : a Discrete-Event methodology for Modeling and Simulation of Embedded Systems},
  author={Gabriel A. Wainer and Rodrigo Castro},
  year={2011}
}
In the last thirty years, the Software Engineering community has spent a tremendous effort in creating formal methods and tools for developing embedded systems, in particular, those with real-time constraints. Despite these efforts, most existing methods are still hard to scale up, and they require expensive testing efforts with no guarantees for bug-free products. Instead, systems engineers have often relied on modeling and simulation (M&S) techniques to improve the development task and obtain… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 18 references

Discrete-Event Modeling and Simulation: a Practitioner’s approach

  • G. Wainer
  • CRC Press. Taylor and Francis.
  • 2009
1 Excerpt

Model-driven architecture of real-time systems

  • G. Wainer, E. Glinsky, P. MacSween
  • Model - Driven Software Development - Research…
  • 2005
1 Excerpt

Similar Papers

Loading similar papers…