You are here: Home :: Area NEM :: Computer science

Peter Jansen

Formal Verification of Specification Models

The complexity of the engine control units used in the automotive industry is heavily increasing. It is necessary to adapt the development process to this fact. One possible solution is the deployment of CASE Tools (e.g. „Statemate“ by the company i-Logix) for generating specifications for the electronic control unit software. To prove the correctness of these specifications, a verification environment developed by OFFIS is available. The present contribution presents experiences made with this verification environment.

it – Information Technology (vormals it+ti), Oldenbourg Wissenschaftsverlag

Print ISSN: 1611-2776
Volume: 43, 01/2001
Pages: 35

Show full article (external site)

Show all available items of this journal

 

Area NEM