Accelerating smart play-out

David Harel, Hillel Kugler, Shahar Maoz, Itai Segall

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

Abstract

Smart play-out is a method for executing declarative scenario-based specifications, which utilizes powerful computation methods to compute safe supersteps, thus helping to avoid violations that may be caused by naïve execution. Major challenges for smart play-out are performance and scalability. In this work we show how to accelerate smart play-out by adapting and applying ideas inspired by formal verification and compiler optimization. Specifically, we present an algorithm that can reduce the size of the specification considered for smart play-out, while maintaining soundness and completeness. Experimental results show significant performance improvements and thus open the way to the application of smart play-out to large scenario-based programs.

Original languageEnglish
Title of host publicationSOFSEM 2010
Subtitle of host publicationTheory and Practice of Computer Science - 36th Conference on Current Trends in Theory and Practice of Computer Science, Proceedings
Pages477-488
Number of pages12
DOIs
StatePublished - 2010
Externally publishedYes
Event36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 - Spindleruv Mlyn, Czech Republic
Duration: 23 Jan 201029 Jan 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5901 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010
Country/TerritoryCzech Republic
CitySpindleruv Mlyn
Period23/01/1029/01/10

Bibliographical note

Funding Information:
This research was partially supported by the John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science, and by an Advanced Research Grant from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007-2013).

Funding

This research was partially supported by the John von Neumann Minerva Center for the Development of Reactive Systems at the Weizmann Institute of Science, and by an Advanced Research Grant from the European Research Council (ERC) under the European Community’s 7th Framework Programme (FP7/2007-2013).

FundersFunder number
European Community’s 7th Framework Programme
John von Neumann Minerva Center for the Development of Reactive Systems
Seventh Framework Programme227631
European Research Council
Weizmann Institute of Science

    Fingerprint

    Dive into the research topics of 'Accelerating smart play-out'. Together they form a unique fingerprint.

    Cite this