Filtern
Volltext vorhanden
- nein (1)
Erscheinungsjahr
- 2017 (1) (entfernen)
Dokumenttyp
- Sonstiges (1)
Sprache
- Englisch (1)
Gehört zur Bibliographie
- ja (1)
Institut
- Sozialwissenschaften (1) (entfernen)
The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system synthesis. However, this approach still has several restrictions limiting its applicability. In the paper at hand, we propose a novel ASP modulo Theories (ASPmT) system synthesis approach, which (i) supports more sophisticated system models, (ii) tightly integrates the QF-IDL solving into the ASP solving, and (iii) makes use of partial assignment checking. As a result, more realistic systems are considered and an early exclusion of infeasible solutions improves the entire system synthesis.