---
_id: '37011'
abstract:
- lang: eng
  text: Safety-critical automotive systems must fulfill hard real-time constraints
    for reliability and safety. This paper presents a case study for the application
    of an AUTOSAR-based language for timing modeling and analysis. We present and
    apply the Timing Augmented Description Language (TADL) and demonstrate a methodology
    for the development of a speed-adaptive steer-by-wire system. We examine the impact
    of TADL and the methodology on the development process and the suitability and
    interoperability of the applied tools with respect to the AUTOSAR-based tool chain
    in the context of our case study.
author:
- first_name: Kay
  full_name: Klobedanz, Kay
  last_name: Klobedanz
- first_name: Christoph
  full_name: Kuznik, Christoph
  last_name: Kuznik
- first_name: Andre
  full_name: Thuy, Andre
  last_name: Thuy
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for
    AUTOSAR-Based Software Development - A Case Study. In: <i>Proceedings of DATE’10,
    Dresden</i>. IEEE; 2010. doi:<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>'
  apa: Klobedanz, K., Kuznik, C., Thuy, A., &#38; Müller, W. (2010). Timing Modeling
    and Analysis for AUTOSAR-Based Software Development - A Case Study. <i>Proceedings
    of DATE’10, Dresden</i>. 2010 Design, Automation &#38; Test in Europe Conference
    &#38; Exhibition (DATE 2010), Dresden. <a href="https://doi.org/10.1109/DATE.2010.5457125">https://doi.org/10.1109/DATE.2010.5457125</a>
  bibtex: '@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing
    Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study},
    DOI={<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>},
    booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz,
    Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }'
  chicago: 'Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing
    Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”
    In <i>Proceedings of DATE’10, Dresden</i>. Dresden: IEEE, 2010. <a href="https://doi.org/10.1109/DATE.2010.5457125">https://doi.org/10.1109/DATE.2010.5457125</a>.'
  ieee: 'K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis
    for AUTOSAR-Based Software Development - A Case Study,” 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.5457125">10.1109/DATE.2010.5457125</a>.'
  mla: Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software
    Development - A Case Study.” <i>Proceedings of DATE’10, Dresden</i>, IEEE, 2010,
    doi:<a href="https://doi.org/10.1109/DATE.2010.5457125">10.1109/DATE.2010.5457125</a>.
  short: 'K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10,
    Dresden, IEEE, Dresden, 2010.'
conference:
  location: Dresden
  name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:19:36Z
date_updated: 2023-01-17T09:19:46Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457125
keyword:
- Timing
- Programming
- Automotive engineering
- Application software
- Hardware
- Computer architecture
- Communication system software
- Software architecture
- Delay
- Software standards
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10, Dresden
publisher: IEEE
status: public
title: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case
  Study
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37067'
abstract:
- lang: eng
  text: IP-XACT is a well accepted standard for the exchange of IP components at Electronic
    System and Register Transfer Level. Still, the creation and manipulation of these
    descriptions at the XML level can be time-consuming and error-prone. In this paper,
    we show that the UML can be consistently applied as an efficient and comprehensible
    frontend for IP-XACT-based IP description and integration. For this, we present
    an IP-XACT UML profile that enables UML-based descriptions covering the same information
    as a corresponding IP-XACT description. This enables the automated generation
    of IP-XACT component and design descriptions from respective UML models. In particular,
    it also allows the integration of existing IPs with UML. To illustrate our approach,
    we present an application example based on the IBM PowerPC Evaluation Kit.
author:
- first_name: Tim
  full_name: Schattkowsky, Tim
  last_name: Schattkowsky
- first_name: Tao
  full_name: Xie, Tao
  last_name: Xie
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management.
    In: <i>Proceedings of DATE’09</i>. IEEE; 2009. doi:<a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>'
  apa: Schattkowsky, T., Xie, T., &#38; Müller, W. (2009). A UML Frontend for IP-XACT-based
    IP Management. <i>Proceedings of DATE’09</i>. Design, Automation &#38; Test in
    Europe Conference &#38; Exhibition. <a href="https://doi.org/10.1109/DATE.2009.5090664">https://doi.org/10.1109/DATE.2009.5090664</a>
  bibtex: '@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A
    UML Frontend for IP-XACT-based IP Management}, DOI={<a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>},
    booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim
    and Xie, Tao and Müller, Wolfgang}, year={2009} }'
  chicago: 'Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based
    IP Management.” In <i>Proceedings of DATE’09</i>. Nice, France: IEEE, 2009. <a
    href="https://doi.org/10.1109/DATE.2009.5090664">https://doi.org/10.1109/DATE.2009.5090664</a>.'
  ieee: 'T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based
    IP Management,” presented at the Design, Automation &#38; Test in Europe Conference
    &#38; Exhibition, 2009, doi: <a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>.'
  mla: Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.”
    <i>Proceedings of DATE’09</i>, IEEE, 2009, doi:<a href="https://doi.org/10.1109/DATE.2009.5090664">10.1109/DATE.2009.5090664</a>.
  short: 'T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice,
    France, 2009.'
conference:
  name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:54:02Z
date_updated: 2023-01-17T11:54:07Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090664
keyword:
- Unified modeling language
- XML
- Power system modeling
- Application software
- Master-slave
- Power system management
- Acceleration
- Scattering
- Software engineering
- Software standards
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
  isbn:
  - 978-1-4244-3781-8
publisher: IEEE
status: public
title: A UML Frontend for IP-XACT-based IP Management
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '39403'
abstract:
- lang: eng
  text: The Unified Modeling Language (UML) has received wide acceptance as a standard
    language in the field of software specification by means of different diagram
    types. In a recent version of UML, the textual Object Constraint Language (OCL)
    was introduced to support specification of constraints for UML models. But OCL
    currently does not provide sufficient means to specify constraints over the dynamic
    behavior of a model. This article presents an OCL extension that is consistent
    with current OCL and enables modelers to specify state-related time-bounded constraints.
    We consider the case study of a flexible manufacturing system and identify typical
    real-time constraints. The constraints are presented in our temporal OCL extension
    as well as in temporal logic formulae. For general application, we define a semantics
    of our OCL extension by means of a time-bounded temporal logic based on Computational
    Tree Logic (CTL).
author:
- first_name: Stephan
  full_name: Flake, Stephan
  last_name: Flake
- first_name: Wolfgang
  full_name: Müller, Wolfgang
  id: '16243'
  last_name: Müller
citation:
  ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In:
    <i>Proceedings of HICSS-35</i>. ; 2002. doi:<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>'
  apa: Flake, S., &#38; Müller, W. (2002). Specification of Real-Time Properties for
    UML Models. <i>Proceedings of HICSS-35</i>. Proceedings of the 35th Annual Hawaii
    International Conference on System Sciences, Big Island, HI, USA . <a href="https://doi.org/10.1109/HICSS.2002.994469">https://doi.org/10.1109/HICSS.2002.994469</a>
  bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification
    of Real-Time Properties for UML Models}, DOI={<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>},
    booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang},
    year={2002} }'
  chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
    for UML Models.” In <i>Proceedings of HICSS-35</i>. Big Island, HI, USA , 2002.
    <a href="https://doi.org/10.1109/HICSS.2002.994469">https://doi.org/10.1109/HICSS.2002.994469</a>.
  ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”
    presented at the Proceedings of the 35th Annual Hawaii International Conference
    on System Sciences, Big Island, HI, USA , 2002, doi: <a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>.'
  mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
    for UML Models.” <i>Proceedings of HICSS-35</i>, 2002, doi:<a href="https://doi.org/10.1109/HICSS.2002.994469">10.1109/HICSS.2002.994469</a>.
  short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
    2002.'
conference:
  location: 'Big Island, HI, USA '
  name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
keyword:
- Unified modeling language
- Logic
- Formal verification
- Real time systems
- Programming profession
- Vehicle dynamics
- Software standards
- Flexible manufacturing systems
- Electronics industry
- Protocols
language:
- iso: eng
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
  isbn:
  - 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...