The Community for Technology Leaders
Green Image
<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>
Henrik Reif Andersen, Niels Bo Theilgaard, Kåre Kristoffersen, Jørgen Staunstrup, Gerd Behrmann, Arne Skou, Jørn Lind-Nielsen, Henrik Hulgaard, Kim G. Larsen, Henrik Leerberg, "Practical Verification of Embedded Software", Computer, vol. 33, no. , pp. 68-75, May 2000, doi:10.1109/2.841786
110 ms
(Ver 3.1 (10032016))