Modeling and Simulation Based Design with DCharts

This article studies the software development based on modeling, simulation and code synthesis. DCharts, a statecharts variant with extensions, are used to model a practical application: a traffic light system. The development of this system emphasizes the use of various tools: AToM is used as a visual modeling environment; SVM is the simulation engine to test the prototype of the model; SCC is the code synthesizer that generates reusable source code in multiple target languages. By successfully developing this system, this article proposes a highly automatic approach for modeling and simulation based design. This approach improves software productivity, reliability and reusability.