Bottom-up Composition and Verification of Embedded Software
نویسندگان
چکیده
منابع مشابه
Verification of Embedded Software: Problems
Computer aided formal methods have been very successful for the verification or at least enhanced debugging of hardware. The cost of correction of a hardware bug is huge enough to justify high investments in alternatives to testing such as correctness verification. This is not the case for software for which bugs are a quite common situation which can be easily handled through online updates. H...
متن کاملPractical Verification of Embedded Software
A dvances in processor speed, memory capacities , sensors, and peripherals have enabled the inexpensive fabrication of sophisticated products ranging from 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 cycl...
متن کاملVerification of Embedded Control Software
Embedded control software is ubiquitous nowadays. It is a significant component of, for instance, home appliances, cars, and medical devices. As the uses of software increase in our daily life, the importance of its correctness increases as well. At the same time, expectations for embedded control software are usually higher than for desktop applications, making correctness a crucial problem in...
متن کاملControlled composition and abstraction for bottom-up integration and verification of abstract components
Please cite this article in press as: Y. Choi, M. Ki nents, Inform. Softw. Technol. (2011), doi:10.10 This work proposes a method for improving the scalability of model-checking compositions in the bottom-up construction of abstract components. The approach uses model checking in the model construction process for testing the composite behaviors of components, including process deadlock and inc...
متن کاملVerification of Embedded Software: Problems and Perspectives
Computer aided formal methods have been very successful for the verification or at least enhanced debugging of hardware. The cost of correction of a hardware bug is huge enough to justify high investments in alternatives to testing such as correctness verification. This is not the case for software for which bugs are a quite common situation which can be easily handled through online updates. H...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The KIPS Transactions:PartD
سال: 2010
ISSN: 1598-2866
DOI: 10.3745/kipstd.2010.17d.6.415