A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Model-Driven Software Development
The development of embedded systems with real-time constraints has received the thorough study of the software engineering community in the last 20 years. Despite these efforts, most existing methods are still hard to scale up for large systems, or they require expensive testing efforts. We propose a model-driven method to develop this kind of applications based on DEVS, a formal technique originally created for modeling and simulation of discrete event systems. This approach combines thedoi:10.1007/3-540-28554-7_16 fatcat:c7wxoe623bdhzfklugz235tvay