“Automating System Configuration” by Nestan Tsiskaridze, Maxwell Strange, Makai Mann, Kavya Sreedhar, Qiaoyi Liu, Mark Horowitz, and Clark Barrett. In Proceedings of the 21^st International Conference on Formal Methods In Computer-Aided Design (FMCAD '21), (Ruzica Piskac and Michael W. Whalen, eds.), Oct. 2021, pp. 102-111.
The increasing complexity of modern confgurable systems makes it critical to improve the level of automation in the process of system confguration. Such automation can also improve the agility of the development cycle, allowing for rapid and automated integration of decoupled workfows. In this paper, we present a new framework for automated confguration of systems representable as state machines. The framework leverages model checking and satisfability 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 confgurations that are best according to some metric and also more likely to be understandable to humans. We showcase this framework and its fexibility by using it to confgure a CGRA memory tile for various image processing applications.
BibTeX entry:
@inproceedings{TSM+21,
author = {Nestan Tsiskaridze and Maxwell Strange and Makai Mann and
Kavya Sreedhar and Qiaoyi Liu and Mark Horowitz and Clark
Barrett},
editor = {Ruzica Piskac and Michael W. Whalen},
title = {Automating System Configuration},
booktitle = {Proceedings of the {\it 21^{st}} International Conference
on Formal Methods In Computer-Aided Design (FMCAD '21)},
pages = {102--111},
publisher = {TU Wien Academic Press},
month = oct,
year = {2021},
doi = {10.34727/2021/isbn.978-3-85448-046-4_19},
url = {http://theory.stanford.edu/~barrett/pubs/TSM+21.pdf}
}
(This webpage was created with bibtex2web.)