Model checking embedded system designs


Share/Save/Bookmark

Brinksma, Ed and Mader, Angelika (2002) Model checking embedded system designs. In: Sixth International Workshop on Discrete Event Systems, WODES 2002, 2-4 October 2002, Zaragoza, Spain.

[img]
Preview
PDF
309Kb
Abstract:We survey the basic principles behind the application of model checking to controller verification and synthesis. A promising development is the area of guided model checking, in which the state space search strategy of the model checking algorithm can be influenced to visit more interesting sets of states first. In particular, we discuss how model checking can be combined with heuristic cost functions to guide search strategies. Finally, we list a number of current research developments, especially in the area of reachability analysis for optimal control and related issues.
Item Type:Conference or Workshop Item
Copyright:© 2002 IEEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/38268
Official URL:http://dx.doi.org/10.1109/WODES.2002.1167682
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 209589