Formal Verification of Concurrent Embedded Software

by

Write The First Customer Review

Automotive software is mainly concerned with safety critical systems and the functional correctness of the software is very important. Thus static software analysis, being able to detect runtime errors in software, has become a standard in the automotive domain. The most critical runtime error is one which only occurs sporadically and is therefore very difficult to detect and reproduce. The introduction of multicore hardware enables an execution of the software in real parallel. A reason for such an error is e.g., a race ...

Formal Verification of Concurrent Embedded Software 2016, Books on Demand

ISBN-13: 9783739241241

Trade paperback

Select