Skip to main content

Lund University Publications

LUND UNIVERSITY LIBRARIES

Constraint programming in embedded systems design : Considered helpful

Kuchcinski, Krzysztof LU orcid (2019) In Microprocessors and Microsystems 69. p.24-34
Abstract

Embedded systems are built for specific purposes and are optimized to meet different kind of constraints, such as performance, timing, power and cost. The design process therefore involves different optimization activities. In this paper, we discuss the use of constraint programming (CP) technology for these optimization problems. The main advantages and disadvantages of applying CP to embedded system design problems are discussed on two examples, scheduling and mapping. Based on these examples modelling capabilities of CP and basic solving methods are discussed. We have identified CP modelling capability as an important factor for problem formalization and their uniform representation. We have also, using several experiments, show... (More)

Embedded systems are built for specific purposes and are optimized to meet different kind of constraints, such as performance, timing, power and cost. The design process therefore involves different optimization activities. In this paper, we discuss the use of constraint programming (CP) technology for these optimization problems. The main advantages and disadvantages of applying CP to embedded system design problems are discussed on two examples, scheduling and mapping. Based on these examples modelling capabilities of CP and basic solving methods are discussed. We have identified CP modelling capability as an important factor for problem formalization and their uniform representation. We have also, using several experiments, show efficiency of the models and solving process. Finally, we have also pointed out difficulties with CP technology that are mostly related to search methods that, for more realistic problems, must be carefully selected or even new methods must be developed.

(Less)
Please use this url to cite or link to this publication:
author
organization
publishing date
type
Contribution to journal
publication status
published
subject
keywords
Constraint programming, Mapping, Optimization, Scheduling, System-level design
in
Microprocessors and Microsystems
volume
69
pages
11 pages
publisher
Elsevier
external identifiers
  • scopus:85066402176
ISSN
0141-9331
DOI
10.1016/j.micpro.2019.05.012
language
English
LU publication?
yes
id
67d5eb17-0d18-40f1-b82c-e7b10836ac31
date added to LUP
2019-06-10 12:15:06
date last changed
2022-05-11 18:14:51
@article{67d5eb17-0d18-40f1-b82c-e7b10836ac31,
  abstract     = {{<p>Embedded systems are built for specific purposes and are optimized to meet different kind of constraints, such as performance, timing, power and cost. The design process therefore involves different optimization activities. In this paper, we discuss the use of constraint programming (CP) technology for these optimization problems. The main advantages and disadvantages of applying CP to embedded system design problems are discussed on two examples, scheduling and mapping. Based on these examples modelling capabilities of CP and basic solving methods are discussed. We have identified CP modelling capability as an important factor for problem formalization and their uniform representation. We have also, using several experiments, show efficiency of the models and solving process. Finally, we have also pointed out difficulties with CP technology that are mostly related to search methods that, for more realistic problems, must be carefully selected or even new methods must be developed.</p>}},
  author       = {{Kuchcinski, Krzysztof}},
  issn         = {{0141-9331}},
  keywords     = {{Constraint programming; Mapping; Optimization; Scheduling; System-level design}},
  language     = {{eng}},
  month        = {{09}},
  pages        = {{24--34}},
  publisher    = {{Elsevier}},
  series       = {{Microprocessors and Microsystems}},
  title        = {{Constraint programming in embedded systems design : Considered helpful}},
  url          = {{http://dx.doi.org/10.1016/j.micpro.2019.05.012}},
  doi          = {{10.1016/j.micpro.2019.05.012}},
  volume       = {{69}},
  year         = {{2019}},
}