Deriving schedules for a smart card personalisation system

Share/Save/Bookmark

Mader, A. (2004) Deriving schedules for a smart card personalisation system. [Report]

open access
[img]
Preview
PDF
251kB
Abstract:We report on an industrial case study on the synthesis of (close) optimal schedules for a smart card personalisation system. The basic technique used is model checking. In most cases, the pure model checking approach has to be enriched by other techniques to fight the state space explosion. Other techniques can consist in adding additional knowledge about a system (discarding "useless" behaviour), or heuristics, or guiding model checking (priced model checking). In this case study we use decomposition as additional technique. We demonstrate the approach and discuss its generalizability.
Item Type:Report
Copyright:© 2004 CTIT
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/48694
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 220406