This Article 
 Bibliographic References 
 Add to: 
Practical Verification of Embedded Software
May 2000 (vol. 33 no. 5)
pp. 68-75

Advances in processor speed, memory capacities, sensors, and peripherals have enabled the inexpensive fabrication of sophisticated products. They range from simple controllers in applications such as mobile phones and hi-fi equipment to highly complex software in cars and airplanes. Unfortunately, the lack of good design methods and tools is a major bottleneck in the development of these products, particularly those with a short life cycle such as consumer electronics and household appliances.

Developing embedded software for large, complicated applications requires models that are both intellectually manageable and physically realizable. Choosing a modeling technique is a compromise between conflicting goals. Models must not only be easy to comprehend and construct, but they also must be practicable and provide platforms for analysis.

Using a new verification algorithm called the compositional backward technique, the authors demonstrate that they can exhaustively verify even the largest industrial applications-- comprising more than 1,000 components--in a few minutes on a standard PC.

Jørgen Staunstrup, Henrik Reif Andersen, Henrik Hulgaard, Jørn Lind-Nielsen, Kim G. Larsen, Gerd Behrmann, Kåre Kristoffersen, Arne Skou, Henrik Leerberg, Niels Bo Theilgaard, "Practical Verification of Embedded Software," Computer, vol. 33, no. 5, pp. 68-75, May 2000, doi:10.1109/2.841786
Usage of this product signifies your acceptance of the Terms of Use.