---
_id: '37040'
abstract:
- lang: eng
  text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
    step design process which is a trade-off between timing accuracy of the used models
    and correct estimation of the final timing performance. The use of an RTOS on
    the target platform is mandatory in the case real-time properties must be guaranteed.
    Thus, the question is when the RTOS must be introduced in this step by step refinement
    process. This paper proposes a four-level RTOS-aware refinement methodology that,
    starting from an untimed TLM SystemC description of the whole system, progressively
    introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
    till to obtain an accurate model of the final platform, where SW tasks run upon
    an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
    Each refinement level allows the designer to estimate more and more accurate timing
    properties, thus anticipating design decisions without being constrained to leave
    timing analysis to the final step of the refinement. The effectiveness of the
    methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Giuseppe
  full_name: Di Guglielmo, Giuseppe
  last_name: Di Guglielmo
- first_name: Franco
  full_name: Fummi, Franco
  last_name: Fummi
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Graziano
  full_name: Pravadelli, Graziano
  last_name: Pravadelli
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
citation:
  ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
    Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE;
    2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>'
  apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38;
    Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings
    of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition
    (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>
  bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
    title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
    Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
    Graziano and Xie, Tao}, year={2010} }'
  chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
    Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
    Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>.'
  ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
    “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
    Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden,
    2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.'
  mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.
  short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
    in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:47:29Z
date_updated: 2023-01-17T10:47:37Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37039'
abstract:
- lang: eng
  text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
    step design process which is a trade-off between timing accuracy of the used models
    and correct estimation of the final timing performance. The use of an RTOS on
    the target platform is mandatory in the case real-time properties must be guaranteed.
    Thus, the question is when the RTOS must be introduced in this step by step refinement
    process. This paper proposes a four-level RTOS-aware refinement methodology that,
    starting from an untimed TLM SystemC description of the whole system, progressively
    introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
    till to obtain an accurate model of the final platform, where SW tasks run upon
    an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
    Each refinement level allows the designer to estimate more and more accurate timing
    properties, thus anticipating design decisions without being constrained to leave
    timing analysis to the final step of the refinement. The effectiveness of the
    methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
  full_name: Becker, Markus
  last_name: Becker
- first_name: Giuseppe
  full_name: Di Guglielmo, Giuseppe
  last_name: Di Guglielmo
- first_name: Franco
  full_name: Fummi, Franco
  last_name: Fummi
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Graziano
  full_name: Pravadelli, Graziano
  last_name: Pravadelli
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
citation:
  ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
    Refinement for TLM2.0-based HW/SW Design. In: <i>Proceedings of DATE’10</i>. IEEE;
    2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>'
  apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &#38;
    Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. <i>Proceedings
    of DATE’10</i>. Design, Automation &#38; Test in Europe Conference &#38; Exhibition
    (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>
  bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
    title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>},
    booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
    Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
    Graziano and Xie, Tao}, year={2010} }'
  chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
    Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
    Design.” In <i>Proceedings of DATE’10</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5456965">https://doi.org/10.1109/DATE.2010.5456965</a>.'
  ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
    “RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
    Automation &#38; Test in Europe Conference &#38; Exhibition (DATE 2010), Dresden,
    2010, doi: <a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.'
  mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
    <i>Proceedings of DATE’10</i>, IEEE, 2010, doi:<a href="https://doi.org/10.1109/DATE.2010.5456965">10.1109/DATE.2010.5456965</a>.
  short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
    in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:44:46Z
date_updated: 2025-03-12T16:39:17Z
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
  eisbn:
  - 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '39474'
abstract:
- lang: eng
  text: Agent-based systems technologies are of emerging interest in the specification
    and implementation of complex systems. This article introduces the CASA agent
    development system which seamlessly combines the BDI (belief desire intention)
    approach with the FIPA agent communication language standard and an integrated
    specification of fuzzy controllers. The behavior of agents is defined by strategies
    which basically correspond to extended guarded Horn clauses with priorities. The
    presented concepts are introduced by an example from computer integrated manufacturing
    (CIM). The example gives the specification of a fuzzy controller for a manufacturing
    station in the context of a holonic manufacturing system (HMS).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Christian
  full_name: Geiger, Christian
  last_name: Geiger
- first_name: G.
  full_name: Lehrenfeld, G.
  last_name: Lehrenfeld
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
- first_name: Volker
  full_name: Paelke, Volker
  last_name: Paelke
citation:
  ama: 'Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling
    for Holonic Manufacturing Systems with Fuzzy Control. In: <i>Proceedings of NAFIPS’99,
    18th International Conference of the North American Fuzzy Information Processing
    Society</i>. IEEE; 1999. doi:<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>'
  apa: Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., &#38; Paelke, V. (1999).
    Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. <i>Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society</i>. 18th International Conference of the North American Fuzzy
    Information Processing Society - NAFIPS, New York, NY, USA . <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>
  bibtex: '@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York,
    NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with
    Fuzzy Control}, DOI={<a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>},
    booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North
    American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake,
    Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke,
    Volker}, year={1999} }'
  chicago: 'Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and
    Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy
    Control.” In <i>Proceedings of NAFIPS’99, 18th International Conference of the
    North American Fuzzy Information Processing Society</i>. New York, NY, USA : IEEE,
    1999. <a href="https://doi.org/10.1109/NAFIPS.1999.781697">https://doi.org/10.1109/NAFIPS.1999.781697</a>.'
  ieee: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based
    Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the
    18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS, New York, NY, USA , 1999, doi: <a href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.'
  mla: Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems
    with Fuzzy Control.” <i>Proceedings of NAFIPS’99, 18th International Conference
    of the North American Fuzzy Information Processing Society</i>, IEEE, 1999, doi:<a
    href="https://doi.org/10.1109/NAFIPS.1999.781697">10.1109/NAFIPS.1999.781697</a>.
  short: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings
    of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
    Processing Society, IEEE, New York, NY, USA , 1999.'
conference:
  location: 'New York, NY, USA '
  name: 18th International Conference of the North American Fuzzy Information Processing
    Society - NAFIPS
date_created: 2023-01-24T11:21:53Z
date_updated: 2023-01-24T11:21:57Z
department:
- _id: '672'
doi: 10.1109/NAFIPS.1999.781697
keyword:
- Manufacturing systems
- Fuzzy control
- Multiagent systems
- Control systems
- Concurrent computing
- Specification languages
- Communication standards
- Standards development
- Communication system control
- Computer integrated manufacturing
language:
- iso: eng
place: 'New York, NY, USA '
publication: Proceedings of NAFIPS'99, 18th International Conference of the North
  American Fuzzy Information Processing Society
publication_identifier:
  isbn:
  - 0-7803-5211-4
publisher: IEEE
status: public
title: Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
type: conference
user_id: '5786'
year: '1999'
...