Issue No. 05 - May (2000 vol. 33)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/2.841786
<p>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.</p> <p>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.</p> <p>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.</p>
H. R. Andersen et al., "Practical Verification of Embedded Software," in Computer, vol. 33, no. , pp. 68-75, 2000.