Towards tight interaction of ASP and SMT solving for system-level decision making

ARCS 2014 - 2014 Workshop Proceedings on Architecture of Computing Systems

Volumn , Issue , 2014, Pages

  Biewer, Alexander ^a   Gladigau, Jens ^a   Haubelt, Christian ^b  

^a ROBERT BOSCH GMBH   (Germany)

^b UNIVERSITY OF ROSTOCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DECISION MAKING; DISTRIBUTED COMPUTER SYSTEMS; EMBEDDED SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; LOGIC PROGRAMMING; MEMORY ARCHITECTURE; NETWORK ARCHITECTURE; NETWORK-ON-CHIP; SCHEDULING;

ANSWER SET PROGRAMMING; CUSTOMER DEMANDS; DECISIONS MAKINGS; EMBEDDED REAL TIME SYSTEMS; MANY-CORE ARCHITECTURE; PERFORMANCE; SATISFIABILITY MODULO THEORIES; SCALABLE SOLUTION; SOFTWARE EXECUTION; SYSTEM LEVEL DECISIONS;

REAL TIME SYSTEMS;

EID: 84995513317     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. T. Bjerregaard and S. Mahadevan, "A Survey of Research and Practices of Network-on-Chip," ACM Comput. Surv., vol. 38, no. 1, 2006.
2. A. Gerstlauer, C. Haubelt, A. D. Pimentel, T. Stefanov, D. D. Gajski, and J. Teich, "Electronic System-Level Synthesis Methodologies," IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 28, no. 10, pp. 1517-1530, 2009.
3. A. Biewer, J. Gladigau, and C. Haubelt, "A Novel Model for System- Level Decision Making with Combined ASP and SMT Solving," to be published in Proc. of DATE, 2014.
4. B. Andres, M. Gebser, T. Schaub, C. Haubelt, F. Reimann, and M. Glaß, "Symbolic System Synthesis Using Answer Set Programming," in Proc. of LPNMR, 2013, pp. 79-91.
5. M. Lukasiewycz and S. Chakraborty, "Concurrent Architecture and Schedule Optimization of Time-Triggered Automotive Systems," in Proc. of CODES+ISSS, 2012, pp. 383-392.
6. F. Reimann, M. Glaß, C. Haubelt, M. Eberl, and J. Teich, "Improving Platform-Based System Synthesis by Satisfiability Modulo Theories Solving," in Proc. of CODES+ISSS, 2010, pp. 135-144.
7. F. Reimann, M. Lukasiewycz, M. Glaß, C. Haubelt, and J. Teich, "Symbolic System Synthesis in the Presence of Stringent Real-Time Constraints," in Proc. of DAC, 2011, pp. 393-398.
8. C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, 2003.
9. M. Gebser, B. Kaufmann, and T. Schaub, "Conflict-Driven Answer Set Solving: From Theory to Practice," Artificial Intelligence, vol. 187188, no. 0, pp. 52-89, 2012.
10. M. Gebser, R. Kaminski, A. König, and T. Schaub, "Advances in gringo Series 3," in Proc. of LPNMR, 2011, pp. 345-351.
11. C. W. Barrett, R. Sebastiani, S. A. Seshia, and C. Tinelli, "Satisfiability Modulo Theories," in Handbook of Satisfiability, 2009, vol. 185, pp. 825-885.
12. P. Kumar, D. B. Chokshi, and L. Thiele, "A Satisfiability Approach to Speed Assignment for Distributed Real-Time Systems," in Proc. of DATE, 2013, pp. 749-754.