---
_id: '37061'
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. Systematic Model-in-the-Loop Test of Embedded Control Systems.
In: Proceedings of IESS09. ; 2009.'
apa: Krupp, A., & Müller, W. (2009). Systematic Model-in-the-Loop Test of Embedded
Control Systems. Proceedings of IESS09.
bibtex: '@inproceedings{Krupp_Müller_2009, place={Friedrichshafen}, title={Systematic
Model-in-the-Loop Test of Embedded Control Systems}, booktitle={Proceedings of
IESS09}, author={Krupp, Alexander and Müller, Wolfgang}, year={2009} }'
chicago: Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test
of Embedded Control Systems.” In Proceedings of IESS09. Friedrichshafen,
2009.
ieee: A. Krupp and W. Müller, “Systematic Model-in-the-Loop Test of Embedded Control
Systems,” 2009.
mla: Krupp, Alexander, and Wolfgang Müller. “Systematic Model-in-the-Loop Test of
Embedded Control Systems.” Proceedings of IESS09, 2009.
short: 'A. Krupp, W. Müller, in: Proceedings of IESS09, Friedrichshafen, 2009.'
date_created: 2023-01-17T11:39:08Z
date_updated: 2023-01-17T11:39:16Z
department:
- _id: '672'
language:
- iso: eng
place: Friedrichshafen
publication: Proceedings of IESS09
status: public
title: Systematic Model-in-the-Loop Test of Embedded Control Systems
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '37068'
author:
- first_name: 'R. '
full_name: 'Doemer, R. '
last_name: Doemer
- first_name: A.
full_name: Gerstlauer, A.
last_name: Gerstlauer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Doemer R, Gerstlauer A, Müller W. Hardware-dependent Software for Multi- and
Many-Core Embedded Systems. In: Proceedings of ASP-DAC’09. ; 2009.'
apa: Doemer, R., Gerstlauer, A., & Müller, W. (2009). Hardware-dependent Software
for Multi- and Many-Core Embedded Systems. Proceedings of ASP-DAC’09.
bibtex: '@inproceedings{Doemer_Gerstlauer_Müller_2009, place={Yokohama, Japan},
title={Hardware-dependent Software for Multi- and Many-Core Embedded Systems},
booktitle={Proceedings of ASP-DAC’09}, author={Doemer, R. and Gerstlauer, A.
and Müller, Wolfgang}, year={2009} }'
chicago: Doemer, R. , A. Gerstlauer, and Wolfgang Müller. “Hardware-Dependent Software
for Multi- and Many-Core Embedded Systems.” In Proceedings of ASP-DAC’09.
Yokohama, Japan, 2009.
ieee: R. Doemer, A. Gerstlauer, and W. Müller, “Hardware-dependent Software for
Multi- and Many-Core Embedded Systems,” 2009.
mla: Doemer, R., et al. “Hardware-Dependent Software for Multi- and Many-Core Embedded
Systems.” Proceedings of ASP-DAC’09, 2009.
short: 'R. Doemer, A. Gerstlauer, W. Müller, in: Proceedings of ASP-DAC’09, Yokohama,
Japan, 2009.'
date_created: 2023-01-17T11:56:21Z
date_updated: 2023-01-17T11:56:40Z
department:
- _id: '672'
language:
- iso: eng
place: Yokohama, Japan
publication: Proceedings of ASP-DAC'09
status: public
title: Hardware-dependent Software for Multi- and Many-Core Embedded Systems
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '33809'
abstract:
- lang: eng
text: "Today, mobile and embedded real-time systems have to cope with the migration\r\nand
allocation of multiple software tasks running on top of a real-time operating\r\nsystem
(RTOS) residing on one or several system processors. Each RTOS has to\r\nbe configured
towards the individual needs of the application and environment.\r\nFor this,
different scheduling strategies and task priorities have to be evaluated in\r\norder
to keep execution and response times for a given task set. Abstract RTOS\r\nsimulation
is applied to analyze different parameters in early design phases. This\r\nchapter
presents a SystemC RTOS library for abstract yet accurate RTOS sim-\r\nulation,
supporting modeling of preemption in the presence of prioritized and\r\nnested
interrupts. After introducing basic principles of abstract RTOS simula-\r\ntion,
we present our SystemC library in detail. Thereafter, we discuss related\r\napproaches
and close with applications in electronic automotive systems design\r\nand some
evaluations."
author:
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Andreas
full_name: Gerstlauer, Andreas
last_name: Gerstlauer
citation:
ama: 'Zabel H, Müller W, Gerstlauer A. Accurate RTOS Modelling and Analysis with
SystemC. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software -
Principles and Practice. Springer Verlag; 2009:233-260.'
apa: Zabel, H., Müller, W., & Gerstlauer, A. (2009). Accurate RTOS Modelling
and Analysis with SystemC. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware
Dependent Software - Principles and Practice (pp. 233–260). Springer Verlag.
bibtex: '@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate
RTOS Modelling and Analysis with SystemC}, booktitle={Hardware Dependent Software
- Principles and Practice}, publisher={Springer Verlag}, author={Zabel, Henning
and Müller, Wolfgang and Gerstlauer, Andreas}, editor={Ecker, Wolfgang and Müller,
Wolfgang and Dömer, Rainer}, year={2009}, pages={233–260} }'
chicago: 'Zabel, Henning, Wolfgang Müller, and Andreas Gerstlauer. “Accurate RTOS
Modelling and Analysis with SystemC.” In Hardware Dependent Software - Principles
and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer,
233–60. Dordrecht: Springer Verlag, 2009.'
ieee: 'H. Zabel, W. Müller, and A. Gerstlauer, “Accurate RTOS Modelling and Analysis
with SystemC,” in Hardware Dependent Software - Principles and Practice,
W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp.
233–260.'
mla: Zabel, Henning, et al. “Accurate RTOS Modelling and Analysis with SystemC.”
Hardware Dependent Software - Principles and Practice, edited by Wolfgang
Ecker et al., Springer Verlag, 2009, pp. 233–60.
short: 'H. Zabel, W. Müller, A. Gerstlauer, in: W. Ecker, W. Müller, R. Dömer (Eds.),
Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht,
2009, pp. 233–260.'
date_created: 2022-10-18T10:05:32Z
date_updated: 2025-02-26T14:45:39Z
editor:
- first_name: Wolfgang
full_name: Ecker, Wolfgang
last_name: Ecker
- first_name: Wolfgang
full_name: Müller, Wolfgang
last_name: Müller
- first_name: Rainer
full_name: Dömer, Rainer
last_name: Dömer
language:
- iso: eng
page: 233-260
place: Dordrecht
publication: Hardware Dependent Software - Principles and Practice
publication_identifier:
isbn:
- 978-1-4020-9435-4
publisher: Springer Verlag
status: public
title: Accurate RTOS Modelling and Analysis with SystemC
type: book_chapter
user_id: '5786'
year: '2009'
...
---
_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: '34564'
abstract:
- lang: eng
text: To provide user interfaces for a rich set of devices and interaction modalities,
we follow a model-based development methodology. We devised an architecture which
deploys user interfaces specified as dialogue models with abstract interaction
objects and allows context-based adaptations by means of an external transcoding
process. For the validation of the applicability of this methodology for developing
usable multimodal multi-device systems, we present two case studies based on proof-of-concept
implementations and assessed them with a large set of established design principles
and different types of modality cooperation.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Schäfer R, Müller W. Assessment of a Multimodal Interaction and Rendering System
against Established Design Principles. Journal on Multimodal User Interfaces.
2008;2(1):25-41. doi:10.1007/s12193-008-0003-3
apa: Schäfer, R., & Müller, W. (2008). Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles. Journal on Multimodal
User Interfaces, 2(1), 25–41. https://doi.org/10.1007/s12193-008-0003-3
bibtex: '@article{Schäfer_Müller_2008, title={Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles}, volume={2}, DOI={10.1007/s12193-008-0003-3},
number={1}, journal={Journal on Multimodal User Interfaces}, publisher={Springer-Verlag},
author={Schäfer, Robbie and Müller, Wolfgang}, year={2008}, pages={25–41} }'
chicago: 'Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles.” Journal on Multimodal
User Interfaces 2, no. 1 (2008): 25–41. https://doi.org/10.1007/s12193-008-0003-3.'
ieee: 'R. Schäfer and W. Müller, “Assessment of a Multimodal Interaction and Rendering
System against Established Design Principles,” Journal on Multimodal User Interfaces,
vol. 2, no. 1, pp. 25–41, 2008, doi: 10.1007/s12193-008-0003-3.'
mla: Schäfer, Robbie, and Wolfgang Müller. “Assessment of a Multimodal Interaction
and Rendering System against Established Design Principles.” Journal on Multimodal
User Interfaces, vol. 2, no. 1, Springer-Verlag, 2008, pp. 25–41, doi:10.1007/s12193-008-0003-3.
short: R. Schäfer, W. Müller, Journal on Multimodal User Interfaces 2 (2008) 25–41.
date_created: 2022-12-19T12:22:50Z
date_updated: 2022-12-19T12:23:05Z
department:
- _id: '672'
doi: 10.1007/s12193-008-0003-3
intvolume: ' 2'
issue: '1'
keyword:
- Interaction architecture Abstract interaction objects Dialogue model Transformations Multimodality Multi-device Design
principles
language:
- iso: eng
page: 25-41
publication: Journal on Multimodal User Interfaces
publisher: Springer-Verlag
status: public
title: Assessment of a Multimodal Interaction and Rendering System against Established
Design Principles
type: journal_article
user_id: '5786'
volume: 2
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: '53583'
citation:
ama: Müller W, Wolfe J, eds. Proceedings of the 5th International DAC Workshop
of UML for SoC Design.; 2008.
apa: Müller, W., & Wolfe, J. (Eds.). (2008). Proceedings of the 5th International
DAC Workshop of UML for SoC Design.
bibtex: '@book{Müller_Wolfe_2008, place={Anaheim, CA, USA}, title={Proceedings of
the 5th International DAC Workshop of UML for SoC Design}, year={2008} }'
chicago: Müller, Wolfgang, and John Wolfe, eds. Proceedings of the 5th International
DAC Workshop of UML for SoC Design. Anaheim, CA, USA, 2008.
ieee: W. Müller and J. Wolfe, Eds., Proceedings of the 5th International DAC
Workshop of UML for SoC Design. Anaheim, CA, USA, 2008.
mla: Müller, Wolfgang, and John Wolfe, editors. Proceedings of the 5th International
DAC Workshop of UML for SoC Design. 2008.
short: W. Müller, J. Wolfe, eds., Proceedings of the 5th International DAC Workshop
of UML for SoC Design, Anaheim, CA, USA, 2008.
date_created: 2024-04-18T20:44:43Z
date_updated: 2024-04-18T20:44:48Z
department:
- _id: '58'
editor:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: John
full_name: Wolfe, John
last_name: Wolfe
language:
- iso: eng
place: Anaheim, CA, USA
status: public
title: Proceedings of the 5th International DAC Workshop of UML for SoC Design
type: book_editor
user_id: '16243'
year: '2008'
...
---
_id: '53594'
citation:
ama: Wolfe J, Müller W, eds. Proceedings of the 4th DAC Workshop on UML for SOC
Design .; 2008.
apa: Wolfe, J., & Müller, W. (Eds.). (2008). Proceedings of the 4th DAC Workshop
on UML for SOC Design .
bibtex: '@book{Wolfe_Müller_2008, place={Anaheim CA, USA}, title={Proceedings of
the 4th DAC Workshop on UML for SOC Design }, year={2008} }'
chicago: Wolfe, John, and Wolfgang Müller, eds. Proceedings of the 4th DAC Workshop
on UML for SOC Design . Anaheim CA, USA, 2008.
ieee: J. Wolfe and W. Müller, Eds., Proceedings of the 4th DAC Workshop on UML
for SOC Design . Anaheim CA, USA, 2008.
mla: Wolfe, John, and Wolfgang Müller, editors. Proceedings of the 4th DAC Workshop
on UML for SOC Design . 2008.
short: J. Wolfe, W. Müller, eds., Proceedings of the 4th DAC Workshop on UML for
SOC Design , Anaheim CA, USA, 2008.
date_created: 2024-04-18T21:54:23Z
date_updated: 2024-04-18T22:11:24Z
department:
- _id: '58'
editor:
- first_name: John
full_name: Wolfe, John
last_name: Wolfe
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
language:
- iso: eng
place: Anaheim CA, USA
status: public
title: 'Proceedings of the 4th DAC Workshop on UML for SOC Design '
type: book_editor
user_id: '16243'
year: '2008'
...
---
_id: '37075'
abstract:
- lang: eng
text: Complex control oriented embedded systems with hard real-time constraints
require real-time operation system (RTOS) for predictable timing behavior. To
support the evaluation of different scheduling strategies and task priorities,
we use an abstract RTOS model based on SystemC. In this article, we present an
annotation method for time estimation that supports flexible simulation and validation
of real-time-constraints for task migration between different target processors
without loss of simulation performance and less memory overhead.
author:
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Zabel H, Müller W. An Efficient Time Annotation Technique in Abstract RTOS
Simulations for Multiprocessor Task Migration. Kleinjohann L, Kleinjohann B, eds.
2008;271. doi:10.1007/978-0-387-09661-2_18
apa: Zabel, H., & Müller, W. (2008). An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration (L. Kleinjohann
& B. Kleinjohann, Eds.; Vol. 271). Springer Verlag. https://doi.org/10.1007/978-0-387-09661-2_18
bibtex: '@article{Zabel_Müller_2008, place={Dordrecht}, series={ IFIP – The International
Federation for Information Processing}, title={An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration}, volume={271},
DOI={10.1007/978-0-387-09661-2_18},
publisher={Springer Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Kleinjohann,
L. and Kleinjohann, B.}, year={2008}, collection={ IFIP – The International Federation
for Information Processing} }'
chicago: 'Zabel, Henning, and Wolfgang Müller. “An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration.” Edited by L.
Kleinjohann and B. Kleinjohann. IFIP – The International Federation for Information
Processing. Dordrecht: Springer Verlag, 2008. https://doi.org/10.1007/978-0-387-09661-2_18.'
ieee: 'H. Zabel and W. Müller, “An Efficient Time Annotation Technique in Abstract
RTOS Simulations for Multiprocessor Task Migration,” vol. 271. Springer Verlag,
Dordrecht, 2008, doi: 10.1007/978-0-387-09661-2_18.'
mla: Zabel, Henning, and Wolfgang Müller. An Efficient Time Annotation Technique
in Abstract RTOS Simulations for Multiprocessor Task Migration. Edited by
L. Kleinjohann and B. Kleinjohann, vol. 271, Springer Verlag, 2008, doi:10.1007/978-0-387-09661-2_18.
short: H. Zabel, W. Müller, 271 (2008).
conference:
name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
2008)
date_created: 2023-01-17T12:08:21Z
date_updated: 2023-01-17T12:08:25Z
department:
- _id: '672'
doi: 10.1007/978-0-387-09661-2_18
editor:
- first_name: L.
full_name: Kleinjohann, L.
last_name: Kleinjohann
- first_name: B.
full_name: Kleinjohann, B.
last_name: Kleinjohann
intvolume: ' 271'
keyword:
- Execution Time Schedule Strategy Simulation Speed Task Migration Atomic
Block
language:
- iso: eng
place: Dordrecht
publication_identifier:
isbn:
- 978-0-387-09660-5
publisher: Springer Verlag
series_title: ' IFIP – The International Federation for Information Processing'
status: public
title: An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor
Task Migration
type: conference
user_id: '5786'
volume: 271
year: '2008'
...
---
_id: '37072'
abstract:
- lang: eng
text: "Bei der Simulation von eingebetteten Echtzeit Systemen zur Analyse von Ausführungs-\r\nzeiten
und Scheduling gibt es immer einen Kompromiss zwischen zyklengenauen Ergebnis-\r\nsen
und der Laufzeit der Simulation. Mithilfe von abstrakten RTOS Modellen auf Basis
von\r\nSystemC wird versucht diese Lücke zu schließen. Aktuelle Arbeiten besitzen
allerdings nur\r\nunzureichende Möglichkeiten zur Modellierung von Interrupt Scheduling
und ihren hard-\r\nwareabhängigen Prioritäten. Unser Ansatz verwendet zwei getrennte
Scheduler für Softwa-\r\nre Task und Interrupt Service Routinen. Diese Trennung
erlaubt die präzise Modellierung\r\nvon Interrupt Prioritäten und Interrupt Scheduling
unabhängig von dem eigentlichen RTOS\r\nScheduler."
author:
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Zabel H, Müller W. Präzises Interrupt Scheduling in abstrakten RTOS Modellen
in SystemC. In: Scholl Ch, Disch S, eds. Methoden Und Beschreibungs-Sprachen
Zur Modellierung Und Verifikation von Schaltungen Und System. Shaker Verlag;
2008.'
apa: Zabel, H., & Müller, W. (2008). Präzises Interrupt Scheduling in abstrakten
RTOS Modellen in SystemC. In Ch. Scholl & S. Disch (Eds.), Methoden und
Beschreibungs-sprachen zur Modellierung und Verifikation von Schaltungen und System.
Shaker Verlag.
bibtex: '@inproceedings{Zabel_Müller_2008, place={Aachen}, title={Präzises Interrupt
Scheduling in abstrakten RTOS Modellen in SystemC}, booktitle={Methoden und Beschreibungs-sprachen
zur Modellierung und Verifikation von Schaltungen und System}, publisher={Shaker
Verlag}, author={Zabel, Henning and Müller, Wolfgang}, editor={Scholl, Ch. and
Disch, S.}, year={2008} }'
chicago: 'Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in
Abstrakten RTOS Modellen in SystemC.” In Methoden Und Beschreibungs-Sprachen
Zur Modellierung Und Verifikation von Schaltungen Und System, edited by Ch.
Scholl and S. Disch. Aachen: Shaker Verlag, 2008.'
ieee: H. Zabel and W. Müller, “Präzises Interrupt Scheduling in abstrakten RTOS
Modellen in SystemC,” in Methoden und Beschreibungs-sprachen zur Modellierung
und Verifikation von Schaltungen und System, 2008.
mla: Zabel, Henning, and Wolfgang Müller. “Präzises Interrupt Scheduling in Abstrakten
RTOS Modellen in SystemC.” Methoden Und Beschreibungs-Sprachen Zur Modellierung
Und Verifikation von Schaltungen Und System, edited by Ch. Scholl and S. Disch,
Shaker Verlag, 2008.
short: 'H. Zabel, W. Müller, in: Ch. Scholl, S. Disch (Eds.), Methoden Und Beschreibungs-Sprachen
Zur Modellierung Und Verifikation von Schaltungen Und System, Shaker Verlag, Aachen,
2008.'
date_created: 2023-01-17T12:05:11Z
date_updated: 2023-01-17T12:05:17Z
department:
- _id: '672'
editor:
- first_name: Ch.
full_name: Scholl, Ch.
last_name: Scholl
- first_name: S.
full_name: Disch, S.
last_name: Disch
language:
- iso: eng
place: Aachen
publication: Methoden und Beschreibungs-sprachen zur Modellierung und Verifikation
von Schaltungen und System
publisher: Shaker Verlag
status: public
title: Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC
type: conference
user_id: '5786'
year: '2008'
...
---
_id: '37076'
abstract:
- lang: eng
text: "An komplexe Steuersoftware werden harte Anforderungen bez ̈ug-\r\nlich der
Einhaltung von Zeitschranken gestellt. Die richtige Wahl eines\r\nEchtzeit-Schedulingverfahrens
ist hier entscheidend. Die Verwendung\r\nvon Interrupts in einem Echtzeitsystem
erlaubt die zeitnahe Reaktion\r\nauf externe Ereignisse. Sie erschwert allerdings
die Vorhersagbarkeit\r\nvon Zeitschranken.\r\nIn diesem Bericht wird eine Methode
zur abstrakten Simulation\r\neines Echtzeitbetriebssystems (Real-Time Operating
System/RTOS)\r\nin der Systembeschreibungssprache SystemC vorgestellt. Die Verwen-\r\ndung
eines RTOS-Modelles in SystemC erlaubt die Evaluierung ver-\r\nschiedener Schedulingverfahren
zu einem fr ̈uhen Zeitpunkt im Ent-\r\nwurf des Systems. Interrupts unterliegen
allerdings nicht einem RTOS-\r\nSchedulingverfahren und m ̈ussen daher gesondert
behandelt werden.\r\nDieser Bericht beschreibt die Implementierung eines kanonischen\r\nRTOS-Modells
zur fr ̈uhen Analyse von Schedulingverfahren, das ei-\r\nne getrennte Modellierung
von Task- und Interrupt-Scheduling er-\r\nlaubt. Dieser Ansatz erlaubt die Trennung
des hardwareabh ̈angigen\r\nInterrupt-Scheduling in ein separates Modell und eine
Evaluierung des\r\nSchedules, das sich rein auf Tasks bezieht."
author:
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: Zabel H, Müller W. Simulation mit abstrakten RTOS Modellen in SystemC. 2007;6(4).
apa: Zabel, H., & Müller, W. (2007). Simulation mit abstrakten RTOS Modellen
in SystemC (Vol. 6, Issue 4).
bibtex: '@article{Zabel_Müller_2007, place={Paderborn}, series={C-LAB Report}, title={Simulation
mit abstrakten RTOS Modellen in SystemC}, volume={6}, number={4}, author={Zabel,
Henning and Müller, Wolfgang}, year={2007}, collection={C-LAB Report} }'
chicago: Zabel, Henning, and Wolfgang Müller. “Simulation Mit Abstrakten RTOS Modellen
in SystemC.” C-LAB Report. Paderborn, 2007.
ieee: H. Zabel and W. Müller, “Simulation mit abstrakten RTOS Modellen in SystemC,”
vol. 6, no. 4. Paderborn, 2007.
mla: Zabel, Henning, and Wolfgang Müller. Simulation Mit Abstrakten RTOS Modellen
in SystemC. no. 4, 2007.
short: H. Zabel, W. Müller, 6 (2007).
date_created: 2023-01-17T12:11:18Z
date_updated: 2023-01-17T12:11:23Z
department:
- _id: '672'
intvolume: ' 6'
issue: '4'
language:
- iso: eng
place: Paderborn
publication_identifier:
issn:
- 1619-7879
series_title: C-LAB Report
status: public
title: Simulation mit abstrakten RTOS Modellen in SystemC
type: conference
user_id: '5786'
volume: 6
year: '2007'
...
---
_id: '37083'
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. Systematic Testbench Specification for Constrained Randomized
Test and Functional Coverage. In: Proceedings of the 21st European Conference
on Modelling and Simulation (ECMS 2007). ; 2007.'
apa: Krupp, A., & Müller, W. (2007). Systematic Testbench Specification for
Constrained Randomized Test and Functional Coverage. Proceedings of the 21st
European Conference on Modelling and Simulation (ECMS 2007).
bibtex: '@inproceedings{Krupp_Müller_2007, place={Prague, Czech Republic}, title={Systematic
Testbench Specification for Constrained Randomized Test and Functional Coverage},
booktitle={Proceedings of the 21st European Conference on Modelling and Simulation
(ECMS 2007)}, author={Krupp, Alexander and Müller, Wolfgang}, year={2007} }'
chicago: Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification
for Constrained Randomized Test and Functional Coverage.” In Proceedings of
the 21st European Conference on Modelling and Simulation (ECMS 2007). Prague,
Czech Republic, 2007.
ieee: A. Krupp and W. Müller, “Systematic Testbench Specification for Constrained
Randomized Test and Functional Coverage,” 2007.
mla: Krupp, Alexander, and Wolfgang Müller. “Systematic Testbench Specification
for Constrained Randomized Test and Functional Coverage.” Proceedings of the
21st European Conference on Modelling and Simulation (ECMS 2007), 2007.
short: 'A. Krupp, W. Müller, in: Proceedings of the 21st European Conference on
Modelling and Simulation (ECMS 2007), Prague, Czech Republic, 2007.'
date_created: 2023-01-17T12:20:50Z
date_updated: 2023-01-17T12:20:56Z
department:
- _id: '672'
language:
- iso: eng
place: Prague, Czech Republic
publication: Proceedings of the 21st European Conference on Modelling and Simulation
(ECMS 2007)
status: public
title: Systematic Testbench Specification for Constrained Randomized Test and Functional
Coverage
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37080'
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: M.
full_name: Conrad, M.
last_name: Conrad
- first_name: Ch.
full_name: Wewetzer, Ch.
last_name: Wewetzer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Großmann J, Fey I, Conrad M, Wewetzer Ch, Müller W. TestML - A Test Exchange
Language for Model-based Testing of Embedded Software. In: Proceedings of the
Automotive Software Workshop ’06. ; 2007.'
apa: Großmann, J., Fey, I., Conrad, M., Wewetzer, Ch., & Müller, W. (2007).
TestML - A Test Exchange Language for Model-based Testing of Embedded Software.
Proceedings of the Automotive Software Workshop ’06.
bibtex: '@inproceedings{Großmann_Fey_Conrad_Wewetzer_Müller_2007, title={TestML
- A Test Exchange Language for Model-based Testing of Embedded Software}, booktitle={Proceedings
of the Automotive Software Workshop ’06}, author={Großmann, Jürgen and Fey, Ines
and Conrad, M. and Wewetzer, Ch. and Müller, Wolfgang}, year={2007} }'
chicago: Großmann, Jürgen, Ines Fey, M. Conrad, Ch. Wewetzer, and Wolfgang Müller.
“TestML - A Test Exchange Language for Model-Based Testing of Embedded Software.”
In Proceedings of the Automotive Software Workshop ’06, 2007.
ieee: J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, and W. Müller, “TestML - A Test
Exchange Language for Model-based Testing of Embedded Software,” 2007.
mla: Großmann, Jürgen, et al. “TestML - A Test Exchange Language for Model-Based
Testing of Embedded Software.” Proceedings of the Automotive Software Workshop
’06, 2007.
short: 'J. Großmann, I. Fey, M. Conrad, Ch. Wewetzer, W. Müller, in: Proceedings
of the Automotive Software Workshop ’06, 2007.'
date_created: 2023-01-17T12:19:06Z
date_updated: 2023-01-17T12:19:12Z
department:
- _id: '672'
language:
- iso: eng
publication: Proceedings of the Automotive Software Workshop '06
status: public
title: TestML - A Test Exchange Language for Model-based Testing of Embedded Software
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37079'
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Müller W. On the Use and Misuse of UML- Application of Diagrams in Engineering.
In: Proceedings of the UML for SoC Design Workshop at DAC’07. ; 2007.'
apa: Müller, W. (2007). On the Use and Misuse of UML- Application of Diagrams in
Engineering. Proceedings of the UML for SoC Design Workshop at DAC’07.
bibtex: '@inproceedings{Müller_2007, place={San Diego, USA}, title={On the Use and
Misuse of UML- Application of Diagrams in Engineering}, booktitle={Proceedings
of the UML for SoC Design Workshop at DAC’07}, author={Müller, Wolfgang}, year={2007}
}'
chicago: Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams
in Engineering.” In Proceedings of the UML for SoC Design Workshop at DAC’07.
San Diego, USA, 2007.
ieee: W. Müller, “On the Use and Misuse of UML- Application of Diagrams in Engineering,”
2007.
mla: Müller, Wolfgang. “On the Use and Misuse of UML- Application of Diagrams in
Engineering.” Proceedings of the UML for SoC Design Workshop at DAC’07,
2007.
short: 'W. Müller, in: Proceedings of the UML for SoC Design Workshop at DAC’07,
San Diego, USA, 2007.'
date_created: 2023-01-17T12:13:03Z
date_updated: 2023-01-17T12:13:09Z
department:
- _id: '672'
language:
- iso: eng
place: San Diego, USA
publication: Proceedings of the UML for SoC Design Workshop at DAC'07
status: public
title: On the Use and Misuse of UML- Application of Diagrams in Engineering
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '37085'
abstract:
- lang: eng
text: Smart Cards are becoming a ubiquitous means for securing a wide range of interactive
applications. However in many cases its use is limited for authentication purposes
only. In this paper we extend the use of smart cards for carrying abstract user
interface descriptions which can be rendered on dierent and potentially remote
clients that in addition can support varying interaction modalities. This adds
on the one hand to the security since a backend application cannot be used without
the UI description, and on the other hand to the versatility of applications,
since all devices with a respective renderer for certain modalities can be utilized.
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Andrés
full_name: Marin-López, Andrés
last_name: Marin-López
- first_name: Daniel
full_name: Díaz-Sánchez, Daniel
last_name: Díaz-Sánchez
citation:
ama: 'Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Using Smart Cards for
Secure and Device Independent User Interfaces. In: Proceedings of the International
Conference on Mobile Technology, Applications and Systems (Mobility 2007).
; 2007.'
apa: Schäfer, R., Müller, W., Marin-López, A., & Díaz-Sánchez, D. (2007). Using
Smart Cards for Secure and Device Independent User Interfaces. Proceedings
of the International Conference on Mobile Technology, Applications and Systems
(Mobility 2007).
bibtex: '@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore},
title={Using Smart Cards for Secure and Device Independent User Interfaces}, booktitle={Proceedings
of the International Conference on Mobile Technology, Applications and Systems
(Mobility 2007)}, author={Schäfer, Robbie and Müller, Wolfgang and Marin-López,
Andrés and Díaz-Sánchez, Daniel}, year={2007} }'
chicago: Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez.
“Using Smart Cards for Secure and Device Independent User Interfaces.” In Proceedings
of the International Conference on Mobile Technology, Applications and Systems
(Mobility 2007). Singapore, 2007.
ieee: R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Using Smart Cards
for Secure and Device Independent User Interfaces,” 2007.
mla: Schäfer, Robbie, et al. “Using Smart Cards for Secure and Device Independent
User Interfaces.” Proceedings of the International Conference on Mobile Technology,
Applications and Systems (Mobility 2007), 2007.
short: 'R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings
of the International Conference on Mobile Technology, Applications and Systems
(Mobility 2007), Singapore, 2007.'
date_created: 2023-01-17T12:23:34Z
date_updated: 2023-01-17T12:23:39Z
department:
- _id: '672'
language:
- iso: eng
place: Singapore
publication: Proceedings of the International Conference on Mobile Technology, Applications
and Systems (Mobility 2007)
status: public
title: Using Smart Cards for Secure and Device Independent User Interfaces
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38106'
abstract:
- lang: eng
text: User adaptive systems in the context of pervasive computing can only unveil
their power if based on a generic middleware managing private data and context
information in combination with flexible device access and control. However, managing
those data poses severe privacy problems both legally and from a trust perspective.
Therefore we propose a home automation middleware for secure management of user
and context data that gives access to services just for the authorized users and
devices. The middleware has been successfully tested at the ambient computing
(AC-LAB) at the University of Paderborn.
author:
- first_name: Andres
full_name: Marin, Andres
last_name: Marin
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Florina
full_name: Almenarez, Florina
last_name: Almenarez
- first_name: Daniel
full_name: Diaz, Daniel
last_name: Diaz
- first_name: Max
full_name: Ziegler, Max
last_name: Ziegler
citation:
ama: 'Marin A, Müller W, Schäfer R, Almenarez F, Diaz D, Ziegler M. Middleware for
Secure Home Access and Control. In: Proc. of the IEEE PerCom Middleware Support
for Pervasive Computing (PerWare 2007). IEEE; 2007.'
apa: Marin, A., Müller, W., Schäfer, R., Almenarez, F., Diaz, D., & Ziegler,
M. (2007). Middleware for Secure Home Access and Control. Proc. of the IEEE
PerCom Middleware Support for Pervasive Computing (PerWare 2007). 5th Conference
on Pervasive Computing and Communications (PerCom 2007), White Plains, New York,
USA.
bibtex: '@inproceedings{Marin_Müller_Schäfer_Almenarez_Diaz_Ziegler_2007, place={White
Plains, New York, USA}, title={Middleware for Secure Home Access and Control},
booktitle={Proc. of the IEEE PerCom Middleware Support for Pervasive Computing
(PerWare 2007)}, publisher={IEEE}, author={Marin, Andres and Müller, Wolfgang
and Schäfer, Robbie and Almenarez, Florina and Diaz, Daniel and Ziegler, Max},
year={2007} }'
chicago: 'Marin, Andres, Wolfgang Müller, Robbie Schäfer, Florina Almenarez, Daniel
Diaz, and Max Ziegler. “Middleware for Secure Home Access and Control.” In Proc.
of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007).
White Plains, New York, USA: IEEE, 2007.'
ieee: A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, and M. Ziegler, “Middleware
for Secure Home Access and Control,” presented at the 5th Conference on Pervasive
Computing and Communications (PerCom 2007), White Plains, New York, USA, 2007.
mla: Marin, Andres, et al. “Middleware for Secure Home Access and Control.” Proc.
of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007),
IEEE, 2007.
short: 'A. Marin, W. Müller, R. Schäfer, F. Almenarez, D. Diaz, M. Ziegler, in:
Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare 2007),
IEEE, White Plains, New York, USA, 2007.'
conference:
location: White Plains, New York, USA
name: 5th Conference on Pervasive Computing and Communications (PerCom 2007)
date_created: 2023-01-23T11:53:50Z
date_updated: 2023-01-23T11:53:55Z
department:
- _id: '672'
language:
- iso: eng
place: White Plains, New York, USA
publication: Proc. of the IEEE PerCom Middleware Support for Pervasive Computing (PerWare
2007)
publication_identifier:
isbn:
- 0-7695-2788-4
publisher: IEEE
status: public
title: Middleware for Secure Home Access and Control
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38100'
abstract:
- lang: eng
text: "Smart Cards are becoming a ubiquitous means for securing\r\na wide range
of interactive applications. However in many\r\ncases its use is limited for authentication
purposes only. In\r\nthis paper we extend the use of smart cards for carrying\r\nabstract
user interface descriptions which can be rendered\r\non different and potentially
remote clients that in addition\r\ncan support different interaction modalities.
This adds on\r\nthe one hand to the security since a backend application\r\ncannot
be used without the UI description, and on the other\r\nhand to the versatility
of applications, since all devices with\r\na respective renderer for certain modalities
can be utilized."
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Andrés
full_name: Marin-López, Andrés
last_name: Marin-López
- first_name: Daniel
full_name: Díaz-Sánchez, Daniel
last_name: Díaz-Sánchez
citation:
ama: 'Schäfer R, Müller W, Marin-López A, Díaz-Sánchez D. Device Independent User
Interfaces for Smart Cards. In: Proceedings of the 9th International Conference
on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007).
; 2007.'
apa: Schäfer, R., Müller, W., Marin-López, A., & Díaz-Sánchez, D. (2007). Device
Independent User Interfaces for Smart Cards. Proceedings of the 9th International
Conference on Human Computer Interaction with Mobile Devices and Services (MobileHCI2007).
bibtex: '@inproceedings{Schäfer_Müller_Marin-López_Díaz-Sánchez_2007, place={Singapore},
title={Device Independent User Interfaces for Smart Cards}, booktitle={Proceedings
of the 9th International Conference on Human Computer Interaction with Mobile
Devices and Services (MobileHCI2007)}, author={Schäfer, Robbie and Müller, Wolfgang
and Marin-López, Andrés and Díaz-Sánchez, Daniel}, year={2007} }'
chicago: Schäfer, Robbie, Wolfgang Müller, Andrés Marin-López, and Daniel Díaz-Sánchez.
“Device Independent User Interfaces for Smart Cards.” In Proceedings of the
9th International Conference on Human Computer Interaction with Mobile Devices
and Services (MobileHCI2007). Singapore, 2007.
ieee: R. Schäfer, W. Müller, A. Marin-López, and D. Díaz-Sánchez, “Device Independent
User Interfaces for Smart Cards,” 2007.
mla: Schäfer, Robbie, et al. “Device Independent User Interfaces for Smart Cards.”
Proceedings of the 9th International Conference on Human Computer Interaction
with Mobile Devices and Services (MobileHCI2007), 2007.
short: 'R. Schäfer, W. Müller, A. Marin-López, D. Díaz-Sánchez, in: Proceedings
of the 9th International Conference on Human Computer Interaction with Mobile
Devices and Services (MobileHCI2007), Singapore, 2007.'
date_created: 2023-01-23T11:45:55Z
date_updated: 2023-01-23T11:46:05Z
department:
- _id: '672'
keyword:
- Smart Card
- Abstract User Interface
- Device Independence
language:
- iso: eng
place: Singapore
publication: Proceedings of the 9th International Conference on Human Computer Interaction
with Mobile Devices and Services (MobileHCI2007)
status: public
title: Device Independent User Interfaces for Smart Cards
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38104'
abstract:
- lang: eng
text: "Location-aware services for private use such as GPS-\r\nbased navigation
systems and GSM-based offerings\r\nhave become quite a success for outdoor applications,\r\nwhile
indoor positioning systems are still mainly\r\nemployed for professional use only.
The main reasons\r\nare cost issues and the complexity of setup and\r\nmaintenance
of those systems. In this paper we\r\npresent CaMPTrack (Camera-based Multiple
Person\r\nTracker), a prototype of a webcam-based positioning\r\nsystem and discuss
its application and development\r\nchallenges."
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Roman
full_name: Deimann, Roman
last_name: Deimann
- first_name: Bernd
full_name: Kleinjohann, Bernd
last_name: Kleinjohann
citation:
ama: 'Schäfer R, Müller W, Deimann R, Kleinjohann B. A Low-Cost Positioning System
for Location-Aware Applications in Smart Homes. In: Proceedings of the Workshop
on Mobile Spatial Interaction at CHI 2007. ; 2007.'
apa: Schäfer, R., Müller, W., Deimann, R., & Kleinjohann, B. (2007). A Low-Cost
Positioning System for Location-Aware Applications in Smart Homes. Proceedings
of the Workshop on Mobile Spatial Interaction at CHI 2007.
bibtex: '@inproceedings{Schäfer_Müller_Deimann_Kleinjohann_2007, place={San Jose,
USA}, title={A Low-Cost Positioning System for Location-Aware Applications in
Smart Homes}, booktitle={Proceedings of the Workshop on Mobile Spatial Interaction
at CHI 2007}, author={Schäfer, Robbie and Müller, Wolfgang and Deimann, Roman
and Kleinjohann, Bernd}, year={2007} }'
chicago: Schäfer, Robbie, Wolfgang Müller, Roman Deimann, and Bernd Kleinjohann.
“A Low-Cost Positioning System for Location-Aware Applications in Smart Homes.”
In Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007.
San Jose, USA, 2007.
ieee: R. Schäfer, W. Müller, R. Deimann, and B. Kleinjohann, “A Low-Cost Positioning
System for Location-Aware Applications in Smart Homes,” 2007.
mla: Schäfer, Robbie, et al. “A Low-Cost Positioning System for Location-Aware Applications
in Smart Homes.” Proceedings of the Workshop on Mobile Spatial Interaction
at CHI 2007, 2007.
short: 'R. Schäfer, W. Müller, R. Deimann, B. Kleinjohann, in: Proceedings of the
Workshop on Mobile Spatial Interaction at CHI 2007, San Jose, USA, 2007.'
date_created: 2023-01-23T11:50:18Z
date_updated: 2023-01-23T11:50:27Z
department:
- _id: '672'
keyword:
- Positioning Systems
- Camera Based
- Cost Efficiency
- Smart Home Applications
language:
- iso: eng
place: San Jose, USA
publication: Proceedings of the Workshop on Mobile Spatial Interaction at CHI 2007
status: public
title: A Low-Cost Positioning System for Location-Aware Applications in Smart Homes
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38102'
author:
- first_name: Robbie
full_name: Schäfer, Robbie
last_name: Schäfer
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schäfer R, Müller W. Evaluation of a Multimodal System Based on Dialogue Models
and Transformations International Workshop on Usability of User Interfaces: From
Monomodal to Multimodal. In: Proceedings of IWUMUI’2007 at HCI’2007. ;
2007.'
apa: 'Schäfer, R., & Müller, W. (2007). Evaluation of a Multimodal System Based
on Dialogue Models and Transformations International Workshop on Usability of
User Interfaces: From Monomodal to Multimodal. Proceedings of IWUMUI’2007 at
HCI’2007.'
bibtex: '@inproceedings{Schäfer_Müller_2007, place={Lancaster, United Kingdom},
title={Evaluation of a Multimodal System Based on Dialogue Models and Transformations
International Workshop on Usability of User Interfaces: From Monomodal to Multimodal},
booktitle={Proceedings of IWUMUI’2007 at HCI’2007}, author={Schäfer, Robbie and
Müller, Wolfgang}, year={2007} }'
chicago: 'Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System
Based on Dialogue Models and Transformations International Workshop on Usability
of User Interfaces: From Monomodal to Multimodal.” In Proceedings of IWUMUI’2007
at HCI’2007. Lancaster, United Kingdom, 2007.'
ieee: 'R. Schäfer and W. Müller, “Evaluation of a Multimodal System Based on Dialogue
Models and Transformations International Workshop on Usability of User Interfaces:
From Monomodal to Multimodal,” 2007.'
mla: 'Schäfer, Robbie, and Wolfgang Müller. “Evaluation of a Multimodal System Based
on Dialogue Models and Transformations International Workshop on Usability of
User Interfaces: From Monomodal to Multimodal.” Proceedings of IWUMUI’2007
at HCI’2007, 2007.'
short: 'R. Schäfer, W. Müller, in: Proceedings of IWUMUI’2007 at HCI’2007, Lancaster,
United Kingdom, 2007.'
date_created: 2023-01-23T11:48:03Z
date_updated: 2023-01-23T11:48:14Z
department:
- _id: '672'
language:
- iso: eng
place: Lancaster, United Kingdom
publication: Proceedings of IWUMUI’2007 at HCI'2007
status: public
title: 'Evaluation of a Multimodal System Based on Dialogue Models and Transformations
International Workshop on Usability of User Interfaces: From Monomodal to Multimodal'
type: conference
user_id: '5786'
year: '2007'
...
---
_id: '38533'
abstract:
- lang: eng
text: UML (Unified Modeling Language™) as an OMG standard has received wide acceptance
in software engineering over the last years. As electronic systems design moved
towards software engineering, there is emerging interest for UML within the hardware
community and different UML diagrams and their variations found their application
in requirements specification, testbenches, architectural descriptions, and behavioral
modeling.In most cases, UML is just applied as a graphical capture, though UML
2.0 meanwhile comes as a computationally complete language based on a generic
metamodeling mechanism. Though it introduces considerable complexity, it is one
of the key strengths of UML 2.0, providing a flexible foundation for its customization
towards different application domains through so-called UML profiles, which currently
receives increasing tool support and gives UML great potential to complement current
C++-oriented languages for ESL design. In this context, SysML and the UML for
SoC extension are already available as OMG profiles for Systems Engineering and
SoC application and several proprietary profiles are under development. In that
context, the concepts of the Model Driven Architecture (MDA) are of emerging interest.
However, since MDA was mainly introduced for CASE tool support, its full application
for hardware design still needs some investigations and certainly comes with some
pitfalls.For industrial applications, the availability of appropriate tool support
is crucial for deployment of UML in SoC design. UML tools currently come in different
variations based on different UML versions and subsets with the support of specific
flows, so that the selection of the appropriate tools becomes a key decision for
the successful introduction of UML. Recently, several groups have reported positive
outcomes regarding the customization of UML and tool support towards SoC design.
These efforts result from collaborations between industrial users, researchers,
and tool vendors, and constitute steps in the right direction. Regarding model
exchange between tools, the UML-related XMI (XML Metadata Interchange) format
and its relationship to SPIRIT, the emerging IEEE standard, are of additional
particular interest. Partial overlaps can be identified and are currently under
investigations by some projects, like SPRINT.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Yves
full_name: Vanderperren, Yves
last_name: Vanderperren
citation:
ama: 'Müller W, Vanderperren Y. UML and Model-Driven Development for SoC Design.
In: Proceedings of CODES/ISSS. ; 2006.'
apa: Müller, W., & Vanderperren, Y. (2006). UML and Model-Driven Development
for SoC Design. Proceedings of CODES/ISSS.
bibtex: '@inproceedings{Müller_Vanderperren_2006, place={Seoul, Korea}, title={UML
and Model-Driven Development for SoC Design}, booktitle={Proceedings of CODES/ISSS},
author={Müller, Wolfgang and Vanderperren, Yves}, year={2006} }'
chicago: Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development
for SoC Design.” In Proceedings of CODES/ISSS. Seoul, Korea, 2006.
ieee: W. Müller and Y. Vanderperren, “UML and Model-Driven Development for SoC Design,”
2006.
mla: Müller, Wolfgang, and Yves Vanderperren. “UML and Model-Driven Development
for SoC Design.” Proceedings of CODES/ISSS, 2006.
short: 'W. Müller, Y. Vanderperren, in: Proceedings of CODES/ISSS, Seoul, Korea,
2006.'
date_created: 2023-01-24T07:51:41Z
date_updated: 2023-01-24T07:51:52Z
department:
- _id: '672'
language:
- iso: eng
place: Seoul, Korea
publication: Proceedings of CODES/ISSS
status: public
title: UML and Model-Driven Development for SoC Design
type: conference
user_id: '5786'
year: '2006'
...