<div class="csl-bib-body">
<div class="csl-entry">Tsiskaridze, N., Strange, M., Mann, M., Sreedhar, K., Liu, Q., Horowitz, M., & Barrett, C. (2021). Automating System Configuration. In <i>Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021</i> (pp. 103–111). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_19</div>
</div>
The increasing complexity of modern configurable
systems makes it critical to improve the level of automation
in the process of system configuration. Such automation can
also improve the agility of the development cycle, allowing
for rapid and automated integration of decoupled workflows.
In this paper, we present a new framework for automated
configuration of systems representable as state machines. The
framework leverages model checking and satisfiability modulo
theories (SMT) and can be applied to any application domain
representable using SMT formulas. Our approach can also be
applied modularly, improving its scalability. Furthermore, we
show how optimization can be used to produce configurations
that are best according to some metric and also more likely to
be understandable to humans. We showcase this framework and
its flexibility by using it to configure a CGRA memory tile for
various image processing applications.
en
dc.language.iso
en
-
dc.rights.uri
http://creativecommons.org/licenses/by/4.0/
-
dc.subject
formal method
en
dc.subject
formale Methode
de
dc.title
Automating System Configuration
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.rights.license
Creative Commons Namensnennung 4.0 International
de
dc.rights.license
Creative Commons Attribution 4.0 International
en
dc.identifier.doi
10.34727/2021/isbn.978-3-85448-046-4_19
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.contributor.affiliation
Stanford University, United States of America (the)
-
dc.relation.isbn
978-3-85448-046-4
-
dc.relation.doi
10.34727/2021/isbn.978-3-85448-046-4
-
dc.description.volume
2
-
dc.description.startpage
103
-
dc.description.endpage
111
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
2708-7824
-
tuw.booktitle
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
-
tuw.peerreviewed
true
-
tuw.relation.haspart
10.34727/2021/isbn.978-3-85448-046-4
-
tuw.relation.publisher
TU Wien Academic Press
-
tuw.relation.publisherplace
Wien
-
tuw.book.chapter
19
-
tuw.publication.orgunit
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
dc.identifier.libraryid
AC17204525
-
dc.description.numberOfPages
9
-
tuw.relation.ispartoftuwseries
Conference Series: Formal Methods in Computer-Aided Design
