---
_id: '37048'
abstract:
- lang: eng
text: We introduce a structured methodology for the generation of executable test
environments from textual requirement specifications via UML class diagrams and
the application of the classification tree methodology for embedded systems. The
first phase is a stepwise transformation from unstructured English text into a
textual normal form (TNF), which is automatically translated into UML class diagrams.
After annotations of the class diagrams and the definition of test cases by sequence
diagrams, both are converted into classification trees. From the classification
trees we can finally generate SystemVerilog code. The methodology is introduced
and evaluated by the example of an Adaptive Cruise Controller.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Alexander
full_name: Bol, Alexander
last_name: Bol
- first_name: Alexander
full_name: Krupp, Alexander
last_name: Krupp
- first_name: Ola
full_name: Lundkvist, Ola
last_name: Lundkvist
citation:
ama: 'Müller W, Bol A, Krupp A, Lundkvist O. Generation of Executable Testbenches
from Natural Language Requirement Specifications for Embedded Real-Time Systems.
In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010. doi:10.1007/978-3-642-15234-4_9'
apa: Müller, W., Bol, A., Krupp, A., & Lundkvist, O. (2010). Generation of
Executable Testbenches from Natural Language Requirement Specifications for Embedded
Real-Time Systems (L. Kleinjohann & B. Kleinjohann, Eds.). Springer Verlag.
https://doi.org/10.1007/978-3-642-15234-4_9
bibtex: '@inproceedings{Müller_Bol_Krupp_Lundkvist_2010, place={Dordrecht}, title={Generation
of Executable Testbenches from Natural Language Requirement Specifications for
Embedded Real-Time Systems}, DOI={10.1007/978-3-642-15234-4_9},
publisher={Springer Verlag}, author={Müller, Wolfgang and Bol, Alexander and Krupp,
Alexander and Lundkvist, Ola}, editor={Kleinjohann, L. and Kleinjohann, B.}, year={2010}
}'
chicago: 'Müller, Wolfgang, Alexander Bol, Alexander Krupp, and Ola Lundkvist. “Generation
of Executable Testbenches from Natural Language Requirement Specifications for
Embedded Real-Time Systems.” edited by L. Kleinjohann and B. Kleinjohann. Dordrecht:
Springer Verlag, 2010. https://doi.org/10.1007/978-3-642-15234-4_9.'
ieee: 'W. Müller, A. Bol, A. Krupp, and O. Lundkvist, “Generation of Executable
Testbenches from Natural Language Requirement Specifications for Embedded Real-Time
Systems,” 2010, doi: 10.1007/978-3-642-15234-4_9.'
mla: Müller, Wolfgang, et al. Generation of Executable Testbenches from Natural
Language Requirement Specifications for Embedded Real-Time Systems. Edited
by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010, doi:10.1007/978-3-642-15234-4_9.
short: 'W. Müller, A. Bol, A. Krupp, O. Lundkvist, in: L. Kleinjohann, B. Kleinjohann
(Eds.), Springer Verlag, Dordrecht, 2010.'
conference:
name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
2010)
date_created: 2023-01-17T11:09:48Z
date_updated: 2023-01-17T11:09:54Z
department:
- _id: '672'
doi: 10.1007/978-3-642-15234-4_9
editor:
- first_name: L.
full_name: Kleinjohann, L.
last_name: Kleinjohann
- first_name: B.
full_name: Kleinjohann, B.
last_name: Kleinjohann
keyword:
- Natural Language UML SystemVerilog Testbenches
language:
- iso: eng
place: Dordrecht
publication_identifier:
isbn:
- 978-3-642-15233-7
publisher: Springer Verlag
status: public
title: Generation of Executable Testbenches from Natural Language Requirement Specifications
for Embedded Real-Time Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37049'
author:
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Florian
full_name: Letombe, Florian
last_name: Letombe
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Xie T, Letombe F, Müller W. Mutation-Analysis Directed Constrained Random
Verification. In: Kleinjohann L, Kleinjohann B, eds. Springer Verlag; 2010.'
apa: Xie, T., Letombe, F., & Müller, W. (2010). Mutation-Analysis Directed
Constrained Random Verification (L. Kleinjohann & B. Kleinjohann, Eds.).
Springer Verlag.
bibtex: '@inproceedings{Xie_Letombe_Müller_2010, place={Dordrecht}, title={Mutation-Analysis
Directed Constrained Random Verification}, publisher={Springer Verlag}, author={Xie,
Tao and Letombe, Florian and Müller, Wolfgang}, editor={Kleinjohann, L. and Kleinjohann,
B.}, year={2010} }'
chicago: 'Xie, Tao, Florian Letombe, and Wolfgang Müller. “Mutation-Analysis Directed
Constrained Random Verification.” edited by L. Kleinjohann and B. Kleinjohann.
Dordrecht: Springer Verlag, 2010.'
ieee: T. Xie, F. Letombe, and W. Müller, “Mutation-Analysis Directed Constrained
Random Verification,” 2010.
mla: Xie, Tao, et al. Mutation-Analysis Directed Constrained Random Verification.
Edited by L. Kleinjohann and B. Kleinjohann, Springer Verlag, 2010.
short: 'T. Xie, F. Letombe, W. Müller, in: L. Kleinjohann, B. Kleinjohann (Eds.),
Springer Verlag, Dordrecht, 2010.'
conference:
name: IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES
2010)
date_created: 2023-01-17T11:11:51Z
date_updated: 2023-01-17T11:12:52Z
department:
- _id: '672'
editor:
- first_name: L.
full_name: Kleinjohann, L.
last_name: Kleinjohann
- first_name: B.
full_name: Kleinjohann, B.
last_name: Kleinjohann
language:
- iso: eng
place: Dordrecht
publisher: Springer Verlag
status: public
title: Mutation-Analysis Directed Constrained Random Verification
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37051'
author:
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Gilles B.
full_name: Defo, Gilles B.
last_name: Defo
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Xie T, Defo GB, Müller W. An Eclipse-based Framework for the IP-XACT-enabled
Assembly of Mixed-Level IPs. In: ; 2010.'
apa: Xie, T., Defo, G. B., & Müller, W. (2010). An Eclipse-based Framework
for the IP-XACT-enabled Assembly of Mixed-Level IPs. First Workshop on Hands-on
Platforms and tools for model-based engineering of Embedded Systems (HoPES 2010),
Paris.
bibtex: '@inproceedings{Xie_Defo_Müller_2010, place={Paris}, title={An Eclipse-based
Framework for the IP-XACT-enabled Assembly of Mixed-Level IPs}, author={Xie, Tao
and Defo, Gilles B. and Müller, Wolfgang}, year={2010} }'
chicago: Xie, Tao, Gilles B. Defo, and Wolfgang Müller. “An Eclipse-Based Framework
for the IP-XACT-Enabled Assembly of Mixed-Level IPs.” Paris, 2010.
ieee: T. Xie, G. B. Defo, and W. Müller, “An Eclipse-based Framework for the IP-XACT-enabled
Assembly of Mixed-Level IPs,” presented at the First Workshop on Hands-on Platforms
and tools for model-based engineering of Embedded Systems (HoPES 2010), Paris,
2010.
mla: Xie, Tao, et al. An Eclipse-Based Framework for the IP-XACT-Enabled Assembly
of Mixed-Level IPs. 2010.
short: 'T. Xie, G.B. Defo, W. Müller, in: Paris, 2010.'
conference:
location: Paris
name: First Workshop on Hands-on Platforms and tools for model-based engineering
of Embedded Systems (HoPES 2010)
date_created: 2023-01-17T11:22:10Z
date_updated: 2023-01-17T11:22:16Z
department:
- _id: '672'
language:
- iso: eng
place: Paris
status: public
title: An Eclipse-based Framework for the IP-XACT-enabled Assembly of Mixed-Level
IPs
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37057'
abstract:
- lang: eng
text: Many heterogeneous embedded systems, for example industrial automation and
automotive applications, require hard-real time constraints to be exhaustively
verified - which is a challenging task for the verification engineer. To cope
with complexity, verification techniques working on different abstraction levels
are best practice. SystemC is a versatile C++ based design and verification language,
offering various mechanisms and constructs required for embedded systems modeling.
Using the add-on SystemC Verification Library (SCV) elemental constrained-random
stimuli techniques may be used for verification. However, SCV has several drawbacks
such as lack of functional coverage. In this paper we present a functional coverage
library that implements parts of the IEEE 1800-2005 SystemVerilog standard and
allows capturing functional coverage throughout the design and verification process
with SystemC. Moreover, we will demonstrate the usability of the approach with
a case study working on a CAN bus model written in SystemC.
author:
- first_name: Gilles B.
full_name: Defo, Gilles B.
last_name: Defo
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
citation:
ama: 'Defo GB, Müller W, Kuznik C. Verification of a CAN Bus Model in SystemC with
Functional Coverage. In: Proceedings of SIES 2010. IEEE; 2010. doi:10.1109/SIES.2010.5551379'
apa: Defo, G. B., Müller, W., & Kuznik, C. (2010). Verification of a CAN Bus
Model in SystemC with Functional Coverage. Proceedings of SIES 2010. International
Symposium on Industrial Embedded System (SIES), Trento, Italy. https://doi.org/10.1109/SIES.2010.5551379
bibtex: '@inproceedings{Defo_Müller_Kuznik_2010, place={ Trento, Italy}, title={Verification
of a CAN Bus Model in SystemC with Functional Coverage}, DOI={10.1109/SIES.2010.5551379},
booktitle={Proceedings of SIES 2010}, publisher={IEEE}, author={Defo, Gilles B.
and Müller, Wolfgang and Kuznik, Christoph}, year={2010} }'
chicago: 'Defo, Gilles B., Wolfgang Müller, and Christoph Kuznik. “Verification
of a CAN Bus Model in SystemC with Functional Coverage.” In Proceedings of
SIES 2010. Trento, Italy: IEEE, 2010. https://doi.org/10.1109/SIES.2010.5551379.'
ieee: 'G. B. Defo, W. Müller, and C. Kuznik, “Verification of a CAN Bus Model in
SystemC with Functional Coverage,” presented at the International Symposium on
Industrial Embedded System (SIES), Trento, Italy, 2010, doi: 10.1109/SIES.2010.5551379.'
mla: Defo, Gilles B., et al. “Verification of a CAN Bus Model in SystemC with Functional
Coverage.” Proceedings of SIES 2010, IEEE, 2010, doi:10.1109/SIES.2010.5551379.
short: 'G.B. Defo, W. Müller, C. Kuznik, in: Proceedings of SIES 2010, IEEE, Trento,
Italy, 2010.'
conference:
location: ' Trento, Italy'
name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:34:56Z
date_updated: 2023-01-17T11:35:03Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551379
keyword:
- Libraries
- Generators
- Transfer functions
- Monitoring
- Computational modeling
- Driver circuits
- Adaptation model
language:
- iso: eng
place: ' Trento, Italy'
publication: Proceedings of SIES 2010
publication_identifier:
eisbn:
- 978-1-4244-5841-7
publisher: IEEE
status: public
title: Verification of a CAN Bus Model in SystemC with Functional Coverage
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37056'
abstract:
- lang: eng
text: In this paper we present an approach to increase the fault tolerance in FlexRay
networks by introducing backup nodes to replace defect ECUs (Electronic Control
Units). In order to reduce the memory requirements of such backup nodes, we distribute
redundant tasks over different nodes and propose the distributed coordinated migration
of tasks of the defect ECU to the backup node at runtime. This approach enhances
our former work in, where we extended the FlexRay bus schedule by redundant slots
to consider changes in the communication/slot assignment and investigated and
evaluated different solutions to migrate the redundant tasks to the backup node
using the static and/or dynamic segment of the communication cycle for transmissions.
We present the approach of distributed coordination for migration and communication
instead of additional dedicated coordinator nodes to further increase the fault
tolerance. With this approach we improve the safety of FlexRay networks by avoiding
a possible single point of failure due to a dedicated coordinator node also minimizing
the necessary time needed for a reconfiguration after an ECU failure. Furthermore,
we reduce the overhead within the communication and the demand for additional
hardware components.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Gilles B.
full_name: Defo, Gilles B.
last_name: Defo
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Timo
full_name: Kerstan, Timo
last_name: Kerstan
citation:
ama: 'Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task
Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010.
; 2010. doi:10.1109/SIES.2010.5551384'
apa: Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed
Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings
of SIES 2010. International Symposium on Industrial Embedded System (SIES).
https://doi.org/10.1109/SIES.2010.5551384
bibtex: '@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien},
title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks},
DOI={10.1109/SIES.2010.5551384},
booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles
B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }'
chicago: Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed
Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings
of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
ieee: 'K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination
of Task Migration for Fault-Tolerant FlexRay Networks,” presented at the International
Symposium on Industrial Embedded System (SIES), 2010, doi: 10.1109/SIES.2010.5551384.'
mla: Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant
FlexRay Networks.” Proceedings of SIES 2010, 2010, doi:10.1109/SIES.2010.5551384.
short: 'K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES
2010, Trento, Italien, 2010.'
conference:
name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:31:38Z
date_updated: 2023-01-17T11:31:47Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551384
keyword:
- Fault tolerant systems
- Protocols
- Redundancy
- Runtime
- Payloads
- Schedules
language:
- iso: eng
place: Trento, Italien
publication: Proceedings of SIES 2010
publication_identifier:
eisbn:
- 978-1-4244-5841-7
status: public
title: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37053'
abstract:
- lang: eng
text: Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent
Software (HdS) like drivers, operating systems, and firmware. For early estimation
and verification, the application of SystemC in combination with Instruction Set
Simulators and Software Emulators like QEMU is widely accepted. In this article,
we present an advanced design flow for HW, (RT)OS and HdS refinement and verification
with focus on the transition from abstract RTOS verification to full system RTOS/HdS
emulation. In the context of assertion-based verification, we introduce a set
of generic real-time properties which can be reused and verified at different
abstraction levels and discuss their application. The properties are presented
by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS
models.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Marcio F.
full_name: da S. Oliveira, Marcio F.
last_name: da S. Oliveira
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
citation:
ama: 'Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time
Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010.
IEEE; 2010.'
apa: Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification
of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010.
IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim,
FL, USA.
bibtex: '@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification
of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings
of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira,
Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }'
chicago: Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker.
“Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings
of HLDVT2010. IEEE, 2010.
ieee: W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of
Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International
High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
mla: Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant
Software.” Proceedings of HLDVT2010, IEEE, 2010.
short: 'W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of
HLDVT2010, IEEE, 2010.'
conference:
location: Anaheim, FL, USA
name: IEEE International High Level Design Validation and Test Workshop (HLDVT)
date_created: 2023-01-17T11:28:26Z
date_updated: 2023-01-17T11:28:30Z
department:
- _id: '672'
keyword:
- Hardware
- Microprogramming
- Application software
- Timing
- Protocols
- Virtual prototyping
- Real time systems
- Sampling methods
- Operating systems
- Emulation
language:
- iso: eng
publication: Proceedings of HLDVT2010
publication_identifier:
eisbn:
- 978-1-4244-7806-4
publisher: IEEE
status: public
title: Verification of Real-Time Properties for Hardware-Dependant Software
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37060'
author:
- first_name: Marcio F. S.
full_name: Oliveira, Marcio F. S.
last_name: Oliveira
- first_name: Francisco Assis M.
full_name: do Nascimento, Francisco Assis M.
last_name: do Nascimento
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Oliveira MFS, do Nascimento FAM, Müller W. Design Space Abstraction and Metamodeling
for Embedded Systems Design Space Exploration. In: Proceedings of MoMPES 2010.
; 2010.'
apa: Oliveira, M. F. S., do Nascimento, F. A. M., & Müller, W. (2010). Design
Space Abstraction and Metamodeling for Embedded Systems Design Space Exploration.
Proceedings of MoMPES 2010.
bibtex: '@inproceedings{Oliveira_do Nascimento_Müller_2010, place={Antwerp, Belgium},
title={Design Space Abstraction and Metamodeling for Embedded Systems Design Space
Exploration}, booktitle={Proceedings of MoMPES 2010}, author={Oliveira, Marcio
F. S. and do Nascimento, Francisco Assis M. and Müller, Wolfgang}, year={2010}
}'
chicago: Oliveira, Marcio F. S., Francisco Assis M. do Nascimento, and Wolfgang
Müller. “Design Space Abstraction and Metamodeling for Embedded Systems Design
Space Exploration.” In Proceedings of MoMPES 2010. Antwerp, Belgium, 2010.
ieee: M. F. S. Oliveira, F. A. M. do Nascimento, and W. Müller, “Design Space Abstraction
and Metamodeling for Embedded Systems Design Space Exploration,” 2010.
mla: Oliveira, Marcio F. S., et al. “Design Space Abstraction and Metamodeling for
Embedded Systems Design Space Exploration.” Proceedings of MoMPES 2010,
2010.
short: 'M.F.S. Oliveira, F.A.M. do Nascimento, W. Müller, in: Proceedings of MoMPES
2010, Antwerp, Belgium, 2010.'
date_created: 2023-01-17T11:37:39Z
date_updated: 2023-01-17T11:37:44Z
department:
- _id: '672'
language:
- iso: eng
place: Antwerp, Belgium
publication: Proceedings of MoMPES 2010
status: public
title: Design Space Abstraction and Metamodeling for Embedded Systems Design Space
Exploration
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '33813'
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. doi:10.1007/978-1-4020-9436-1_9'
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.
https://doi.org/10.1007/978-1-4020-9436-1_9
bibtex: '@inbook{Zabel_Müller_Gerstlauer_2009, place={Dordrecht}, title={Accurate
RTOS Modelling and Analysis with SystemC}, DOI={10.1007/978-1-4020-9436-1_9},
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. https://doi.org/10.1007/978-1-4020-9436-1_9.'
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, doi:10.1007/978-1-4020-9436-1_9.
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:45:06Z
date_updated: 2022-10-18T10:55:55Z
department:
- _id: '672'
doi: 10.1007/978-1-4020-9436-1_9
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
keyword:
- RTOS Modelling
- RTOS Simulation
- SystemC
- Task Scheduling
- Interrupt Analysis
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: '33814'
abstract:
- lang: eng
text: "Rapidly rising system complexity has created a growing productivity gap in
the\r\ndesign of electronic systems. One critical component is Hardware-dependent\r\nSoftware
(HdS), the importance of which is often underestimated. In this chap-\r\nter,
we introduce HdS and illustrate its role in the overall system design context.\r\nWe
also provide a brief overview and define a basic HdS terminology and con-\r\nclude
with a brief outlook over the following chapters in this book."
author:
- first_name: Wolfgang
full_name: Ecker, Wolfgang
last_name: Ecker
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Rainer
full_name: Dömer, Rainer
last_name: Dömer
citation:
ama: 'Ecker W, Müller W, Dömer R. Hardware-dependent Software - Introduction and
Overview. In: Ecker W, Müller W, Dömer R, eds. Hardware Dependent Software
- Principles and Practice. Springer Verlag; 2009:1-14. doi:10.1007/978-1-4020-9436-1_1'
apa: Ecker, W., Müller, W., & Dömer, R. (2009). Hardware-dependent Software
- Introduction and Overview. In W. Ecker, W. Müller, & R. Dömer (Eds.), Hardware
Dependent Software - Principles and Practice (pp. 1–14). Springer Verlag.
https://doi.org/10.1007/978-1-4020-9436-1_1
bibtex: '@inbook{Ecker_Müller_Dömer_2009, place={Dordrecht}, title={Hardware-dependent
Software - Introduction and Overview}, DOI={10.1007/978-1-4020-9436-1_1},
booktitle={Hardware Dependent Software - Principles and Practice}, publisher={Springer
Verlag}, author={Ecker, Wolfgang and Müller, Wolfgang and Dömer, Rainer}, editor={Ecker,
Wolfgang and Müller, Wolfgang and Dömer, Rainer}, year={2009}, pages={1–14} }'
chicago: 'Ecker, Wolfgang, Wolfgang Müller, and Rainer Dömer. “Hardware-Dependent
Software - Introduction and Overview.” In Hardware Dependent Software - Principles
and Practice, edited by Wolfgang Ecker, Wolfgang Müller, and Rainer Dömer,
1–14. Dordrecht: Springer Verlag, 2009. https://doi.org/10.1007/978-1-4020-9436-1_1.'
ieee: 'W. Ecker, W. Müller, and R. Dömer, “Hardware-dependent Software - Introduction
and Overview,” in Hardware Dependent Software - Principles and Practice,
W. Ecker, W. Müller, and R. Dömer, Eds. Dordrecht: Springer Verlag, 2009, pp.
1–14.'
mla: Ecker, Wolfgang, et al. “Hardware-Dependent Software - Introduction and Overview.”
Hardware Dependent Software - Principles and Practice, edited by Wolfgang
Ecker et al., Springer Verlag, 2009, pp. 1–14, doi:10.1007/978-1-4020-9436-1_1.
short: 'W. Ecker, W. Müller, R. Dömer, in: W. Ecker, W. Müller, R. Dömer (Eds.),
Hardware Dependent Software - Principles and Practice, Springer Verlag, Dordrecht,
2009, pp. 1–14.'
date_created: 2022-10-18T10:54:39Z
date_updated: 2022-10-18T10:54:56Z
department:
- _id: '672'
doi: 10.1007/978-1-4020-9436-1_1
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
keyword:
- Hardware-dependent Software
- Systems Complexity
- Productivity Gap
language:
- iso: eng
page: 1-14
place: Dordrecht
publication: Hardware Dependent Software - Principles and Practice
publication_identifier:
isbn:
- 978-1-4020-9435-4
publisher: Springer Verlag
status: public
title: Hardware-dependent Software - Introduction and Overview
type: book_chapter
user_id: '5786'
year: '2009'
...
---
_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: '37066'
abstract:
- lang: eng
text: Today, mobile and embedded real-time systems have to cope with the migration
and allocation of multiple software tasks running on top of a real-time operating
system (RTOS) residing on one or multiple system processors. Abstract RTOS simulations
and timing analysis applies for fast and early estimation to configure it towards
the individual needs of the application and environment. In this context, a high
accuracy of the simulation compared to an instruction set simulation (ISS) is
of key importance. In this paper, we investigate the accuracy of abstract RTOS
simulation and compare it to ISS and the behavior of the physical system. We show
that we can reach an increased accuracy of the simulation when we inject noise
into the time model. Our results indicate that it is sufficient to inject uniformly
distributed random time values to the RTOS real-time clock.
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. Increased Accuracy through Noise Injection in Abstract
RTOS Simulation. In: Proceedings of DATE’09. ; 2009. doi:10.1109/DATE.2009.5090925'
apa: Zabel, H., & Müller, W. (2009). Increased Accuracy through Noise Injection
in Abstract RTOS Simulation. Proceedings of DATE’09. Design, Automation
& Test in Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090925
bibtex: '@inproceedings{Zabel_Müller_2009, place={Nice, France}, title={Increased
Accuracy through Noise Injection in Abstract RTOS Simulation}, DOI={10.1109/DATE.2009.5090925},
booktitle={Proceedings of DATE’09}, author={Zabel, Henning and Müller, Wolfgang},
year={2009} }'
chicago: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise
Injection in Abstract RTOS Simulation.” In Proceedings of DATE’09. Nice,
France, 2009. https://doi.org/10.1109/DATE.2009.5090925.
ieee: 'H. Zabel and W. Müller, “Increased Accuracy through Noise Injection in Abstract
RTOS Simulation,” presented at the Design, Automation & Test in Europe Conference
& Exhibition, 2009, doi: 10.1109/DATE.2009.5090925.'
mla: Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection
in Abstract RTOS Simulation.” Proceedings of DATE’09, 2009, doi:10.1109/DATE.2009.5090925.
short: 'H. Zabel, W. Müller, in: Proceedings of DATE’09, Nice, France, 2009.'
conference:
name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:51:44Z
date_updated: 2023-01-17T11:51:48Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090925
keyword:
- Timing
- Analytical models
- Clocks
- Performance analysis
- Scheduling
- Operating systems
- Delay
- Real time systems
- Application software
- Context modeling
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
isbn:
- 978-1-4244-3781-8
status: public
title: Increased Accuracy through Noise Injection in Abstract RTOS Simulation
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: '37064'
author:
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- 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: 'Becker M, Zabel H, Müller W. Integration abstrakter RTOS-Simulation in den
Entwurf eingebetteter automobiler E/E-Systeme. In: ; 2009.'
apa: Becker, M., Zabel, H., & Müller, W. (2009). Integration abstrakter RTOS-Simulation
in den Entwurf eingebetteter automobiler E/E-Systeme. Methoden und Beschreibungssprachen
zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin.
bibtex: '@inproceedings{Becker_Zabel_Müller_2009, title={Integration abstrakter
RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-Systeme}, author={Becker,
Markus and Zabel, Henning and Müller, Wolfgang}, year={2009} }'
chicago: Becker, Markus, Henning Zabel, and Wolfgang Müller. “Integration Abstrakter
RTOS-Simulation in Den Entwurf Eingebetteter Automobiler E/E-Systeme,” 2009.
ieee: M. Becker, H. Zabel, and W. Müller, “Integration abstrakter RTOS-Simulation
in den Entwurf eingebetteter automobiler E/E-Systeme,” presented at the Methoden
und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und
Systemen (MBMV), Berlin, 2009.
mla: Becker, Markus, et al. Integration Abstrakter RTOS-Simulation in Den Entwurf
Eingebetteter Automobiler E/E-Systeme. 2009.
short: 'M. Becker, H. Zabel, W. Müller, in: 2009.'
conference:
location: Berlin
name: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen
und Systemen (MBMV)
date_created: 2023-01-17T11:49:24Z
date_updated: 2023-01-17T11:49:29Z
department:
- _id: '672'
language:
- iso: eng
status: public
title: Integration abstrakter RTOS-Simulation in den Entwurf eingebetteter automobiler
E/E-Systeme
type: conference
user_id: '5786'
year: '2009'
...
---
_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: '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: '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'
...