The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - May (2000 vol.33)
pp: 68-75
ABSTRACT
<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>
CITATION
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
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool