Bottom-up Composition and Verification of Embedded Software

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

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