On high-quality synthesis

Orna Kupferman

doi:10.1007/978-3-319-34171-2_1

On high-quality synthesis

Orna Kupferman^*

^*Corresponding author for this work

The Rachel and Selim Benin School of Engineering and Computer Science

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

5 Scopus citations

Abstract

In the synthesis problem, we are given a specification ψ over input and output signals, and we synthesize a system that realizes ψ: with every sequence of input signals, the system associates a sequence of output signals so that the generated computation satisfies ψ. The above classical formulation of the problem is Boolean. First, correctness is Boolean: a computation satisfies the specification ψ or does not satisfy it. Then, other important and interesting measures like the size of the synthesized system, its robustness, price, and so on, are ignored. The paper surveys recent efforts to address and formalize different aspects of quality of synthesized systems. We start with multi-valued specification formalisms, which refine the notion of correctness and enable the designer to specify quality, and continue to the quality measure of sensing: the detail in which the inputs should be read in order to generate a correct computation. The first part is based on the articles [1-3]. The second part is based on [4,5].

Original language	English
Title of host publication	Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings
Editors	Gerhard J. Woeginger, Alexander S. Kulikov
Publisher	Springer Verlag
Pages	1-15
Number of pages	15
ISBN (Print)	9783319341705
DOIs	https://doi.org/10.1007/978-3-319-34171-2_1
State	Published - 2016
Event	11th International Computer Science Symposium in Russia, CSR 2016 - St. Petersburg, Russian Federation Duration: 9 Jun 2016 → 13 Jun 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9691
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	11th International Computer Science Symposium in Russia, CSR 2016
Country/Territory	Russian Federation
City	St. Petersburg
Period	9/06/16 → 13/06/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2016.

Access to Document

10.1007/978-3-319-34171-2_1

Cite this

Kupferman, O. (2016). On high-quality synthesis. In G. J. Woeginger, & A. S. Kulikov (Eds.), Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings (pp. 1-15). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9691). Springer Verlag. https://doi.org/10.1007/978-3-319-34171-2_1

Kupferman, Orna. / On high-quality synthesis. Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. editor / Gerhard J. Woeginger ; Alexander S. Kulikov. Springer Verlag, 2016. pp. 1-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a14dcbf2c92f46bfba39e4cbf08b98da,

title = "On high-quality synthesis",

abstract = "In the synthesis problem, we are given a specification ψ over input and output signals, and we synthesize a system that realizes ψ: with every sequence of input signals, the system associates a sequence of output signals so that the generated computation satisfies ψ. The above classical formulation of the problem is Boolean. First, correctness is Boolean: a computation satisfies the specification ψ or does not satisfy it. Then, other important and interesting measures like the size of the synthesized system, its robustness, price, and so on, are ignored. The paper surveys recent efforts to address and formalize different aspects of quality of synthesized systems. We start with multi-valued specification formalisms, which refine the notion of correctness and enable the designer to specify quality, and continue to the quality measure of sensing: the detail in which the inputs should be read in order to generate a correct computation. The first part is based on the articles [1-3]. The second part is based on [4,5].",

author = "Orna Kupferman",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 11th International Computer Science Symposium in Russia, CSR 2016 ; Conference date: 09-06-2016 Through 13-06-2016",

year = "2016",

doi = "10.1007/978-3-319-34171-2_1",

language = "אנגלית",

isbn = "9783319341705",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "1--15",

editor = "Woeginger, {Gerhard J.} and Kulikov, {Alexander S.}",

booktitle = "Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings",

address = "גרמניה",

}

Kupferman, O 2016, On high-quality synthesis. in GJ Woeginger & AS Kulikov (eds), Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9691, Springer Verlag, pp. 1-15, 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russian Federation, 9/06/16. https://doi.org/10.1007/978-3-319-34171-2_1

On high-quality synthesis. / Kupferman, Orna.
Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. ed. / Gerhard J. Woeginger; Alexander S. Kulikov. Springer Verlag, 2016. p. 1-15 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9691).

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

TY - GEN

T1 - On high-quality synthesis

AU - Kupferman, Orna

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - In the synthesis problem, we are given a specification ψ over input and output signals, and we synthesize a system that realizes ψ: with every sequence of input signals, the system associates a sequence of output signals so that the generated computation satisfies ψ. The above classical formulation of the problem is Boolean. First, correctness is Boolean: a computation satisfies the specification ψ or does not satisfy it. Then, other important and interesting measures like the size of the synthesized system, its robustness, price, and so on, are ignored. The paper surveys recent efforts to address and formalize different aspects of quality of synthesized systems. We start with multi-valued specification formalisms, which refine the notion of correctness and enable the designer to specify quality, and continue to the quality measure of sensing: the detail in which the inputs should be read in order to generate a correct computation. The first part is based on the articles [1-3]. The second part is based on [4,5].

AB - In the synthesis problem, we are given a specification ψ over input and output signals, and we synthesize a system that realizes ψ: with every sequence of input signals, the system associates a sequence of output signals so that the generated computation satisfies ψ. The above classical formulation of the problem is Boolean. First, correctness is Boolean: a computation satisfies the specification ψ or does not satisfy it. Then, other important and interesting measures like the size of the synthesized system, its robustness, price, and so on, are ignored. The paper surveys recent efforts to address and formalize different aspects of quality of synthesized systems. We start with multi-valued specification formalisms, which refine the notion of correctness and enable the designer to specify quality, and continue to the quality measure of sensing: the detail in which the inputs should be read in order to generate a correct computation. The first part is based on the articles [1-3]. The second part is based on [4,5].

UR - http://www.scopus.com/inward/record.url?scp=84977469456&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-34171-2_1

DO - 10.1007/978-3-319-34171-2_1

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84977469456

SN - 9783319341705

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 1

EP - 15

BT - Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings

A2 - Woeginger, Gerhard J.

A2 - Kulikov, Alexander S.

PB - Springer Verlag

T2 - 11th International Computer Science Symposium in Russia, CSR 2016

Y2 - 9 June 2016 through 13 June 2016

ER -

Kupferman O. On high-quality synthesis. In Woeginger GJ, Kulikov AS, editors, Computer Science - Theory and Applications - 11th International Computer Science Symposium in Russia, CSR 2016, Proceedings. Springer Verlag. 2016. p. 1-15. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-34171-2_1

On high-quality synthesis

Abstract

Publication series

Conference

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this