Verification of Temporal Properties in Embedded Software

Verification of Temporal Properties in Embedded Software
Author :
Publisher : Sudwestdeutscher Verlag Fur Hochschulschriften AG
Total Pages : 0
Release :
ISBN-10 : 3838112075
ISBN-13 : 9783838112077
Rating : 4/5 (75 Downloads)

Book Synopsis Verification of Temporal Properties in Embedded Software by : Djones Lettnin

Download or read book Verification of Temporal Properties in Embedded Software written by Djones Lettnin and published by Sudwestdeutscher Verlag Fur Hochschulschriften AG. This book was released on 2009 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: For some years ago the main statement among verification engineers was "Bugs in hardware cost money". Nowadays, the embedded software is playing an important role in the embedded systems industry and the statement can be updated to "Bugs in hardware and in software cost a lot of money". Embedded software is very powerful in embedded systems in order to implement important functionalities and functional innovations. The developing costs of embedded software are becoming huge and its amount in safety critical systems is increasing. Therefore, the verification of complex systems needs to consider the verification of both hardware and embedded software modules. The most commonly used approaches to verify embedded software are based on co- simulation or on co-debugging, which consume long verification time and additionally have coverage limitations. Formal verification assures complete coverage, but is limited to the size of the module that can be verified. This dissertation extends the conventional verification limitations with methodologies that are based on temporal properties and formal verification.


Verification of Temporal Properties in Embedded Software Related Books

Verification of Temporal Properties in Embedded Software
Language: en
Pages: 0
Authors: Djones Lettnin
Categories:
Type: BOOK - Published: 2009 - Publisher: Sudwestdeutscher Verlag Fur Hochschulschriften AG

DOWNLOAD EBOOK

For some years ago the main statement among verification engineers was "Bugs in hardware cost money". Nowadays, the embedded software is playing an important ro
Temporal Verification of Reactive Systems
Language: en
Pages: 525
Authors: Zohar Manna
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is about the verification of reactive systems. A reactive system is a system that maintains an ongoing interaction with its environment, as opposed to
Embedded Software Verification and Debugging
Language: en
Pages: 208
Authors: Djones Lettnin
Categories: Technology & Engineering
Type: BOOK - Published: 2017-04-17 - Publisher: Springer

DOWNLOAD EBOOK

This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applicatio
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles
Language: en
Pages: 608
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2022-10-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of
Embedded Software and Systems
Language: en
Pages: 829
Authors: Yann-Hang Lee
Categories: Computers
Type: BOOK - Published: 2007-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Third International Conference on Embedded Software and Systems, ICESS 2007, held in Daegu, Korea, May 200