---
_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: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664'
apa: Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based
IP Management. Proceedings of DATE’09. Design, Automation & Test in
Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
bibtex: '@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A
UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664},
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 Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.'
ieee: 'T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based
IP Management,” presented at the Design, Automation & Test in Europe Conference
& Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.'
mla: Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.”
Proceedings of DATE’09, IEEE, 2009, doi:10.1109/DATE.2009.5090664.
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: '37063'
abstract:
- lang: eng
text: Safety-critical automotive systems must fulfill hard real-time constraints
to guarantee their reliability and safety requirements. In the context of network-based
electronics systems, high-level timing requirements have to be carefully mastered
and traced throughout the whole development process. In this paper, we outline
the management of scheduling-specific timing information by the application of
a steer-by-wire design example. We apply the principles of the AUTOSAR-compliant
Timing Augmented Description Language (TADL) following the methodology introduced
by the TIMMO project[2]. Focus of the example will be the identification of end-to-end
timing constraints and their refinement by means of stimuli-response event chains.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Ahmed
full_name: Elfeky, Ahmed
last_name: Elfeky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Klobedanz K, Kuznik C, Elfeky A, Müller W. Development of Automotive Communication
Based Real-Time Systems - A Steer-by-Wire Case Study. In: Proceedings of IESS09.
Springer Verlag; 2009. doi:10.1007/978-3-642-04284-3_20'
apa: Klobedanz, K., Kuznik, C., Elfeky, A., & Müller, W. (2009). Development
of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.
Proceedings of IESS09. https://doi.org/10.1007/978-3-642-04284-3_20
bibtex: '@inproceedings{Klobedanz_Kuznik_Elfeky_Müller_2009, title={Development
of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study},
DOI={10.1007/978-3-642-04284-3_20},
booktitle={Proceedings of IESS09}, publisher={Springer Verlag}, author={Klobedanz,
Kay and Kuznik, Christoph and Elfeky, Ahmed and Müller, Wolfgang}, year={2009}
}'
chicago: Klobedanz, Kay, Christoph Kuznik, Ahmed Elfeky, and Wolfgang Müller. “Development
of Automotive Communication Based Real-Time Systems - A Steer-by-Wire Case Study.”
In Proceedings of IESS09. Springer Verlag, 2009. https://doi.org/10.1007/978-3-642-04284-3_20.
ieee: 'K. Klobedanz, C. Kuznik, A. Elfeky, and W. Müller, “Development of Automotive
Communication Based Real-Time Systems - A Steer-by-Wire Case Study,” 2009, doi:
10.1007/978-3-642-04284-3_20.'
mla: Klobedanz, Kay, et al. “Development of Automotive Communication Based Real-Time
Systems - A Steer-by-Wire Case Study.” Proceedings of IESS09, Springer
Verlag, 2009, doi:10.1007/978-3-642-04284-3_20.
short: 'K. Klobedanz, C. Kuznik, A. Elfeky, W. Müller, in: Proceedings of IESS09,
Springer Verlag, 2009.'
date_created: 2023-01-17T11:42:03Z
date_updated: 2023-01-17T11:42:08Z
department:
- _id: '672'
doi: 10.1007/978-3-642-04284-3_20
keyword:
- Abstraction Level Controller Area Network High Abstraction Level Event
Chain Automotive System
language:
- iso: eng
publication: Proceedings of IESS09
publication_identifier:
isbn:
- 978-3-642-04283-6
publisher: Springer Verlag
status: public
title: Development of Automotive Communication Based Real-Time Systems - A Steer-by-Wire
Case Study
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '17272'
abstract:
- lang: eng
text: In developmental research, tutoring behavior has been identified as scaffolding
infants' learning processes. It has been defined in terms of child-directed speech
(Motherese), child-directed motion (Motionese), and contingency. In the field
of developmental robotics, research often assumes that in human-robot interaction
(HRI), robots are treated similar to infants, because their immature cognitive
capabilities benefit from this behavior. However, according to our knowledge,
it has barely been studied whether this is true and how exactly humans alter their
behavior towards a robotic interaction partner. In this paper, we present results
concerning the acceptance of a robotic agent in a social learning scenario obtained
via comparison to adults and 8-11 months old infants in equal conditions. These
results constitute an important empirical basis for making use of tutoring behavior
in social robotics. In our study, we performed a detailed multimodal analysis
of HRI in a tutoring situation using the example of a robot simulation equipped
with a bottom-up saliency-based attention model. Our results reveal significant
differences in hand movement velocity, motion pauses, range of motion, and eye
gaze suggesting that for example adults decrease their hand movement velocity
in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI)
and this decrease is even higher in the Adult-Robot Interaction (ARI). We also
found important differences between ACI and ARI in how the behavior is modified
over time as the interaction unfolds. These findings indicate the necessity of
integrating top-down feedback structures into a bottom-up system for robots to
be fully accepted as interaction partners.
author:
- first_name: Anna-Lisa
full_name: Vollmer, Anna-Lisa
last_name: Vollmer
- first_name: Katrin Solveig
full_name: Lohan, Katrin Solveig
last_name: Lohan
- first_name: Kerstin
full_name: Fischer, Kerstin
last_name: Fischer
- first_name: Yukie
full_name: Nagai, Yukie
last_name: Nagai
- first_name: Karola
full_name: Pitsch, Karola
last_name: Pitsch
- first_name: Jannik
full_name: Fritsch, Jannik
last_name: Fritsch
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Britta
full_name: Wrede, Britta
last_name: Wrede
citation:
ama: 'Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior
in robot-directed interaction for action learning. In: Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning.
IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516'
apa: Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch,
J., Rohlfing, K., & Wrede, B. (2009). People modify their tutoring behavior
in robot-directed interaction for action learning. Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning,
1–6. https://doi.org/10.1109/DEVLRN.2009.5175516
bibtex: '@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009,
title={People modify their tutoring behavior in robot-directed interaction for
action learning}, DOI={10.1109/DEVLRN.2009.5175516},
booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola
and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6}
}'
chicago: Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai,
Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify
Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In
Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516.
ieee: 'A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed
interaction for action learning,” in Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6,
doi: 10.1109/DEVLRN.2009.5175516.'
mla: Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed
Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, IEEE, 2009,
pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
short: 'A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch,
K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th
International Conference on Development and Learning, IEEE, 2009, pp. 1–6.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
keyword:
- robot simulation
- hand movement velocity
- robotic interaction partner
- robotic agent
- robot-directed interaction
- multimodal analysis
- Motionese
- Motherese
- intelligent tutoring systems
- immature cognitive capability
- human computer interaction
- eye gaze
- child-directed speech
- child-directed motion
- bottom-up system
- bottom-up saliency-based attention model
- adult-robot interaction
- adult-child interaction
- adult-adult interaction
- human-robot interaction
- action learning
- social learning scenario
- social robotics
- software agents
- top-down feedback structures
- tutoring behavior
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
learning
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '63951'
abstract:
- lang: eng
text: The parameters describing the quadrupolar and CSA interactions of 51V solid-state
MAS NMR investigations of model complexes mimicking vanadoenzymes as well as vanadium
containing catalysts and enzyme complexes are interpreted with respect to the
chemical structure. The interpretation is based on the data of 15 vanadium complexes
including two new complexes with previously unpublished data and 13 complexes
with data previously published by us. Correlations between the chemical structure
and the 51V solid-state NMR data of this class of compounds have been established.
Especially for the isotropic chemical shift δ iso and the chemical shift anisotropy
δ σ , correlations with specific structural features like the coordination number
of the vanadium atom, the number of coordinating nitrogens, the number of oxygen
atoms and the chemical surrounding of the complex could be established for these
compounds. Moreover, quantitative correlations between the solid-state NMR parameters
and specific bond angles and bond lengths have been obtained. Our results can
be of particular interest for future investigations concerning the structure and
the mode of action of related vanadoenzymes and vanadate protein assemblies, including
the use of vanadate adducts as transition state analogs for phosphate metabolizing
systems.
author:
- first_name: Annika
full_name: Fenn, Annika
last_name: Fenn
- first_name: Maria
full_name: Wächtler, Maria
last_name: Wächtler
- first_name: Torsten
full_name: Gutmann, Torsten
id: '118165'
last_name: Gutmann
- first_name: Hergen
full_name: Breitzke, Hergen
last_name: Breitzke
- first_name: Axel
full_name: Buchholz, Axel
last_name: Buchholz
- first_name: Ines
full_name: Lippold, Ines
last_name: Lippold
- first_name: Winfried
full_name: Plass, Winfried
last_name: Plass
- first_name: Gerd
full_name: Buntkowsky, Gerd
last_name: Buntkowsky
citation:
ama: Fenn A, Wächtler M, Gutmann T, et al. Correlations between 51V solid-state
NMR parameters and chemical structure of vanadium (V) complexes as models for
related metalloproteins and catalysts. Solid State Nuclear Magnetic Resonance.
2009;36(4):192–201. doi:10.1016/j.ssnmr.2009.11.003
apa: Fenn, A., Wächtler, M., Gutmann, T., Breitzke, H., Buchholz, A., Lippold, I.,
Plass, W., & Buntkowsky, G. (2009). Correlations between 51V solid-state NMR
parameters and chemical structure of vanadium (V) complexes as models for related
metalloproteins and catalysts. Solid State Nuclear Magnetic Resonance,
36(4), 192–201. https://doi.org/10.1016/j.ssnmr.2009.11.003
bibtex: '@article{Fenn_Wächtler_Gutmann_Breitzke_Buchholz_Lippold_Plass_Buntkowsky_2009,
title={Correlations between 51V solid-state NMR parameters and chemical structure
of vanadium (V) complexes as models for related metalloproteins and catalysts},
volume={36}, DOI={10.1016/j.ssnmr.2009.11.003},
number={4}, journal={Solid State Nuclear Magnetic Resonance}, author={Fenn, Annika
and Wächtler, Maria and Gutmann, Torsten and Breitzke, Hergen and Buchholz, Axel
and Lippold, Ines and Plass, Winfried and Buntkowsky, Gerd}, year={2009}, pages={192–201}
}'
chicago: 'Fenn, Annika, Maria Wächtler, Torsten Gutmann, Hergen Breitzke, Axel Buchholz,
Ines Lippold, Winfried Plass, and Gerd Buntkowsky. “Correlations between 51V Solid-State
NMR Parameters and Chemical Structure of Vanadium (V) Complexes as Models for
Related Metalloproteins and Catalysts.” Solid State Nuclear Magnetic Resonance
36, no. 4 (2009): 192–201. https://doi.org/10.1016/j.ssnmr.2009.11.003.'
ieee: 'A. Fenn et al., “Correlations between 51V solid-state NMR parameters
and chemical structure of vanadium (V) complexes as models for related metalloproteins
and catalysts,” Solid State Nuclear Magnetic Resonance, vol. 36, no. 4,
pp. 192–201, 2009, doi: 10.1016/j.ssnmr.2009.11.003.'
mla: Fenn, Annika, et al. “Correlations between 51V Solid-State NMR Parameters and
Chemical Structure of Vanadium (V) Complexes as Models for Related Metalloproteins
and Catalysts.” Solid State Nuclear Magnetic Resonance, vol. 36, no. 4,
2009, pp. 192–201, doi:10.1016/j.ssnmr.2009.11.003.
short: A. Fenn, M. Wächtler, T. Gutmann, H. Breitzke, A. Buchholz, I. Lippold, W.
Plass, G. Buntkowsky, Solid State Nuclear Magnetic Resonance 36 (2009) 192–201.
date_created: 2026-02-07T15:33:58Z
date_updated: 2026-02-17T16:18:21Z
doi: 10.1016/j.ssnmr.2009.11.003
extern: '1'
intvolume: ' 36'
issue: '4'
keyword:
- 51V NMR
- Cis-dioxovanadium (v) complex
- Model system
- Vanadate
language:
- iso: eng
page: 192–201
publication: Solid State Nuclear Magnetic Resonance
status: public
title: Correlations between 51V solid-state NMR parameters and chemical structure
of vanadium (V) complexes as models for related metalloproteins and catalysts
type: journal_article
user_id: '100715'
volume: 36
year: '2009'
...
---
_id: '9576'
abstract:
- lang: eng
text: 'In neurosurgery, delineation of tumor boundaries during resection of brain
tumors is of substantial relevance. During operation distinction between tumor
and healthy tissue rely on the abilities of the surgeon based on visual and tactile
differentiation. In this paper a high sensitivity actuator-sensor system using
a piezoelectric bimorph is presented. Frequency shift and transfer function of
the bimorphpsilas voltages are detected and evaluated. Sensorpsilas sensitivity
is evaluated using two frequency controls strategies: A phase-locked loop (PLL)
and a self-oscillating circuit. Results of measurements conducted on gel-phantoms
are presented and discussed.'
author:
- first_name: David Oliva
full_name: Uribe, David Oliva
last_name: Uribe
- first_name: Ralf
full_name: Stroop, Ralf
last_name: Stroop
- first_name: Tobias
full_name: Hemsel, Tobias
id: '210'
last_name: Hemsel
- first_name: Jörg
full_name: Wallaschek, Jörg
last_name: Wallaschek
citation:
ama: 'Uribe DO, Stroop R, Hemsel T, Wallaschek J. Development of a biomedical tissue
differentiation system using piezoelectric actuators. In: Frequency Control
Symposium, 2008 IEEE International. ; 2008:91-94. doi:10.1109/FREQ.2008.4622963'
apa: Uribe, D. O., Stroop, R., Hemsel, T., & Wallaschek, J. (2008). Development
of a biomedical tissue differentiation system using piezoelectric actuators. In
Frequency Control Symposium, 2008 IEEE International (pp. 91–94). https://doi.org/10.1109/FREQ.2008.4622963
bibtex: '@inproceedings{Uribe_Stroop_Hemsel_Wallaschek_2008, title={Development
of a biomedical tissue differentiation system using piezoelectric actuators},
DOI={10.1109/FREQ.2008.4622963},
booktitle={Frequency Control Symposium, 2008 IEEE International}, author={Uribe,
David Oliva and Stroop, Ralf and Hemsel, Tobias and Wallaschek, Jörg}, year={2008},
pages={91–94} }'
chicago: Uribe, David Oliva, Ralf Stroop, Tobias Hemsel, and Jörg Wallaschek. “Development
of a Biomedical Tissue Differentiation System Using Piezoelectric Actuators.”
In Frequency Control Symposium, 2008 IEEE International, 91–94, 2008. https://doi.org/10.1109/FREQ.2008.4622963.
ieee: D. O. Uribe, R. Stroop, T. Hemsel, and J. Wallaschek, “Development of a biomedical
tissue differentiation system using piezoelectric actuators,” in Frequency
Control Symposium, 2008 IEEE International, 2008, pp. 91–94.
mla: Uribe, David Oliva, et al. “Development of a Biomedical Tissue Differentiation
System Using Piezoelectric Actuators.” Frequency Control Symposium, 2008 IEEE
International, 2008, pp. 91–94, doi:10.1109/FREQ.2008.4622963.
short: 'D.O. Uribe, R. Stroop, T. Hemsel, J. Wallaschek, in: Frequency Control Symposium,
2008 IEEE International, 2008, pp. 91–94.'
date_created: 2019-04-29T13:07:39Z
date_updated: 2022-01-06T07:04:16Z
department:
- _id: '151'
doi: 10.1109/FREQ.2008.4622963
keyword:
- biomedical measurement
- brain
- cancer
- neurophysiology
- phantoms
- phase locked loops
- piezoelectric actuators
- surgery
- tactile sensors
- transfer functions
- tumours
- PLL
- biomedical tissue differentiation system
- brain tumor resection
- frequency control
- frequency shift
- gel-phantom
- high sensitivity actuator-sensor system
- neurosurgery
- phase-locked loop
- piezoelectric actuators
- piezoelectric bimorph
- self-oscillating circuit
- sensor sensitivity
- tactile differentiation
- tactile sensor system
- transfer function
- tumor boundary
- visual differentiation
- Biomedical measurements
- Circuits
- Frequency control
- Neoplasms
- Neurosurgery
- Phase locked loops
- Piezoelectric actuators
- Surges
- Transfer functions
- Voltage
language:
- iso: eng
page: 91-94
publication: Frequency Control Symposium, 2008 IEEE International
publication_identifier:
issn:
- 1075-6787
quality_controlled: '1'
status: public
title: Development of a biomedical tissue differentiation system using piezoelectric
actuators
type: conference
user_id: '55222'
year: '2008'
...
---
_id: '34563'
abstract:
- lang: eng
text: UML has been widely accepted by the software community for several years.
As electronic systems design can no longer be seen as an isolated hardware design
activity, UML becomes of significant interest as a unification language for systems
description combining both HW and SW components. This article provides a comprehensive
view of the UML applied to System-on-Chip (SoC) and hardware-related embedded
systems design. The modeling concepts in the UML language are first introduced,
including major diagrams for the representation of the behavior and the structure
of systems. The principles behind application specific UML customizations (UML
profiles) are summarized, and several examples relevant for SoC design are given,
such as the SysML (System Modeling Language) and the SoC Profile. Thereafter,
various approaches associating UML with existing HW/SW design languages are presented.
Beyond language aspects, the article addresses the question of UML-based design
flows, and shows how UML can be applied concretely to the development of electronic-based
systems. The current situation about tool support constitutes the last focus of
the article. In particular, we show how UML tools can be combined with well-known
simulation environments, such as MATLAB.
author:
- first_name: Yves
full_name: Vanderperren, Yves
last_name: Vanderperren
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Wim
full_name: Dahaene, Wim
last_name: Dahaene
citation:
ama: Vanderperren Y, Müller W, Dahaene W. UML for Electronic Systems Design – A
Comprehensive Overview. Design Automation for Embedded Systems. 2008;12:261-292.
doi:10.1007/s10617-008-9028-9
apa: Vanderperren, Y., Müller, W., & Dahaene, W. (2008). UML for Electronic
Systems Design – A Comprehensive Overview. Design Automation for Embedded Systems,
12, 261–292. https://doi.org/10.1007/s10617-008-9028-9
bibtex: '@article{Vanderperren_Müller_Dahaene_2008, title={UML for Electronic Systems
Design – A Comprehensive Overview}, volume={12}, DOI={10.1007/s10617-008-9028-9},
journal={Design Automation for Embedded Systems}, publisher={Springer-Verlag},
author={Vanderperren, Yves and Müller, Wolfgang and Dahaene, Wim}, year={2008},
pages={261–292} }'
chicago: 'Vanderperren, Yves, Wolfgang Müller, and Wim Dahaene. “UML for Electronic
Systems Design – A Comprehensive Overview.” Design Automation for Embedded
Systems 12 (2008): 261–92. https://doi.org/10.1007/s10617-008-9028-9.'
ieee: 'Y. Vanderperren, W. Müller, and W. Dahaene, “UML for Electronic Systems Design
– A Comprehensive Overview,” Design Automation for Embedded Systems, vol.
12, pp. 261–292, 2008, doi: 10.1007/s10617-008-9028-9.'
mla: Vanderperren, Yves, et al. “UML for Electronic Systems Design – A Comprehensive
Overview.” Design Automation for Embedded Systems, vol. 12, Springer-Verlag,
2008, pp. 261–92, doi:10.1007/s10617-008-9028-9.
short: Y. Vanderperren, W. Müller, W. Dahaene, Design Automation for Embedded Systems
12 (2008) 261–292.
date_created: 2022-12-19T12:18:21Z
date_updated: 2022-12-19T12:23:56Z
department:
- _id: '672'
doi: 10.1007/s10617-008-9028-9
intvolume: ' 12'
keyword:
- UML SysML Model-based design System specification Modelling languages
language:
- iso: eng
page: 261-292
publication: Design Automation for Embedded Systems
publisher: Springer-Verlag
status: public
title: UML for Electronic Systems Design – A Comprehensive Overview
type: journal_article
user_id: '5786'
volume: 12
year: '2008'
...
---
_id: '33815'
abstract:
- lang: eng
text: Test processes in the automotive industry are tool-intensive and affected
by technologically heterogeneous test infrastructures. In the industrial practice
a product has to pass tests at several levels of abstraction such as Model-in-the-Loop
(MIL), Software-in-the-Loop (SIL) and Hardware-in-the-Loop (HIL) tests. Different
test systems are applied for this purpose (e.g. dSPACE MTest, dSPACE Automation
Desk, National Instruments Teststand) and almost each test system requests its
own proprietary test description language. The exchange of tests between different
test systems and the reuse of tests between different test levels is normally
not possible. Efforts to integrate these heterogeneous test environments, to address
test exchange in a general manner and to standardize and harmonize the existing
language environment are still at the beginning and not tailored towards the requirements
of the automotive domain. To keep the whole development and test process efficient
and manageable, the definition of an integrated and seamless approach is required.
TestML – the test exchange language we present in this article – is defined to
overcome the technological obstacles (different test language syntax and semantics,
different data formats and interface descriptions) that almost automatically accompany
the application of heterogeneous test tools and test infrastructures. TestML supports
the exchange of tests between different test notations in a heterogeneous tool
environment. In this paper, we introduce the XML schema of TestML and demonstrate
the efficiency of the interchange format by giving examples from the model-based
development of electronic control units. Tool support is illustrated by an application
with Simulink/Stateflow.
author:
- first_name: Jürgen
full_name: Großmann, Jürgen
last_name: Großmann
- first_name: Ines
full_name: Fey, Ines
last_name: Fey
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Mirko
full_name: Conrad, Mirko
last_name: Conrad
- first_name: Christian
full_name: Wewetzer, Christian
last_name: Wewetzer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Großmann J, Fey I, Krupp A, Conrad M, Wewetzer C, Müller W. TestML – A Test
Exchange Language for Model-based Testing of Embedded Software. In: Broy M, Krüger
IH, Meisinger M, eds. ASWSD 2006: Model-Driven Development of Reliable Automotive
Services. Springer Verlag; 2008:98-117. doi:10.1007/978-3-540-70930-5_7'
apa: 'Großmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., & Müller,
W. (2008). TestML – A Test Exchange Language for Model-based Testing of Embedded
Software. In M. Broy, I. H. Krüger, & M. Meisinger (Eds.), ASWSD 2006:
Model-Driven Development of Reliable Automotive Services (pp. 98–117). Springer
Verlag. https://doi.org/10.1007/978-3-540-70930-5_7'
bibtex: '@inbook{Großmann_Fey_Krupp_Conrad_Wewetzer_Müller_2008, place={Berlin,
Heidelberg}, title={TestML – A Test Exchange Language for Model-based Testing
of Embedded Software}, DOI={10.1007/978-3-540-70930-5_7},
booktitle={ASWSD 2006: Model-Driven Development of Reliable Automotive Services},
publisher={Springer Verlag}, author={Großmann, Jürgen and Fey, Ines and Krupp,
Alexander and Conrad, Mirko and Wewetzer, Christian and Müller, Wolfgang}, editor={Broy,
Manfred and Krüger, Ingolf H. and Meisinger, Michael}, year={2008}, pages={98–117}
}'
chicago: 'Großmann, Jürgen, Ines Fey, Alexander Krupp, Mirko Conrad, Christian Wewetzer,
and Wolfgang Müller. “TestML – A Test Exchange Language for Model-Based Testing
of Embedded Software.” In ASWSD 2006: Model-Driven Development of Reliable
Automotive Services, edited by Manfred Broy, Ingolf H. Krüger, and Michael
Meisinger, 98–117. Berlin, Heidelberg: Springer Verlag, 2008. https://doi.org/10.1007/978-3-540-70930-5_7.'
ieee: 'J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, and W. Müller, “TestML
– A Test Exchange Language for Model-based Testing of Embedded Software,” in ASWSD
2006: Model-Driven Development of Reliable Automotive Services, M. Broy, I.
H. Krüger, and M. Meisinger, Eds. Berlin, Heidelberg: Springer Verlag, 2008, pp.
98–117.'
mla: 'Großmann, Jürgen, et al. “TestML – A Test Exchange Language for Model-Based
Testing of Embedded Software.” ASWSD 2006: Model-Driven Development of Reliable
Automotive Services, edited by Manfred Broy et al., Springer Verlag, 2008,
pp. 98–117, doi:10.1007/978-3-540-70930-5_7.'
short: 'J. Großmann, I. Fey, A. Krupp, M. Conrad, C. Wewetzer, W. Müller, in: M.
Broy, I.H. Krüger, M. Meisinger (Eds.), ASWSD 2006: Model-Driven Development of
Reliable Automotive Services, Springer Verlag, Berlin, Heidelberg, 2008, pp. 98–117.'
date_created: 2022-10-18T11:19:31Z
date_updated: 2022-10-18T11:20:02Z
department:
- _id: '672'
doi: 10.1007/978-3-540-70930-5_7
editor:
- first_name: Manfred
full_name: Broy, Manfred
last_name: Broy
- first_name: Ingolf H.
full_name: Krüger, Ingolf H.
last_name: Krüger
- first_name: Michael
full_name: Meisinger, Michael
last_name: Meisinger
keyword:
- Test Behavior
- Test Exchange
- System Under Test
- Hybrid Automaton
- Test Execution
language:
- iso: eng
page: 98-117
place: Berlin, Heidelberg
publication: 'ASWSD 2006: Model-Driven Development of Reliable Automotive Services'
publication_identifier:
isbn:
- 978-3-540-70929-9
publisher: Springer Verlag
status: public
title: TestML – A Test Exchange Language for Model-based Testing of Embedded Software
type: book_chapter
user_id: '5786'
year: '2008'
...
---
_id: '64041'
abstract:
- lang: eng
text: Three cis-dioxovanadium(V) complexes with similar N -salicylidenehydrazide
ligands modeling hydrogen bonding interactions of vanadate relevant for vanadium
haloperoxidases are studied by 51V solid-state NMR spectroscopy. Their parameters
describing the quadrupolar and chemical shift anisotropy interactions (quadrupolar
coupling constant C Q , asymmetry of the quadrupolar tensor η Q , isotropic chemical
shift δ iso , chemical shift anisotropy δ σ , asymmetry of the chemical shift
tensor η σ and the Euler angles α , β and γ ) are determined both experimentally
and theoretically using DFT methods. A comparative study of different methods
to determine the NMR parameters by numerical simulation of the spectra is presented.
Detailed theoretical investigations on the DFT level using various basis sets
and structural models show that by useful choice of the methodology, the calculated
parameters agree to the experimental ones in a very good manner.
author:
- first_name: Annika
full_name: Schweitzer, Annika
last_name: Schweitzer
- first_name: Torsten
full_name: Gutmann, Torsten
id: '118165'
last_name: Gutmann
- first_name: Maria
full_name: Wächtler, Maria
last_name: Wächtler
- first_name: Hergen
full_name: Breitzke, Hergen
last_name: Breitzke
- first_name: Axel
full_name: Buchholz, Axel
last_name: Buchholz
- first_name: Winfried
full_name: Plass, Winfried
last_name: Plass
- first_name: Gerd
full_name: Buntkowsky, Gerd
last_name: Buntkowsky
citation:
ama: Schweitzer A, Gutmann T, Wächtler M, et al. 51V solid-state NMR investigations
and DFT studies of model compounds for vanadium haloperoxidases. Solid State
Nuclear Magnetic Resonance. 2008;34(1–2):52–67. doi:10.1016/j.ssnmr.2008.02.003
apa: Schweitzer, A., Gutmann, T., Wächtler, M., Breitzke, H., Buchholz, A., Plass,
W., & Buntkowsky, G. (2008). 51V solid-state NMR investigations and DFT studies
of model compounds for vanadium haloperoxidases. Solid State Nuclear Magnetic
Resonance, 34(1–2), 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003
bibtex: '@article{Schweitzer_Gutmann_Wächtler_Breitzke_Buchholz_Plass_Buntkowsky_2008,
title={51V solid-state NMR investigations and DFT studies of model compounds for
vanadium haloperoxidases}, volume={34}, DOI={10.1016/j.ssnmr.2008.02.003},
number={1–2}, journal={Solid State Nuclear Magnetic Resonance}, author={Schweitzer,
Annika and Gutmann, Torsten and Wächtler, Maria and Breitzke, Hergen and Buchholz,
Axel and Plass, Winfried and Buntkowsky, Gerd}, year={2008}, pages={52–67} }'
chicago: 'Schweitzer, Annika, Torsten Gutmann, Maria Wächtler, Hergen Breitzke,
Axel Buchholz, Winfried Plass, and Gerd Buntkowsky. “51V Solid-State NMR Investigations
and DFT Studies of Model Compounds for Vanadium Haloperoxidases.” Solid State
Nuclear Magnetic Resonance 34, no. 1–2 (2008): 52–67. https://doi.org/10.1016/j.ssnmr.2008.02.003.'
ieee: 'A. Schweitzer et al., “51V solid-state NMR investigations and DFT
studies of model compounds for vanadium haloperoxidases,” Solid State Nuclear
Magnetic Resonance, vol. 34, no. 1–2, pp. 52–67, 2008, doi: 10.1016/j.ssnmr.2008.02.003.'
mla: Schweitzer, Annika, et al. “51V Solid-State NMR Investigations and DFT Studies
of Model Compounds for Vanadium Haloperoxidases.” Solid State Nuclear Magnetic
Resonance, vol. 34, no. 1–2, 2008, pp. 52–67, doi:10.1016/j.ssnmr.2008.02.003.
short: A. Schweitzer, T. Gutmann, M. Wächtler, H. Breitzke, A. Buchholz, W. Plass,
G. Buntkowsky, Solid State Nuclear Magnetic Resonance 34 (2008) 52–67.
date_created: 2026-02-07T16:10:01Z
date_updated: 2026-02-17T16:13:21Z
doi: 10.1016/j.ssnmr.2008.02.003
extern: '1'
intvolume: ' 34'
issue: 1–2
keyword:
- 51V NMR
- Model system
- Ab initio calculation
- Cis-dioxovanadium(V) complex
- Haloperoxidase
- Numerical optimization
- Quadrupolar interaction
language:
- iso: eng
page: 52–67
publication: Solid State Nuclear Magnetic Resonance
status: public
title: 51V solid-state NMR investigations and DFT studies of model compounds for vanadium
haloperoxidases
type: journal_article
user_id: '100715'
volume: 34
year: '2008'
...
---
_id: '10646'
author:
- first_name: Klaus
full_name: Danne, Klaus
last_name: Danne
- first_name: Roland
full_name: Mühlenbernd, Roland
last_name: Mühlenbernd
- first_name: Marco
full_name: Platzner, Marco
id: '398'
last_name: Platzner
citation:
ama: Danne K, Mühlenbernd R, Platzner M. Server-based execution of periodic tasks
on dynamically reconfigurable hardware. IET Computers Digital Techniques.
2007;1(4):295-302. doi:10.1049/iet-cdt:20060186
apa: Danne, K., Mühlenbernd, R., & Platzner, M. (2007). Server-based execution
of periodic tasks on dynamically reconfigurable hardware. IET Computers Digital
Techniques, 1(4), 295–302. https://doi.org/10.1049/iet-cdt:20060186
bibtex: '@article{Danne_Mühlenbernd_Platzner_2007, title={Server-based execution
of periodic tasks on dynamically reconfigurable hardware}, volume={1}, DOI={10.1049/iet-cdt:20060186},
number={4}, journal={IET Computers Digital Techniques}, author={Danne, Klaus and
Mühlenbernd, Roland and Platzner, Marco}, year={2007}, pages={295–302} }'
chicago: 'Danne, Klaus, Roland Mühlenbernd, and Marco Platzner. “Server-Based Execution
of Periodic Tasks on Dynamically Reconfigurable Hardware.” IET Computers Digital
Techniques 1, no. 4 (2007): 295–302. https://doi.org/10.1049/iet-cdt:20060186.'
ieee: K. Danne, R. Mühlenbernd, and M. Platzner, “Server-based execution of periodic
tasks on dynamically reconfigurable hardware,” IET Computers Digital Techniques,
vol. 1, no. 4, pp. 295–302, 2007.
mla: Danne, Klaus, et al. “Server-Based Execution of Periodic Tasks on Dynamically
Reconfigurable Hardware.” IET Computers Digital Techniques, vol. 1, no.
4, 2007, pp. 295–302, doi:10.1049/iet-cdt:20060186.
short: K. Danne, R. Mühlenbernd, M. Platzner, IET Computers Digital Techniques 1
(2007) 295–302.
date_created: 2019-07-10T11:10:54Z
date_updated: 2022-01-06T06:50:49Z
department:
- _id: '78'
doi: 10.1049/iet-cdt:20060186
intvolume: ' 1'
issue: '4'
keyword:
- reconfigurable architectures
- resource allocation
- device reconfiguration time
- dynamic hardware reconfiguration
- dynamically reconfigurable hardware
- light-weight runtime system
- merge server distribute load
- periodic real-time tasks
- runtime system overheads
- schedulability analysis
- scheduling technique
- server-based execution
- synthesis tool flow
language:
- iso: eng
page: 295-302
publication: IET Computers Digital Techniques
publication_identifier:
issn:
- 1751-8601
status: public
title: Server-based execution of periodic tasks on dynamically reconfigurable hardware
type: journal_article
user_id: '3118'
volume: 1
year: '2007'
...
---
_id: '38784'
abstract:
- lang: eng
text: This article presents the classification tree method for functional verification
to close the gap from the specification of a test plan to SystemVerilog (Chandra
and Chakrabarty, 2001) test bench generation. Our method supports the systematic
development of test configurations and is based on the classification tree method
for embedded systems (CTM/ES) (Chakrabarty et al., 2000) extending CTM/ES for
random test generation as well as for functional coverage and property specification
author:
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Krupp A, Müller W. Classification Trees for Functional Coverage and Random
Test Generation. In: Proceedings of the Design Automation & Test in Europe
Conference. IEEE; 2006. doi:10.1109/DATE.2006.243902'
apa: Krupp, A., & Müller, W. (2006). Classification Trees for Functional Coverage
and Random Test Generation. Proceedings of the Design Automation & Test
in Europe Conference. https://doi.org/10.1109/DATE.2006.243902
bibtex: '@inproceedings{Krupp_Müller_2006, place={Munich, Germany}, title={Classification
Trees for Functional Coverage and Random Test Generation}, DOI={10.1109/DATE.2006.243902},
booktitle={Proceedings of the Design Automation & Test in Europe Conference},
publisher={IEEE}, author={Krupp, Alexander and Müller, Wolfgang}, year={2006}
}'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional
Coverage and Random Test Generation.” In Proceedings of the Design Automation
& Test in Europe Conference. Munich, Germany: IEEE, 2006. https://doi.org/10.1109/DATE.2006.243902.'
ieee: 'A. Krupp and W. Müller, “Classification Trees for Functional Coverage and
Random Test Generation,” 2006, doi: 10.1109/DATE.2006.243902.'
mla: Krupp, Alexander, and Wolfgang Müller. “Classification Trees for Functional
Coverage and Random Test Generation.” Proceedings of the Design Automation
& Test in Europe Conference, IEEE, 2006, doi:10.1109/DATE.2006.243902.
short: 'A. Krupp, W. Müller, in: Proceedings of the Design Automation & Test
in Europe Conference, IEEE, Munich, Germany, 2006.'
date_created: 2023-01-24T08:06:09Z
date_updated: 2023-01-24T08:06:14Z
department:
- _id: '672'
doi: 10.1109/DATE.2006.243902
keyword:
- Classification tree analysis
- System testing
- Embedded system
- Safety
- Automatic testing
- Automation
language:
- iso: eng
place: Munich, Germany
publication: Proceedings of the Design Automation & Test in Europe Conference
publication_identifier:
isbn:
- 3-9810801-1-4
publisher: IEEE
status: public
title: Classification Trees for Functional Coverage and Random Test Generation
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '38107'
abstract:
- lang: eng
text: TestML is an XML-based language for the exchange of test descriptions in automotive
systems design and mainly introduced through the structural definition of an XML
schema as an independent exchange format for existing tools and methods covering
a wide range of different test technologies. In this paper, we present a rigorous
formal behavioral semantics for TestML by means of Abstract State Machines (ASMs).
Our semantics is a concise, unambiguous, high-level specification for TestML-based
implementations and serves as a basis to define exact and well-defined mappings
between existing test languages and TestML.
author:
- first_name: Jürgen
full_name: Großmann, Jürgen
last_name: Großmann
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc.
of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37'
apa: Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML.
Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
bibtex: '@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal
Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37},
booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang},
year={2006} }'
chicago: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for
TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
ieee: 'J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos,
Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.'
mla: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”
Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
short: 'J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.'
conference:
location: Paphos, Cyprus
date_created: 2023-01-23T12:00:06Z
date_updated: 2023-01-23T12:06:26Z
department:
- _id: '672'
doi: 10.1109/ISoLA.2006.37
keyword:
- System testing
- Software testing
- Automotive engineering
- Automatic testing
- Machinery production industries
- Protocols
- Hardware design languages
- Samarium
- XML
- Computer industry
language:
- iso: eng
place: Paphos, Cyprus
publication: Proc. of ISOLA 06
publication_identifier:
isbn:
- 978-0-7695-3071-0
status: public
title: A Formal Behavioral Semantics for TestML
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '39032'
abstract:
- lang: eng
text: Executable UML models are nowadays gaining interest in embedded systems design.
This domain is strongly devoted to the modeling of reactive behavior using StateChart
variants. In this context, the direct execution of UML state machines is an interesting
alternative to native code generation approaches since it significantly increases
portability. However, fully featured UML 2.0 State Machines may contain a broad
set of features with complex execution semantics that differ significantly from
other StateChart variants. This makes their direct execution complex and inefficient.
In this paper, we demonstrate how such state machines can be represented using
a small subset of the UML state machine features that enables efficient execution.
We describe the necessary model transformations in terms of graph transformations
and discuss the underlying semantics and implications for execution.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Transformation of UML State Machines for Direct
Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64'
apa: Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines
for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation
of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64},
booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang},
year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.
https://doi.org/10.1109/VLHCC.2005.64.
ieee: 'T. Schattkowsky and W. Müller, “Transformation of UML State Machines for
Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.'
mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
isbn:
- 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39352'
abstract:
- lang: eng
text: The recently adopted OCL 2.0 specification comes with a formal semantics that
is based on set theory with a notion of an object model and system states. System
states keep the runtime information relevant for the evaluation of OCL expressions.
However, not all new language concepts of OCL 2.0 are already addressed in that
formal semantics. We show how to overcome this by introducing new components to
the object model and system states defining a dynamic semantics of OCL. In order
to give precise rules that determine when the current system state has to be updated
according to a change in the referred UML model, we make use of adequate mathematical
means, namely Abstract State Machines (ASMs). Though our ASM specification also
gives a clear definition for the evaluation of OCL constraints, it leaves sufficient
flexibility for application specific implementations that have to determine when
constraints are to be checked.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
citation:
ama: 'Flake S, Müller W. An ASM Definition of the Dynamic OCL 2.0 Semantics. In:
Proceedings of the UML 2004. ; 2004. doi:10.1007/978-3-540-30187-5_17'
apa: Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0
Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
bibtex: '@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM
Definition of the Dynamic OCL 2.0 Semantics}, DOI={10.1007/978-3-540-30187-5_17},
booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang},
year={2004} }'
chicago: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic
OCL 2.0 Semantics.” In Proceedings of the UML 2004. Lisbon, Portugal, 2004.
https://doi.org/10.1007/978-3-540-30187-5_17.
ieee: 'S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,”
2004, doi: 10.1007/978-3-540-30187-5_17.'
mla: Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL
2.0 Semantics.” Proceedings of the UML 2004, 2004, doi:10.1007/978-3-540-30187-5_17.
short: 'S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal,
2004.'
date_created: 2023-01-24T09:28:53Z
date_updated: 2023-01-24T09:28:58Z
department:
- _id: '672'
doi: 10.1007/978-3-540-30187-5_17
keyword:
- System State Formal Semantic Object Management Group Denotational Semantic Dynamic
Semantic
language:
- iso: eng
place: Lisbon, Portugal
publication: Proceedings of the UML 2004
publication_identifier:
eisbn:
- 978-3-540-30187-5
status: public
title: An ASM Definition of the Dynamic OCL 2.0 Semantics
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '1998'
abstract:
- lang: eng
text: "Nearly all existing HPC systems are operated by resource management systems
based on the queuing approach. With the increasing acceptance of grid middleware
like Globus, new requirements for the underlying local resource management systems
arise. Features like advanced reservation or quality of service are needed to
implement high level functions like co-allocation. However it is difficult to
realize these features with a resource management system based on the queuing
concept since it considers only the present resource usage.\r\n\r\nIn this paper
we present an approach which closes this gap. By assigning start times to each
resource request, a complete schedule is planned. Advanced reservations are now
easily possible. Based on this planning approach functions like diffuse requests,
automatic duration extension, or service level agreements are described. We think
they are useful to increase the usability, acceptance and performance of HPC machines.
In the second part of this paper we present a planning based resource management
system which already covers some of the mentioned features."
author:
- first_name: Matthias
full_name: Hovestadt, Matthias
last_name: Hovestadt
- first_name: Odej
full_name: Kao, Odej
last_name: Kao
- first_name: Axel
full_name: Keller, Axel
id: '15274'
last_name: Keller
- first_name: Achim
full_name: Streit, Achim
last_name: Streit
citation:
ama: 'Hovestadt M, Kao O, Keller A, Streit A. Scheduling in HPC Resource Management
Systems: Queuing vs. Planning. In: Proc. Workshop on Job Scheduling Strategies
for Parallel Processing (JSSPP). Vol 2862. Lecture Notes in Computer Science.
Berlin / Heidelberg; 2003:1-20. doi:10.1007/10968987_1'
apa: 'Hovestadt, M., Kao, O., Keller, A., & Streit, A. (2003). Scheduling in
HPC Resource Management Systems: Queuing vs. Planning. In Proc. Workshop on
Job Scheduling Strategies for Parallel Processing (JSSPP) (Vol. 2862, pp.
1–20). Berlin / Heidelberg. https://doi.org/10.1007/10968987_1'
bibtex: '@inproceedings{Hovestadt_Kao_Keller_Streit_2003, place={Berlin / Heidelberg},
series={Lecture Notes in Computer Science}, title={Scheduling in HPC Resource
Management Systems: Queuing vs. Planning}, volume={2862}, DOI={10.1007/10968987_1},
booktitle={Proc. Workshop on Job Scheduling Strategies for Parallel Processing
(JSSPP)}, author={Hovestadt, Matthias and Kao, Odej and Keller, Axel and Streit,
Achim}, year={2003}, pages={1–20}, collection={Lecture Notes in Computer Science}
}'
chicago: 'Hovestadt, Matthias, Odej Kao, Axel Keller, and Achim Streit. “Scheduling
in HPC Resource Management Systems: Queuing vs. Planning.” In Proc. Workshop
on Job Scheduling Strategies for Parallel Processing (JSSPP), 2862:1–20. Lecture
Notes in Computer Science. Berlin / Heidelberg, 2003. https://doi.org/10.1007/10968987_1.'
ieee: 'M. Hovestadt, O. Kao, A. Keller, and A. Streit, “Scheduling in HPC Resource
Management Systems: Queuing vs. Planning,” in Proc. Workshop on Job Scheduling
Strategies for Parallel Processing (JSSPP), 2003, vol. 2862, pp. 1–20.'
mla: 'Hovestadt, Matthias, et al. “Scheduling in HPC Resource Management Systems:
Queuing vs. Planning.” Proc. Workshop on Job Scheduling Strategies for Parallel
Processing (JSSPP), vol. 2862, 2003, pp. 1–20, doi:10.1007/10968987_1.'
short: 'M. Hovestadt, O. Kao, A. Keller, A. Streit, in: Proc. Workshop on Job Scheduling
Strategies for Parallel Processing (JSSPP), Berlin / Heidelberg, 2003, pp. 1–20.'
date_created: 2018-03-29T11:37:24Z
date_updated: 2022-01-06T06:54:17Z
department:
- _id: '27'
doi: 10.1007/10968987_1
intvolume: ' 2862'
keyword:
- High Performance Computing
- Service Level Agreement
- Grid Resource
- Resource Management System
- Advance Reservation
language:
- iso: eng
page: 1-20
place: Berlin / Heidelberg
publication: Proc. Workshop on Job Scheduling Strategies for Parallel Processing (JSSPP)
publication_status: published
series_title: Lecture Notes in Computer Science
status: public
title: 'Scheduling in HPC Resource Management Systems: Queuing vs. Planning'
type: conference
user_id: '15274'
volume: 2862
year: '2003'
...
---
_id: '11733'
abstract:
- lang: eng
text: Current navigation systems like GPS (Global Positioning System) and its Russian
counterpart GLONASS (Global Navigation Satellite System) only evaluate the direct
signal path. The receivers treat the reflected paths also reaching the receiver
antenna as disturbance which has to be suppressed. Multipath affects the tracking
accuracy by resulting in a degeneration of the S-curve of the DLL (delay locked
loop). Nowadays the future European systems GALILEO and GPSIIF/III with two new
signals are on the way to the market and it is time to think about new receiver
structures. Therefore we investigated if it is possible to use multipath for navigation
constructively.
author:
- first_name: Renke
full_name: Bischoff, Renke
last_name: Bischoff
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
- first_name: Wolfgang
full_name: Schulz, Wolfgang
last_name: Schulz
- first_name: Guenther
full_name: Heinrichs, Guenther
last_name: Heinrichs
citation:
ama: 'Bischoff R, Haeb-Umbach R, Schulz W, Heinrichs G. Employment of a multipath
receiver structure in a combined GALILEO/UMTS receiver. In: IEEE 55th Vehicular
Technology Conference (VTC 2002 Spring). Vol 4. ; 2002:1844-1848 vol.4. doi:10.1109/VTC.2002.1002940'
apa: Bischoff, R., Haeb-Umbach, R., Schulz, W., & Heinrichs, G. (2002). Employment
of a multipath receiver structure in a combined GALILEO/UMTS receiver. In IEEE
55th Vehicular Technology Conference (VTC 2002 Spring) (Vol. 4, pp. 1844–1848
vol.4). https://doi.org/10.1109/VTC.2002.1002940
bibtex: '@inproceedings{Bischoff_Haeb-Umbach_Schulz_Heinrichs_2002, title={Employment
of a multipath receiver structure in a combined GALILEO/UMTS receiver}, volume={4},
DOI={10.1109/VTC.2002.1002940},
booktitle={IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)}, author={Bischoff,
Renke and Haeb-Umbach, Reinhold and Schulz, Wolfgang and Heinrichs, Guenther},
year={2002}, pages={1844–1848 vol.4} }'
chicago: Bischoff, Renke, Reinhold Haeb-Umbach, Wolfgang Schulz, and Guenther Heinrichs.
“Employment of a Multipath Receiver Structure in a Combined GALILEO/UMTS Receiver.”
In IEEE 55th Vehicular Technology Conference (VTC 2002 Spring), 4:1844–48
vol.4, 2002. https://doi.org/10.1109/VTC.2002.1002940.
ieee: R. Bischoff, R. Haeb-Umbach, W. Schulz, and G. Heinrichs, “Employment of a
multipath receiver structure in a combined GALILEO/UMTS receiver,” in IEEE
55th Vehicular Technology Conference (VTC 2002 Spring), 2002, vol. 4, pp.
1844–1848 vol.4.
mla: Bischoff, Renke, et al. “Employment of a Multipath Receiver Structure in a
Combined GALILEO/UMTS Receiver.” IEEE 55th Vehicular Technology Conference
(VTC 2002 Spring), vol. 4, 2002, pp. 1844–48 vol.4, doi:10.1109/VTC.2002.1002940.
short: 'R. Bischoff, R. Haeb-Umbach, W. Schulz, G. Heinrichs, in: IEEE 55th Vehicular
Technology Conference (VTC 2002 Spring), 2002, pp. 1844–1848 vol.4.'
date_created: 2019-07-12T05:27:12Z
date_updated: 2022-01-06T06:51:08Z
department:
- _id: '54'
doi: 10.1109/VTC.2002.1002940
intvolume: ' 4'
keyword:
- combined GALILEO/UMTS receiver
- delay locked loop
- delay lock loops
- DLL
- Global Positioning System
- GLONASS
- GPS
- GPSIIF/III
- mobile satellite communication
- multipath channels
- multipath receiver structure
- radio receivers
- RAKE receiver
- S-curve
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2002/BiHaScHe02.pdf
oa: '1'
page: 1844-1848 vol.4
publication: IEEE 55th Vehicular Technology Conference (VTC 2002 Spring)
status: public
title: Employment of a multipath receiver structure in a combined GALILEO/UMTS receiver
type: conference
user_id: '44006'
volume: 4
year: '2002'
...
---
_id: '39411'
abstract:
- lang: eng
text: Rapid prototyping based on 3D models is well accepted for several applications.
This article addresses the application of animated virtual 3D prototypes for the
development of computer-based systems supporting early collaboration of the system
designer with the external customer. Our methodology seamlessly integrates illustration
through 3D animation with the main tasks of computer-based real-time systems development,
i.e., implementation and verification. The approach is outlined by the example
of the design of a flexible manufacturing system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425'
apa: 'Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented
Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001.
Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425'
bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
}, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425},
booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001.
Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
2001, doi: 10.1109/ENABL.2001.953425.'
mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
Cambridge, MA, USA , 2001.'
conference:
name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
isbn:
- 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_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: Proceedings of NAFIPS’99,
18th International Conference of the North American Fuzzy Information Processing
Society. IEEE; 1999. doi:10.1109/NAFIPS.1999.781697'
apa: Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999).
Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings
of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
Processing Society. 18th International Conference of the North American Fuzzy
Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
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={10.1109/NAFIPS.1999.781697},
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 Proceedings of NAFIPS’99, 18th International Conference of the
North American Fuzzy Information Processing Society. New York, NY, USA : IEEE,
1999. https://doi.org/10.1109/NAFIPS.1999.781697.'
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: 10.1109/NAFIPS.1999.781697.'
mla: Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems
with Fuzzy Control.” Proceedings of NAFIPS’99, 18th International Conference
of the North American Fuzzy Information Processing Society, IEEE, 1999, doi:10.1109/NAFIPS.1999.781697.
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'
...
---
_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: Proceedings of the 1996 IEEE Symposium on Visual Languages. ; 1996.
doi:10.1109/VL.1996.545302'
apa: Geiger, C., Hunstock, R., Lehrenfeld, G., Müller, W., Quintanilla, J., Tahedl,
C., & Weber, A. (1996). Visual Modeling and 3D-Representation with a Complete
Visual Programming Language --- A Case Study in Manufacturing. Proceedings
of the 1996 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1996.545302
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={10.1109/VL.1996.545302}, 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 Proceedings
of the 1996 IEEE Symposium on Visual Languages. Boulder, CO, USA, 1996. https://doi.org/10.1109/VL.1996.545302.
ieee: 'C. Geiger et al., “Visual Modeling and 3D-Representation with a Complete
Visual Programming Language --- A Case Study in Manufacturing,” 1996, doi: 10.1109/VL.1996.545302.'
mla: Geiger, Christian, et al. “Visual Modeling and 3D-Representation with a Complete
Visual Programming Language --- A Case Study in Manufacturing.” Proceedings
of the 1996 IEEE Symposium on Visual Languages, 1996, doi:10.1109/VL.1996.545302.
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'
...