Simulation approach to embedded system programming and testing

We describe how simulation using production code can help in achieving higher quality software while reducing the effort associated with embedded application development. The recommended steps in developing embedded safety-critical software are outlined, and the issues of proper verification of the simulation models are discussed in detail. The feasibility of the approach is shown on a case study of a brake-by-wire application development.