Towards Verified Systems

Towards Verified Systems
Author :
Publisher : Elsevier
Total Pages : 323
Release :
ISBN-10 : 9781483291529
ISBN-13 : 1483291529
Rating : 4/5 (529 Downloads)

Book Synopsis Towards Verified Systems by : J. Bowen

Download or read book Towards Verified Systems written by J. Bowen and published by Elsevier. This book was released on 2013-10-22 with total page 323 pages. Available in PDF, EPUB and Kindle. Book excerpt: As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially for safety-critical applications where human lives are at stake. The use of software in such systems has increased enormously in the last decade. Formal methods, based on firm mathematical foundations, provide one means to help with reducing the risk of introducing errors during specification and development. There is currently much interest in both academic and industrial circles concerning the issues involved, but the techniques still need further investigation and promulgation to make their widespread use a reality. This book presents results of research into techniques to aid the formal verification of mixed hardware/software systems. Aspects of system specification and verification from requirements down to the underlying hardware are addressed, with particular regard to real-time issues. The work presented is largely based around the Occam programming language and Transputer microprocessor paradigm. The HOL theorem prover, based on higher order logic, has mainly been used in the application of machine-checked proofs. The book describes research work undertaken on the collaborative UK DTI/SERC-funded Information Engineering Dictorate Safemos project. The partners were Inmos Ltd., Cambridge SRI, the Oxford University Computing Laboratory and the University of Cambridge Computer Laboratory, who investigated the problems of formally verifying embedded systems. The most important results of the project are presented in the form of a series of interrelated chapters by project members and associated personnel. In addition, overviews of two other ventures with similar objectives are included as appendices. The material in this book is intended for computing science researchers and advanced industrial practitioners interested in the application of formal methods to real-time safety-critical systems at all levels of abstraction from requirements to hardware. In addition, material of a more general nature is presented, which may be of interest to managers in charge of projects applying formal methods, especially for safety-critical-systems, and others who are considering their use.


Towards Verified Systems Related Books

Towards Verified Systems
Language: en
Pages: 323
Authors: J. Bowen
Categories: Computers
Type: BOOK - Published: 2013-10-22 - Publisher: Elsevier

DOWNLOAD EBOOK

As the complexity of embedded computer-controlled systems increases, the present industrial practice for their development gives cause for concern, especially f
Formal Methods and Software Engineering
Language: en
Pages: 693
Authors: Jin Song Dong
Categories: Computers
Type: BOOK - Published: 2003-10-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Language: en
Pages: 661
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2014-09-26 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods,
Computer Aided Verification
Language: en
Pages: 737
Authors: Ahmed Bouajjani
Categories: Computers
Type: BOOK - Published: 2009-06-19 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 21st International Conference on Computer Aided Verification, CAV 2009, held in Grenoble, France, in June/
An Algebraic Approach to Compiler Design
Language: en
Pages: 204
Authors: Augusto Sampaio
Categories: Computers
Type: BOOK - Published: 1997-04-19 - Publisher: World Scientific

DOWNLOAD EBOOK

This book investigates the design of compilers for procedural languages, based on the algebraic laws which these languages satisfy. The particular strategy adop