---
_id: '48856'
abstract:
- lang: eng
  text: There exist many optimal or heuristic priority rules for machine scheduling
    problems, which can easily be integrated into single-objective evolutionary algorithms
    via mutation operators. However, in the multi-objective case, simultaneously applying
    different priorities for different objectives may cause severe disruptions in
    the genome and may lead to inferior solutions. In this paper, we combine an existing
    mutation operator concept with new insights from detailed observation of the structure
    of solutions for multi-objective machine scheduling problems. This allows the
    comprehensive integration of priority rules to produce better Pareto-front approximations.
    We evaluate the extended operator concept compared to standard swap mutation and
    the stand-alone components of our hybrid scheme, which performs best in all evaluated
    cases.
author:
- first_name: Jakob
  full_name: Bossek, Jakob
  id: '102979'
  last_name: Bossek
  orcid: 0000-0002-4121-4668
- first_name: Christian
  full_name: Grimme, Christian
  last_name: Grimme
citation:
  ama: 'Bossek J, Grimme C. An Extended Mutation-Based Priority-Rule Integration Concept
    for Multi-Objective Machine Scheduling. In: <i>2017 IEEE Symposium Series on Computational
    Intelligence (SSCI)</i>. ; 2017:1–8. doi:<a href="https://doi.org/10.1109/SSCI.2017.8285224">10.1109/SSCI.2017.8285224</a>'
  apa: Bossek, J., &#38; Grimme, C. (2017). An Extended Mutation-Based Priority-Rule
    Integration Concept for Multi-Objective Machine Scheduling. <i>2017 IEEE Symposium
    Series on Computational Intelligence (SSCI)</i>, 1–8. <a href="https://doi.org/10.1109/SSCI.2017.8285224">https://doi.org/10.1109/SSCI.2017.8285224</a>
  bibtex: '@inproceedings{Bossek_Grimme_2017, title={An Extended Mutation-Based Priority-Rule
    Integration Concept for Multi-Objective Machine Scheduling}, DOI={<a href="https://doi.org/10.1109/SSCI.2017.8285224">10.1109/SSCI.2017.8285224</a>},
    booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek,
    Jakob and Grimme, Christian}, year={2017}, pages={1–8} }'
  chicago: Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule
    Integration Concept for Multi-Objective Machine Scheduling.” In <i>2017 IEEE Symposium
    Series on Computational Intelligence (SSCI)</i>, 1–8, 2017. <a href="https://doi.org/10.1109/SSCI.2017.8285224">https://doi.org/10.1109/SSCI.2017.8285224</a>.
  ieee: 'J. Bossek and C. Grimme, “An Extended Mutation-Based Priority-Rule Integration
    Concept for Multi-Objective Machine Scheduling,” in <i>2017 IEEE Symposium Series
    on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi: <a href="https://doi.org/10.1109/SSCI.2017.8285224">10.1109/SSCI.2017.8285224</a>.'
  mla: Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule
    Integration Concept for Multi-Objective Machine Scheduling.” <i>2017 IEEE Symposium
    Series on Computational Intelligence (SSCI)</i>, 2017, pp. 1–8, doi:<a href="https://doi.org/10.1109/SSCI.2017.8285224">10.1109/SSCI.2017.8285224</a>.
  short: 'J. Bossek, C. Grimme, in: 2017 IEEE Symposium Series on Computational Intelligence
    (SSCI), 2017, pp. 1–8.'
date_created: 2023-11-14T15:58:54Z
date_updated: 2023-12-13T10:44:36Z
department:
- _id: '819'
doi: 10.1109/SSCI.2017.8285224
extern: '1'
keyword:
- Evolutionary computation
- Processor scheduling
- Schedules
- Scheduling
- Sociology
- Standards
- Statistics
language:
- iso: eng
page: 1–8
publication: 2017 IEEE Symposium Series on Computational Intelligence (SSCI)
publication_status: published
status: public
title: An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective
  Machine Scheduling
type: conference
user_id: '102979'
year: '2017'
...
---
_id: '37009'
abstract:
- lang: eng
  text: Today, mobile and embedded real time systems have to cope with the migration
    and allocation of multiple software tasks running on top of a real time operating
    system (RTOS) residing on one or several processors. For scaling of each task
    set and processor configuration, instruction set simulation and worst case timing
    analysis are typically applied. This paper presents a complementary approach for
    the verification of RTOS properties based on an abstract RTOS-Model in SystemC.
    We apply IEEE P1850 PSL for which we present an approach and first experiences
    for the assertion-based verification of RTOS properties.
author:
- first_name: Marcio F. S.
  full_name: Oliveira, Marcio F. S.
  last_name: Oliveira
- first_name: Henning
  full_name: Zabel, Henning
  last_name: Zabel
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties.
    In: <i>Proceedings of DATE’10</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>'
  apa: Oliveira, M. F. S., Zabel, H., &#38; Müller, W. (2010). Assertion-Based Verification
    of RTOS Properties. <i>Proceedings of DATE’10</i>. 2010 Design, Automation &#38;
    Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457130">https://doi.org/10.1109/DATE.2010.5457130</a>
  bibtex: '@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based
    Verification of RTOS Properties}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio
    F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }'
  chicago: 'Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based
    Verification of RTOS Properties.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE,
    2010. <a href="https://doi.org/10.1109/DATE.2010.5457130">https://doi.org/10.1109/DATE.2010.5457130</a>.'
  ieee: 'M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification
    of RTOS Properties,” presented at the 2010 Design, Automation &#38; Test in Europe
    Conference &#38; Exhibition (DATE 2010), Dresden, 2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>.'
  mla: Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5457130">10.1109/DATE.2010.5457130</a>.
  short: 'M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE,
    Dresden, 2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:15:10Z
date_updated: 2023-01-17T09:15:18Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457130
keyword:
- Operating systems
- Real time systems
- Timing
- Hardware
- Analytical models
- Embedded software
- Software systems
- Processor scheduling
- Software performance
- Performance analysis
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: Assertion-Based Verification of RTOS Properties
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '39526'
abstract:
- lang: eng
  text: The main goal of the article is to evaluate the suitability of visual programming
    languages, i.e., Pictorial Janus (K. Kahn and V. Saraswat, 1990), for the modeling
    of complex systems and their control strategies. These systems can be seen as
    networks of communicating objects. Objects select strategies for suitable actions
    based on incoming messages. Our field of investigation is in computer integrated
    manufacturing considering the example of a car manufacturing cell. This color
    sorting assembly buffer (CSAB) schedules jobs in queues. The jobs represent car
    bodies scheduled in feeder lines for the enameling. Feeder lines collect raw bodies
    to blocks. Blocks are bodies which are to be enameled by the same color. This
    organization decreases the cost of expensive change-over-times when changing colors
    at the enamelling. Blocks of bodies are dislocated from the queue and enameled
    successively. Contradictory system goals, such as minimizing color changes and
    preserving the sequence of incoming jobs, have to be regarded by appropriate control
    strategies. Due to the complexity of this (NP complete) problem and to real time
    requirements for online control there are no optimal strategies on hand. Consequently,
    suitable heuristics have to be developed. Often they are designed applying a trial-and-error
    method. A modeling framework has to support the rapid prototyping of these systems
    as well as an expressive end user oriented representation. Both are essential
    requirements since end users need other visualization techniques than experienced
    designers due to their different knowledge and interests.
author:
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: R.
  full_name: Hunstock, R.
  last_name: Hunstock
- first_name: Georg
  full_name: Lehrenfeld, Georg
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: 'J. '
  full_name: 'Quintanilla, J. '
  last_name: Quintanilla
- first_name: 'C. '
  full_name: 'Tahedl, C. '
  last_name: Tahedl
- first_name: A.
  full_name: Weber, A.
  last_name: Weber
citation:
  ama: 'Geiger C, Hunstock R, Lehrenfeld G, et al. Visual Modeling and 3D-Representation
    with a Complete Visual Programming Language --- A Case Study in Manufacturing.
    In: <i>Proceedings of the 1996 IEEE Symposium on Visual Languages</i>. ; 1996.
    doi:<a href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>'
  apa: Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl,
    C., &#38; Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing. <i>Proceedings
    of the 1996 IEEE Symposium on Visual Languages</i>. <a href="https://doi.org/10.1109/VL.1996.545302">https://doi.org/10.1109/VL.1996.545302</a>
  bibtex: '@inproceedings{Geiger_Hunstock_Lehrenfeld_Müller_Quintanilla_Tahedl_Weber_1996,
    place={Boulder, CO, USA}, title={Visual Modeling and 3D-Representation with a
    Complete Visual Programming Language --- A Case Study in Manufacturing}, DOI={<a
    href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>}, booktitle={Proceedings
    of the 1996 IEEE Symposium on Visual Languages}, author={Geiger, Christian and
    Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang and Quintanilla, J.  and
    Tahedl, C.  and Weber, A.}, year={1996} }'
  chicago: Geiger, Christian, R. Hunstock, Georg Lehrenfeld, Wolfgang Müller, J.  Quintanilla,
    C.  Tahedl, and A. Weber. “Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing.” In <i>Proceedings
    of the 1996 IEEE Symposium on Visual Languages</i>. Boulder, CO, USA, 1996. <a
    href="https://doi.org/10.1109/VL.1996.545302">https://doi.org/10.1109/VL.1996.545302</a>.
  ieee: 'C. Geiger <i>et al.</i>, “Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: <a
    href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>.'
  mla: Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete
    Visual Programming Language --- A Case Study in Manufacturing.” <i>Proceedings
    of the 1996 IEEE Symposium on Visual Languages</i>, 1996, doi:<a href="https://doi.org/10.1109/VL.1996.545302">10.1109/VL.1996.545302</a>.
  short: 'C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, J. Quintanilla, C. Tahedl,
    A. Weber, in: Proceedings of the 1996 IEEE Symposium on Visual Languages, Boulder,
    CO, USA, 1996.'
date_created: 2023-01-24T11:58:56Z
date_updated: 2023-01-24T11:59:01Z
department:
- _id: '672'
doi: 10.1109/VL.1996.545302
keyword:
- Computer integrated manufacturing
- Job shop scheduling
- Processor scheduling
- Computer languages
- Control system synthesis
- Computer aided manufacturing
- Sorting
- Assembly
- Costs
- Control systems
language:
- iso: eng
place: Boulder, CO, USA
publication: Proceedings of the 1996 IEEE Symposium on Visual Languages
publication_identifier:
  isbn:
  - 0-8186-7508-X
status: public
title: Visual Modeling and 3D-Representation with a Complete Visual Programming Language
  --- A Case Study in Manufacturing
type: conference
user_id: '5786'
year: '1996'
...