Towards the formal verification of lower system layers in automotive systems
S Beyer, P Bohm, M Gerke, M Hillebrand… - … on Computer Design, 2005 - ieeexplore.ieee.org
The mission of the Verisoft project is (i) to develop techniques, which permit the pervasive
formal verification of computer systems comprising hardware, system software,
communication systems, and applications,(ii) to apply these techniques in an industrial
context to verify prototypical systems. One such application is an emergency call, which is
automatically placed on the mobile phone net after the sensors of a car have detected that it
was involved in a crash. The application runs on a system of several electronic control units …
formal verification of computer systems comprising hardware, system software,
communication systems, and applications,(ii) to apply these techniques in an industrial
context to verify prototypical systems. One such application is an emergency call, which is
automatically placed on the mobile phone net after the sensors of a car have detected that it
was involved in a crash. The application runs on a system of several electronic control units …
Towards the Formal Verification of Lower System Layers in Automotive Systems
P Boehm - 2005 - cs.ox.ac.uk
The mission of the Verisoft project is (i) to develop techniques, which permit the pervasive
formal verification of computer systems comprising hardware, system software,
communication systems, and applications,(ii) to apply these techniques in an industrial
context to verify prototypical systems. One such application is an emergency call, which is
automatically placed on the mobile phone net after the sensors of a car have detected that it
was involved in a crash. The application runs on a system of several electronic control units …
formal verification of computer systems comprising hardware, system software,
communication systems, and applications,(ii) to apply these techniques in an industrial
context to verify prototypical systems. One such application is an emergency call, which is
automatically placed on the mobile phone net after the sensors of a car have detected that it
was involved in a crash. The application runs on a system of several electronic control units …
以上显示的是最相近的搜索结果。 查看全部搜索结果