Accelerating Smart Play-Out

David Harel; Hillel Kugler; Shahar Maoz; Itai Segall

Accelerating Smart Play-Out

David Harel, Hillel Kugler, Shahar Maoz, Itai Segall

Bar-Ilan University - The Alexander Kofkin Faculty of Engineering

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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 language	American English
Title of host publication	36th Conference on Current Trends in Theory and Practice of Computer Science
Editors	Jan van Leeuwen, Anca Muscholl, David Peleg, Jaroslav Pokorný, Bernhard Rumpe
Publisher	Springer Berlin Heidelberg
State	Published - 2010

Bibliographical note

Place of conference:Czech Republic

Cite this

@inproceedings{d48d7506c07d4681a8b96ad7e3a89476,

title = "Accelerating Smart Play-Out",

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{\"i}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.",

author = "David Harel and Hillel Kugler and Shahar Maoz and Itai Segall",

note = "Place of conference:Czech Republic",

year = "2010",

language = "American English",

editor = "Leeuwen, {Jan van} and Anca Muscholl and David Peleg and Jaroslav Pokorn{\'y} and Bernhard Rumpe",

booktitle = "36th Conference on Current Trends in Theory and Practice of Computer Science",

publisher = "Springer Berlin Heidelberg",

}

Accelerating Smart Play-Out. / Harel, David; Kugler, Hillel; Maoz, Shahar et al.
36th Conference on Current Trends in Theory and Practice of Computer Science. ed. / Jan van Leeuwen; Anca Muscholl; David Peleg; Jaroslav Pokorný; Bernhard Rumpe. Springer Berlin Heidelberg, 2010.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Accelerating Smart Play-Out

AU - Harel, David

AU - Kugler, Hillel

AU - Maoz, Shahar

AU - Segall, Itai

N1 - Place of conference:Czech Republic

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

UR - https://scholar.google.co.il/scholar?q=Accelerating+Smart+Play-Out+&btnG=&hl=en&as_sdt=0%2C5

M3 - Conference contribution

BT - 36th Conference on Current Trends in Theory and Practice of Computer Science

A2 - Leeuwen, Jan van

A2 - Muscholl, Anca

A2 - Peleg, David

A2 - Pokorný, Jaroslav

A2 - Rumpe, Bernhard

PB - Springer Berlin Heidelberg

ER -

Accelerating Smart Play-Out

Abstract

Bibliographical note

Other files and links

Fingerprint

Cite this