Title
Configuration Space Exploration for Digital Printing Systems
Author
Denkers, J. (TU Delft Programming Languages)
Brunner, Marvin (Canon Production Printing B.V.)
van Gool, Louis (Canon Production Printing B.V.)
Visser, Eelco (TU Delft Programming Languages)
Contributor
Calinescu, Radu (editor)
Păsăreanu, Corina S. (editor)
Date
2021
Abstract
Within the printing industry, much of the variety in printed applications comes from the variety in finishing. Finishing comprises the processing of sheets of paper after being printed, e.g. to form books. The configuration space of finishers, i.e. all possible configurations given the available features and hardware capabilities, are large. Current control software minimally assists operators in finding useful configurations. Using a classical modelling and integration approach to support a variety of configuration spaces is suboptimal with respect to operatability, development time, and maintenance burden. In this paper, we explore the use of a modeling language for finishers to realize optimizing decision making over configuration parameters in a systematic way and to reduce development time by generating control software from models. We present CSX, a domain-specific language for high-level declarative specification of finishers that supports specification of the configuration parameters and the automated exploration of the configuration space of finishers. The language serves as an interface to constraint solving, i.e., we use low-level SMT constraint solving to find configurations for high-level specifications. We present a denotational semantics that expresses a translation of CSX specifications to SMT constraints. We describe the implementation of the CSX compiler and the CSX programming environment (IDE), which supports well-formedness checking, inhabitance checking, and interactive configuration space exploration. We evaluate CSX by modelling two realistic finishers. Benchmarks show that CSX has practical performance (<1s) for several scenarios of configuration space exploration.
To reference this document use:
http://resolver.tudelft.nl/uuid:07a9b97f-c4c5-4529-af4d-8d1b331b58b5
DOI
https://doi.org/10.1007/978-3-030-92124-8_24
Publisher
Springer
ISBN
978-3-030-92123-1
Source
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Proceedings: 19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Event
19th International Conference on
Software Engineering and Formal Methods, 2021-12-06 → 2021-12-10, Virtual
Series
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 0302-9743, 13085 LNCS
Part of collection
Institutional Repository
Document type
conference paper
Rights
© 2021 J. Denkers, Marvin Brunner, Louis van Gool, Eelco Visser