Tsiskaridze, N., Strange, M., Mann, M., Sreedhar, K., Liu, Q., Horowitz, M., & Barrett, C. (2021). Automating System Configuration. In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021 (pp. 103–111). TU Wien Academic Press. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_19
E192-04 - Forschungsbereich Formal Methods in Systems Engineering
-
Series:
Conference Series: Formal Methods in Computer-Aided Design
-
Published in:
Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021
-
Date (published):
Oct-2021
-
Number of Pages:
9
-
Publisher:
TU Wien Academic Press, Wien
-
Peer reviewed:
Yes
-
Keywords:
formal method
en
formale Methode
de
Abstract:
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.
CC BY 4.0
