---
_id: '11892'
abstract:
- lang: eng
text: For an environment to be perceived as being smart, contextual information
has to be gathered to adapt the system's behavior and its interface towards the
user. Being a rich source of context information speech can be acquired unobtrusively
by microphone arrays and then processed to extract information about the user
and his environment. In this paper, a system for joint temporal segmentation,
speaker localization, and identification is presented, which is supported by face
identification from video data obtained from a steerable camera. Special attention
is paid to latency aspects and online processing capabilities, as they are important
for the application under investigation, namely ambient communication. It describes
the vision of terminal-less, session-less and multi-modal telecommunication with
remote partners, where the user can move freely within his home while the communication
follows him. The speaker diarization serves as a context source, which has been
integrated in a service-oriented middleware architecture and provided to the application
to select the most appropriate I/O device and to steer the camera towards the
speaker during ambient communication.
author:
- first_name: Joerg
full_name: Schmalenstroeer, Joerg
id: '460'
last_name: Schmalenstroeer
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: Schmalenstroeer J, Haeb-Umbach R. Online Diarization of Streaming Audio-Visual
Data for Smart Environments. IEEE Journal of Selected Topics in Signal Processing.
2010;4(5):845-856. doi:10.1109/JSTSP.2010.2050519
apa: Schmalenstroeer, J., & Haeb-Umbach, R. (2010). Online Diarization of Streaming
Audio-Visual Data for Smart Environments. IEEE Journal of Selected Topics in
Signal Processing, 4(5), 845–856. https://doi.org/10.1109/JSTSP.2010.2050519
bibtex: '@article{Schmalenstroeer_Haeb-Umbach_2010, title={Online Diarization of
Streaming Audio-Visual Data for Smart Environments}, volume={4}, DOI={10.1109/JSTSP.2010.2050519},
number={5}, journal={IEEE Journal of Selected Topics in Signal Processing}, author={Schmalenstroeer,
Joerg and Haeb-Umbach, Reinhold}, year={2010}, pages={845–856} }'
chicago: 'Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization
of Streaming Audio-Visual Data for Smart Environments.” IEEE Journal of Selected
Topics in Signal Processing 4, no. 5 (2010): 845–56. https://doi.org/10.1109/JSTSP.2010.2050519.'
ieee: 'J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual
Data for Smart Environments,” IEEE Journal of Selected Topics in Signal Processing,
vol. 4, no. 5, pp. 845–856, 2010, doi: 10.1109/JSTSP.2010.2050519.'
mla: Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Online Diarization of Streaming
Audio-Visual Data for Smart Environments.” IEEE Journal of Selected Topics
in Signal Processing, vol. 4, no. 5, 2010, pp. 845–56, doi:10.1109/JSTSP.2010.2050519.
short: J. Schmalenstroeer, R. Haeb-Umbach, IEEE Journal of Selected Topics in Signal
Processing 4 (2010) 845–856.
date_created: 2019-07-12T05:30:16Z
date_updated: 2023-10-26T08:10:18Z
department:
- _id: '54'
doi: 10.1109/JSTSP.2010.2050519
intvolume: ' 4'
issue: '5'
keyword:
- audio streaming
- audio visual data streaming
- context information speech
- face identification
- face recognition
- image segmentation
- middleware
- multimodal telecommunication
- online diarization
- service oriented middleware architecture
- sessionless telecommunication
- software architecture
- speaker identification
- speaker localization
- speaker recognition
- steerable camera
- telecommunication computing
- temporal segmentation
- terminal-less telecommunication
- video streaming
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2010/ScHa10.pdf
oa: '1'
page: 845-856
publication: IEEE Journal of Selected Topics in Signal Processing
quality_controlled: '1'
status: public
title: Online Diarization of Streaming Audio-Visual Data for Smart Environments
type: journal_article
user_id: '460'
volume: 4
year: '2010'
...
---
_id: '37007'
abstract:
- lang: eng
text: UML is widely applied for the specification and modeling of software and some
studies have demonstrated that it is applicable for HW/SW codesign. However, in
this area there is still a big gap from UML modeling to SystemC-based verification
and synthesis environments. This paper presents an efficient approach to bridge
this gap in the context of Systems-on-a-Chip (SoC) design. We propose a framework
for the seamless integration of a customized SysML entry with code generation
for HW/SW cosimulation and high-level FPGA synthesis. For this, we extended the
SysML UML profile by SystemC and synthesis capabilities. Two case studies demonstrate
the applicability of our approach.
author:
- first_name: Fabian
full_name: Mischkalla, Fabian
last_name: Mischkalla
- first_name: Da
full_name: He, Da
last_name: He
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Mischkalla F, He D, Müller W. Closing the Gap between UML-based Modeling and
Simulation of Combined HW/SW Systems. In: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456990'
apa: Mischkalla, F., He, D., & Müller, W. (2010). Closing the Gap between UML-based
Modeling and Simulation of Combined HW/SW Systems. Proceedings of DATE’10.
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE
2010), Dresden. https://doi.org/10.1109/DATE.2010.5456990
bibtex: '@inproceedings{Mischkalla_He_Müller_2010, place={Dresden}, title={Closing
the Gap between UML-based Modeling and Simulation of Combined HW/SW Systems},
DOI={10.1109/DATE.2010.5456990},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Mischkalla, Fabian
and He, Da and Müller, Wolfgang}, year={2010} }'
chicago: 'Mischkalla, Fabian, Da He, and Wolfgang Müller. “Closing the Gap between
UML-Based Modeling and Simulation of Combined HW/SW Systems.” In Proceedings
of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456990.'
ieee: 'F. Mischkalla, D. He, and W. Müller, “Closing the Gap between UML-based Modeling
and Simulation of Combined HW/SW Systems,” presented at the 2010 Design, Automation
& Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi:
10.1109/DATE.2010.5456990.'
mla: Mischkalla, Fabian, et al. “Closing the Gap between UML-Based Modeling and
Simulation of Combined HW/SW Systems.” Proceedings of DATE’10, IEEE, 2010,
doi:10.1109/DATE.2010.5456990.
short: 'F. Mischkalla, D. He, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden,
2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:12:35Z
date_updated: 2023-01-17T09:12:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456990
keyword:
- Unified modeling language
- Field programmable gate arrays
- Bridges
- Helium
- Real time systems
- Operating systems
- Documentation
- Application software
- XML
- Space exploration
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
eisbn:
- 978-3-9810801-6-2
publisher: IEEE
status: public
title: Closing the Gap between UML-based Modeling and Simulation of Combined HW/SW
Systems
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37009'
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 several processors. For scaling of each task
set and processor configuration, instruction set simulation and worst case timing
analysis are typically applied. This paper presents a complementary approach for
the verification of RTOS properties based on an abstract RTOS-Model in SystemC.
We apply IEEE P1850 PSL for which we present an approach and first experiences
for the assertion-based verification of RTOS properties.
author:
- first_name: Marcio F. S.
full_name: Oliveira, Marcio F. S.
last_name: Oliveira
- 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: 'Oliveira MFS, Zabel H, Müller W. Assertion-Based Verification of RTOS Properties.
In: Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457130'
apa: Oliveira, M. F. S., Zabel, H., & Müller, W. (2010). Assertion-Based Verification
of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &
Test in Europe Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457130
bibtex: '@inproceedings{Oliveira_Zabel_Müller_2010, place={Dresden}, title={Assertion-Based
Verification of RTOS Properties}, DOI={10.1109/DATE.2010.5457130},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Oliveira, Marcio
F. S. and Zabel, Henning and Müller, Wolfgang}, year={2010} }'
chicago: 'Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based
Verification of RTOS Properties.” In Proceedings of DATE’10. Dresden: IEEE,
2010. https://doi.org/10.1109/DATE.2010.5457130.'
ieee: 'M. F. S. Oliveira, H. Zabel, and W. Müller, “Assertion-Based Verification
of RTOS Properties,” presented at the 2010 Design, Automation & Test in Europe
Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457130.'
mla: Oliveira, Marcio F. S., et al. “Assertion-Based Verification of RTOS Properties.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457130.
short: 'M.F.S. Oliveira, H. Zabel, W. Müller, in: Proceedings of DATE’10, IEEE,
Dresden, 2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:15:10Z
date_updated: 2023-01-17T09:15:18Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457130
keyword:
- Operating systems
- Real time systems
- Timing
- Hardware
- Analytical models
- Embedded software
- Software systems
- Processor scheduling
- Software performance
- Performance analysis
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: Assertion-Based Verification of RTOS Properties
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37011'
abstract:
- lang: eng
text: Safety-critical automotive systems must fulfill hard real-time constraints
for reliability and safety. This paper presents a case study for the application
of an AUTOSAR-based language for timing modeling and analysis. We present and
apply the Timing Augmented Description Language (TADL) and demonstrate a methodology
for the development of a speed-adaptive steer-by-wire system. We examine the impact
of TADL and the methodology on the development process and the suitability and
interoperability of the applied tools with respect to the AUTOSAR-based tool chain
in the context of our case study.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Andre
full_name: Thuy, Andre
last_name: Thuy
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for
AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10,
Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125'
apa: Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling
and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings
of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference
& Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
bibtex: '@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing
Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study},
DOI={10.1109/DATE.2010.5457125},
booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz,
Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }'
chicago: 'Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing
Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”
In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.'
ieee: 'K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis
for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010
Design, Automation & Test in Europe Conference & Exhibition (DATE 2010),
Dresden, 2010, doi: 10.1109/DATE.2010.5457125.'
mla: Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software
Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010,
doi:10.1109/DATE.2010.5457125.
short: 'K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10,
Dresden, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:19:36Z
date_updated: 2023-01-17T09:19:46Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457125
keyword:
- Timing
- Programming
- Automotive engineering
- Application software
- Hardware
- Computer architecture
- Communication system software
- Software architecture
- Delay
- Software standards
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10, Dresden
publisher: IEEE
status: public
title: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case
Study
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37037'
abstract:
- lang: eng
text: Today we can identify a big gap between requirement specification and the
generation of test environments. This article extends the Classification Tree
Method for Embedded Systems (CTM/ES) to fill this gap by new concepts for the
precise specification of stimuli for operational ranges of continuous control
systems. It introduces novel means for continuous acceptance criteria definition
and for functional coverage definition.
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. A Systematic Approach to Combined HW/SW System Test. In:
Proceedings of DATE’10. IEEE; 2010. doi:10.1109/DATE.2010.5457186'
apa: Krupp, A., & Müller, W. (2010). A Systematic Approach to Combined HW/SW
System Test. Proceedings of DATE’10. Design, Automation & Test in Europe
Conference & Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457186
bibtex: '@inproceedings{Krupp_Müller_2010, place={Dresden}, title={A Systematic
Approach to Combined HW/SW System Test}, DOI={10.1109/DATE.2010.5457186},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Krupp, Alexander
and Müller, Wolfgang}, year={2010} }'
chicago: 'Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined
HW/SW System Test.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457186.'
ieee: 'A. Krupp and W. Müller, “A Systematic Approach to Combined HW/SW System Test,”
presented at the Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457186.'
mla: Krupp, Alexander, and Wolfgang Müller. “A Systematic Approach to Combined HW/SW
System Test.” Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5457186.
short: 'A. Krupp, W. Müller, in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:41:15Z
date_updated: 2023-01-17T10:41:25Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457186
keyword:
- System testing
- Automatic testing
- Object oriented modeling
- Classification tree analysis
- Automotive engineering
- Mathematical model
- Embedded system
- Control systems
- Electronic equipment testing
- Software testing
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publisher: IEEE
status: public
title: A Systematic Approach to Combined HW/SW System Test
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: '5625'
abstract:
- lang: eng
text: The increasing availability and deployment of open source software in personal
and commercial environments makes open source software highly appealing for hackers,
and others who are interested in exploiting software vulnerabilities. This deployment
has resulted in a debate ?full of religion? on the security of open source software
compared to that of closed source software. However, beyond such arguments, only
little quantitative analysis on this research issue has taken place. We discuss
the state-of-the-art of the security debate and identify shortcomings. Based on
these, we propose new metrics, which allows to answer the question to what extent
the review process of open source and closed source development has helped to
fix vulnerabilities. We illustrate the application of some of these metrics in
a case study on OpenOffice (open source software) vs. Microsoft Office (closed
source software).
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
- first_name: Rouven
full_name: Kadura, Rouven
last_name: Kadura
citation:
ama: 'Schryen G, Kadura R. Open Source vs. Closed Source Software: Towards Measuring
Security. In: 24th Annual ACM Symposium on Applied Computing. ; 2009.'
apa: 'Schryen, G., & Kadura, R. (2009). Open Source vs. Closed Source Software:
Towards Measuring Security. In 24th Annual ACM Symposium on Applied Computing.'
bibtex: '@inproceedings{Schryen_Kadura_2009, title={Open Source vs. Closed Source
Software: Towards Measuring Security}, booktitle={24th Annual ACM Symposium on
Applied Computing}, author={Schryen, Guido and Kadura, Rouven}, year={2009} }'
chicago: 'Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software:
Towards Measuring Security.” In 24th Annual ACM Symposium on Applied Computing,
2009.'
ieee: 'G. Schryen and R. Kadura, “Open Source vs. Closed Source Software: Towards
Measuring Security,” in 24th Annual ACM Symposium on Applied Computing,
2009.'
mla: 'Schryen, Guido, and Rouven Kadura. “Open Source vs. Closed Source Software:
Towards Measuring Security.” 24th Annual ACM Symposium on Applied Computing,
2009.'
short: 'G. Schryen, R. Kadura, in: 24th Annual ACM Symposium on Applied Computing,
2009.'
date_created: 2018-11-14T14:12:27Z
date_updated: 2022-01-06T07:02:13Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2018-12-18T13:14:09Z
date_updated: 2018-12-18T13:14:09Z
file_id: '6310'
file_name: ACM VERSION.pdf
file_size: 456497
relation: main_file
file_date_updated: 2018-12-18T13:14:09Z
has_accepted_license: '1'
keyword:
- Open source software
- Closed source software
- Security
- Metrics
language:
- iso: eng
oa: '1'
publication: 24th Annual ACM Symposium on Applied Computing
status: public
title: 'Open Source vs. Closed Source Software: Towards Measuring Security'
type: conference
user_id: '61579'
year: '2009'
...
---
_id: '5647'
abstract:
- lang: eng
text: Reviewing literature on open source and closed source security reveals that
the discussion is often determined by biased attitudes toward one of these development
styles. The discussion specifically lacks appropriate metrics, methodology and
hard data. This paper contributes to solving this problem by analyzing and comparing
published vulnerabilities of eight open source software and nine closed source
software packages, all of which are widely deployed. Thereby, it provides an extensive
empirical analysis of vulnerabilities in terms of mean time between vulnerability
disclosures, the development of disclosure over time, and the severity of vulnerabilities,
and allows for validating models provided in the literature. The investigation
reveals that (a) the mean time between vulnerability disclosures was lower for
open source software in half of the cases, while the other cases show no differences,
(b) in contrast to literature assumption, 14 out of 17 software packages showed
a significant linear or piecewise linear correlation between time and the number
of published vulnerabilities, and (c) regarding the severity of vulnerabilities,
no significant differences were found between open source and closed source.
author:
- first_name: Guido
full_name: Schryen, Guido
id: '72850'
last_name: Schryen
citation:
ama: 'Schryen G. Security of open source and closed source software: An empirical
comparison of published vulnerabilities. In: 15th Americas Conference on Information
Systems. ; 2009.'
apa: 'Schryen, G. (2009). Security of open source and closed source software: An
empirical comparison of published vulnerabilities. In 15th Americas Conference
on Information Systems.'
bibtex: '@inproceedings{Schryen_2009, title={Security of open source and closed
source software: An empirical comparison of published vulnerabilities}, booktitle={15th
Americas Conference on Information Systems}, author={Schryen, Guido}, year={2009}
}'
chicago: 'Schryen, Guido. “Security of Open Source and Closed Source Software: An
Empirical Comparison of Published Vulnerabilities.” In 15th Americas Conference
on Information Systems, 2009.'
ieee: 'G. Schryen, “Security of open source and closed source software: An empirical
comparison of published vulnerabilities,” in 15th Americas Conference on Information
Systems, 2009.'
mla: 'Schryen, Guido. “Security of Open Source and Closed Source Software: An Empirical
Comparison of Published Vulnerabilities.” 15th Americas Conference on Information
Systems, 2009.'
short: 'G. Schryen, in: 15th Americas Conference on Information Systems, 2009.'
date_created: 2018-11-14T14:41:24Z
date_updated: 2022-01-06T07:02:19Z
ddc:
- '000'
department:
- _id: '277'
extern: '1'
file:
- access_level: open_access
content_type: application/pdf
creator: hsiemes
date_created: 2018-12-18T13:16:39Z
date_updated: 2018-12-18T13:16:39Z
file_id: '6317'
file_name: Security of Open Source and Closed Source Software An Empirical - AMCIS
Version.pdf
file_size: 483690
relation: main_file
file_date_updated: 2018-12-18T13:16:39Z
has_accepted_license: '1'
keyword:
- Vulnerabilities
- security
- open source software
- closed source software
- empirical comparison
language:
- iso: eng
oa: '1'
publication: 15th Americas Conference on Information Systems
status: public
title: 'Security of open source and closed source software: An empirical comparison
of published vulnerabilities'
type: conference
user_id: '61579'
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: '17272'
abstract:
- lang: eng
text: In developmental research, tutoring behavior has been identified as scaffolding
infants' learning processes. It has been defined in terms of child-directed speech
(Motherese), child-directed motion (Motionese), and contingency. In the field
of developmental robotics, research often assumes that in human-robot interaction
(HRI), robots are treated similar to infants, because their immature cognitive
capabilities benefit from this behavior. However, according to our knowledge,
it has barely been studied whether this is true and how exactly humans alter their
behavior towards a robotic interaction partner. In this paper, we present results
concerning the acceptance of a robotic agent in a social learning scenario obtained
via comparison to adults and 8-11 months old infants in equal conditions. These
results constitute an important empirical basis for making use of tutoring behavior
in social robotics. In our study, we performed a detailed multimodal analysis
of HRI in a tutoring situation using the example of a robot simulation equipped
with a bottom-up saliency-based attention model. Our results reveal significant
differences in hand movement velocity, motion pauses, range of motion, and eye
gaze suggesting that for example adults decrease their hand movement velocity
in an Adult-Child Interaction (ACI), opposed to an Adult-Adult Interaction (AAI)
and this decrease is even higher in the Adult-Robot Interaction (ARI). We also
found important differences between ACI and ARI in how the behavior is modified
over time as the interaction unfolds. These findings indicate the necessity of
integrating top-down feedback structures into a bottom-up system for robots to
be fully accepted as interaction partners.
author:
- first_name: Anna-Lisa
full_name: Vollmer, Anna-Lisa
last_name: Vollmer
- first_name: Katrin Solveig
full_name: Lohan, Katrin Solveig
last_name: Lohan
- first_name: Kerstin
full_name: Fischer, Kerstin
last_name: Fischer
- first_name: Yukie
full_name: Nagai, Yukie
last_name: Nagai
- first_name: Karola
full_name: Pitsch, Karola
last_name: Pitsch
- first_name: Jannik
full_name: Fritsch, Jannik
last_name: Fritsch
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Britta
full_name: Wrede, Britta
last_name: Wrede
citation:
ama: 'Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior
in robot-directed interaction for action learning. In: Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning.
IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516'
apa: Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch,
J., Rohlfing, K., & Wrede, B. (2009). People modify their tutoring behavior
in robot-directed interaction for action learning. Development and Learning,
2009. ICDL 2009. IEEE 8th International Conference on Development and Learning,
1–6. https://doi.org/10.1109/DEVLRN.2009.5175516
bibtex: '@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009,
title={People modify their tutoring behavior in robot-directed interaction for
action learning}, DOI={10.1109/DEVLRN.2009.5175516},
booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola
and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6}
}'
chicago: Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai,
Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify
Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.” In
Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516.
ieee: 'A.-L. Vollmer et al., “People modify their tutoring behavior in robot-directed
interaction for action learning,” in Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, 2009, pp. 1–6,
doi: 10.1109/DEVLRN.2009.5175516.'
mla: Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed
Interaction for Action Learning.” Development and Learning, 2009. ICDL 2009.
IEEE 8th International Conference on Development and Learning, IEEE, 2009,
pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
short: 'A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch,
K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th
International Conference on Development and Learning, IEEE, 2009, pp. 1–6.'
date_created: 2020-06-24T13:02:43Z
date_updated: 2023-02-01T13:06:43Z
department:
- _id: '749'
doi: 10.1109/DEVLRN.2009.5175516
keyword:
- robot simulation
- hand movement velocity
- robotic interaction partner
- robotic agent
- robot-directed interaction
- multimodal analysis
- Motionese
- Motherese
- intelligent tutoring systems
- immature cognitive capability
- human computer interaction
- eye gaze
- child-directed speech
- child-directed motion
- bottom-up system
- bottom-up saliency-based attention model
- adult-robot interaction
- adult-child interaction
- adult-adult interaction
- human-robot interaction
- action learning
- social learning scenario
- social robotics
- software agents
- top-down feedback structures
- tutoring behavior
language:
- iso: eng
page: 1-6
publication: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference
on Development and Learning
publisher: IEEE
status: public
title: People modify their tutoring behavior in robot-directed interaction for action
learning
type: conference
user_id: '14931'
year: '2009'
...
---
_id: '38107'
abstract:
- lang: eng
text: TestML is an XML-based language for the exchange of test descriptions in automotive
systems design and mainly introduced through the structural definition of an XML
schema as an independent exchange format for existing tools and methods covering
a wide range of different test technologies. In this paper, we present a rigorous
formal behavioral semantics for TestML by means of Abstract State Machines (ASMs).
Our semantics is a concise, unambiguous, high-level specification for TestML-based
implementations and serves as a basis to define exact and well-defined mappings
between existing test languages and TestML.
author:
- first_name: Jürgen
full_name: Großmann, Jürgen
last_name: Großmann
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc.
of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37'
apa: Großmann, J., & Müller, W. (2006). A Formal Behavioral Semantics for TestML.
Proc. of ISOLA 06. https://doi.org/10.1109/ISoLA.2006.37
bibtex: '@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal
Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37},
booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang},
year={2006} }'
chicago: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for
TestML.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/10.1109/ISoLA.2006.37.
ieee: 'J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos,
Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.'
mla: Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”
Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
short: 'J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.'
conference:
location: Paphos, Cyprus
date_created: 2023-01-23T12:00:06Z
date_updated: 2023-01-23T12:06:26Z
department:
- _id: '672'
doi: 10.1109/ISoLA.2006.37
keyword:
- System testing
- Software testing
- Automotive engineering
- Automatic testing
- Machinery production industries
- Protocols
- Hardware design languages
- Samarium
- XML
- Computer industry
language:
- iso: eng
place: Paphos, Cyprus
publication: Proc. of ISOLA 06
publication_identifier:
isbn:
- 978-0-7695-3071-0
status: public
title: A Formal Behavioral Semantics for TestML
type: conference
user_id: '5786'
year: '2006'
...
---
_id: '39029'
abstract:
- lang: eng
text: UML 2.0 provides a rich set of diagrams for systems documentation and specification.
Much effort has been undertaken to employ different aspects of UML for multiple
domains, mainly in the area of software systems. Considering the area of electronic
design automation, however, we currently see only very few approaches which investigate
UML for hardware design and hardware/software co-design. We present an approach
for executable UML closing the gap from system specification to its model-based
execution on reconfigurable hardware. For this purpose, we present our abstract
execution platform (AEP), which is based on a virtual machine running an executable
UML subset for embedded software and reconfigurable hardware. This subset combines
UML 2.0 classes, state-machines and sequence diagrams for a complete system specification.
We describe how these binary encoded UML specifications can be directly executed
and give the implementation of such a virtual machine on a Virtex II FPGA. Finally,
we present evaluation results comparing the AEP implementation with C code on
a C167 microcontroller.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Achim
full_name: Rettberg, Achim
last_name: Rettberg
citation:
ama: 'Schattkowsky T, Müller W, Rettberg A. A Model-Based Approach for Executable
Specification on Reconfigurable Hardware. In: Proceedings of DATE’05. IEEE;
2005. doi:10.1109/DATE.2005.20'
apa: Schattkowsky, T., Müller, W., & Rettberg, A. (2005). A Model-Based Approach
for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.
https://doi.org/10.1109/DATE.2005.20
bibtex: '@inproceedings{Schattkowsky_Müller_Rettberg_2005, place={Munich, Germany
}, title={A Model-Based Approach for Executable Specification on Reconfigurable
Hardware}, DOI={10.1109/DATE.2005.20},
booktitle={Proceedings of DATE’05}, publisher={IEEE}, author={Schattkowsky, Tim
and Müller, Wolfgang and Rettberg, Achim}, year={2005} }'
chicago: 'Schattkowsky, Tim, Wolfgang Müller, and Achim Rettberg. “A Model-Based
Approach for Executable Specification on Reconfigurable Hardware.” In Proceedings
of DATE’05. Munich, Germany : IEEE, 2005. https://doi.org/10.1109/DATE.2005.20.'
ieee: 'T. Schattkowsky, W. Müller, and A. Rettberg, “A Model-Based Approach for
Executable Specification on Reconfigurable Hardware,” 2005, doi: 10.1109/DATE.2005.20.'
mla: Schattkowsky, Tim, et al. “A Model-Based Approach for Executable Specification
on Reconfigurable Hardware.” Proceedings of DATE’05, IEEE, 2005, doi:10.1109/DATE.2005.20.
short: 'T. Schattkowsky, W. Müller, A. Rettberg, in: Proceedings of DATE’05, IEEE,
Munich, Germany , 2005.'
date_created: 2023-01-24T08:10:40Z
date_updated: 2023-01-24T08:10:44Z
department:
- _id: '672'
doi: 10.1109/DATE.2005.20
keyword:
- Hardware
- Unified modeling language
- Virtual machining
- Object oriented modeling
- Field programmable gate arrays
- Java
- Microcontrollers
- Embedded software
- Real time systems
- Documentation
language:
- iso: eng
place: 'Munich, Germany '
publication: Proceedings of DATE’05
publication_identifier:
isbn:
- 0-7695-2288-2
publisher: IEEE
status: public
title: A Model-Based Approach for Executable Specification on Reconfigurable Hardware
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39030'
abstract:
- lang: eng
text: "StateCharts are well accepted for embedded systems\r\nspecification for various
applications. However, for the\r\nspecification of complex systems they have several\r\nlimitations.
In this article, we present a novel approach to\r\nefficiently execute an UML
2.0 subset for embedded real-\r\ntime systems implementation with focus on hardware\r\ninterrupts,
software exceptions, and timeouts. We\r\nintroduce a UML Virtual Machine, which
directly\r\nexecutes sequence diagrams, which are embedded into\r\nhierarchically
structured state transition diagrams.\r\nWhereas state diagrams are directly executed
as\r\nEmbedded State Machines (ESMs), sequence diagrams\r\nare translated into
UVM Bytecode. The final UVM\r\nexecution is performed by the interaction of the
ESM and\r\nthe Bytecode Interpreter. Due to our completely model-\r\nbased approach,
the UVM runtime kernel is easily\r\nadaptable and scalable to different scheduling
and\r\nmemory management strategies."
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. A UML Virtual Machine for Embedded Systems. In:
Proceedings of ISNG 05. ; 2005.'
apa: Schattkowsky, T., & Müller, W. (2005). A UML Virtual Machine for Embedded
Systems. Proceedings of ISNG 05.
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Las Vegas, NV}, title={A
UML Virtual Machine for Embedded Systems}, booktitle={Proceedings of ISNG 05},
author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
Systems.” In Proceedings of ISNG 05. Las Vegas, NV, 2005.
ieee: T. Schattkowsky and W. Müller, “A UML Virtual Machine for Embedded Systems,”
2005.
mla: Schattkowsky, Tim, and Wolfgang Müller. “A UML Virtual Machine for Embedded
Systems.” Proceedings of ISNG 05, 2005.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of ISNG 05, Las Vegas, NV, 2005.'
date_created: 2023-01-24T08:12:20Z
date_updated: 2023-01-24T08:12:26Z
department:
- _id: '672'
keyword:
- UML
- Executable Models
- Hardware/Software Co-design
- Virtual Machine
- Embedded Systems
language:
- iso: eng
place: Las Vegas, NV
publication: Proceedings of ISNG 05
status: public
title: A UML Virtual Machine for Embedded Systems
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39032'
abstract:
- lang: eng
text: Executable UML models are nowadays gaining interest in embedded systems design.
This domain is strongly devoted to the modeling of reactive behavior using StateChart
variants. In this context, the direct execution of UML state machines is an interesting
alternative to native code generation approaches since it significantly increases
portability. However, fully featured UML 2.0 State Machines may contain a broad
set of features with complex execution semantics that differ significantly from
other StateChart variants. This makes their direct execution complex and inefficient.
In this paper, we demonstrate how such state machines can be represented using
a small subset of the UML state machine features that enables efficient execution.
We describe the necessary model transformations in terms of graph transformations
and discuss the underlying semantics and implications for execution.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Müller W. Transformation of UML State Machines for Direct
Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64'
apa: Schattkowsky, T., & Müller, W. (2005). Transformation of UML State Machines
for Direct Execution. Proceedings of VL/HCC 05. https://doi.org/10.1109/VLHCC.2005.64
bibtex: '@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation
of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64},
booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang},
year={2005} }'
chicago: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.
https://doi.org/10.1109/VLHCC.2005.64.
ieee: 'T. Schattkowsky and W. Müller, “Transformation of UML State Machines for
Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.'
mla: Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines
for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
short: 'T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA,
2005.'
date_created: 2023-01-24T08:18:10Z
date_updated: 2023-01-24T08:18:27Z
department:
- _id: '672'
doi: 10.1109/VLHCC.2005.64
keyword:
- Unified modeling language
- Software design
- Virtual machining
- Embedded system
- Programming
- Documentation
- Hardware
- Computer languages
- Operating systems
- Runtime
language:
- iso: eng
place: Dallas, TX, USA
publication: Proceedings of VL/HCC 05
publication_identifier:
isbn:
- 0-7695-2443-5
status: public
title: Transformation of UML State Machines for Direct Execution
type: conference
user_id: '5786'
year: '2005'
...
---
_id: '39069'
abstract:
- lang: eng
text: We present the syntax and semantics of a past- and future-oriented temporal
extension of the Object Constraint Language (OCL). Our extension supports designers
to express time-bounded properties over a state-oriented UML model of a system
under development. The semantics is formally defined over the system states of
a mathematical object model. Additionally, we present a mapping to Clocked Linear
Temporal Logic (Clocked LTL) formulae, which is the basis for further application
in verification with model checking. We demonstrate the applicability of the approach
by the example of a buffer specification in the context of a production system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Past- and Future-Oriented Time-Bound Temporal Properties
with OCL. In: Proceedings of SEFM´04. IEEE; 2004. doi:10.1109/SEFM.2004.1347516'
apa: Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal
Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second
International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
bibtex: '@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past-
and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516},
booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and
Müller, Wolfgang}, year={2004} }'
chicago: 'Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China:
IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.'
ieee: 'S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties
with OCL,” presented at the Proceedings of the Second International Conference
on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.'
mla: Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound
Temporal Properties with OCL.” Proceedings of SEFM´04, IEEE, 2004, doi:10.1109/SEFM.2004.1347516.
short: 'S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.'
conference:
name: ' Proceedings of the Second International Conference on Software Engineering
and Formal Methods'
date_created: 2023-01-24T09:03:36Z
date_updated: 2023-01-24T09:03:41Z
department:
- _id: '672'
doi: 10.1109/SEFM.2004.1347516
keyword:
- Unified modeling language
- Logic
- Clocks
- Boolean functions
- Application software
- Time factors
- Real time systems
- Formal verification
- Buffer storage
- Software packages
language:
- iso: eng
place: Beijing, China
publication: Proceedings of SEFM´04
publication_identifier:
isbn:
- 0-7695-2222-X
publisher: IEEE
status: public
title: Past- and Future-Oriented Time-Bound Temporal Properties with OCL
type: conference
user_id: '5786'
year: '2004'
...
---
_id: '39382'
abstract:
- lang: eng
text: We present a rigorous but transparent semantics definition of the SpecC language
that covers the execution of SpecC behaviors and their interaction with the kernel
process. The semantics include wait, wait for, par, and try statements as they
are introduced in SpecC. We present our definition in form of distributed abstract
state machine (ASM) rules strictly following the lines of the SpecC Language Reference
Manual. We mainly see our formal semantics in three application areas. First,
it is a concise, unambiguous description for documentation and standardization.
Second, it applies as a high-level, pseudo code-oriented specification for the
implementation of a SpecC simulator. Finally, it is a first step for SpecC synthesis
in order to identify similar concepts with other languages like VHDL and SystemC
for the definition of common patterns and language subsets.
author:
- 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
- first_name: Andreas
full_name: Gerstlauer, Andreas
last_name: Gerstlauer
citation:
ama: 'Müller W, Dömer R, Gerstlauer A. The Formal Execution Semantics of SpecC.
In: Proceedings of the ISSS02. ; 2002. doi:10.1145/581199.581234 '
apa: Müller, W., Dömer, R., & Gerstlauer, A. (2002). The Formal Execution Semantics
of SpecC. Proceedings of the ISSS02. https://doi.org/10.1145/581199.581234
bibtex: '@inproceedings{Müller_Dömer_Gerstlauer_2002, place={Nagoya, Japan}, title={The
Formal Execution Semantics of SpecC}, DOI={10.1145/581199.581234 }, booktitle={Proceedings of the ISSS02}, author={Müller,
Wolfgang and Dömer, Rainer and Gerstlauer, Andreas}, year={2002} }'
chicago: Müller, Wolfgang, Rainer Dömer, and Andreas Gerstlauer. “The Formal Execution
Semantics of SpecC.” In Proceedings of the ISSS02. Nagoya, Japan, 2002.
https://doi.org/10.1145/581199.581234
.
ieee: 'W. Müller, R. Dömer, and A. Gerstlauer, “The Formal Execution Semantics of
SpecC,” 2002, doi: 10.1145/581199.581234
.'
mla: Müller, Wolfgang, et al. “The Formal Execution Semantics of SpecC.” Proceedings
of the ISSS02, 2002, doi:10.1145/581199.581234
.
short: 'W. Müller, R. Dömer, A. Gerstlauer, in: Proceedings of the ISSS02, Nagoya,
Japan, 2002.'
date_created: 2023-01-24T10:10:24Z
date_updated: 2023-01-24T10:10:28Z
department:
- _id: '672'
doi: '10.1145/581199.581234 '
keyword:
- Standardization
- Kernel
- Permission
- Formal verification
- Logic functions
- Documentation
- Reasoning about programs
- Specification languages
- Formal specifications
- Software systems
language:
- iso: eng
place: Nagoya, Japan
publication: Proceedings of the ISSS02
publication_identifier:
isbn:
- 1-58113-576-9
status: public
title: The Formal Execution Semantics of SpecC
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39403'
abstract:
- lang: eng
text: The Unified Modeling Language (UML) has received wide acceptance as a standard
language in the field of software specification by means of different diagram
types. In a recent version of UML, the textual Object Constraint Language (OCL)
was introduced to support specification of constraints for UML models. But OCL
currently does not provide sufficient means to specify constraints over the dynamic
behavior of a model. This article presents an OCL extension that is consistent
with current OCL and enables modelers to specify state-related time-bounded constraints.
We consider the case study of a flexible manufacturing system and identify typical
real-time constraints. The constraints are presented in our temporal OCL extension
as well as in temporal logic formulae. For general application, we define a semantics
of our OCL extension by means of a time-bounded temporal logic based on Computational
Tree Logic (CTL).
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In:
Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469'
apa: Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for
UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii
International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification
of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469},
booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang},
year={2002} }'
chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002.
https://doi.org/10.1109/HICSS.2002.994469.
ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”
presented at the Proceedings of the 35th Annual Hawaii International Conference
on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.'
mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
2002.'
conference:
location: 'Big Island, HI, USA '
name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
keyword:
- Unified modeling language
- Logic
- Formal verification
- Real time systems
- Programming profession
- Vehicle dynamics
- Software standards
- Flexible manufacturing systems
- Electronics industry
- Protocols
language:
- iso: eng
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
isbn:
- 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39925'
author:
- first_name: K.
full_name: Goser, K.
last_name: Goser
- first_name: Ulrich
full_name: Hilleringmann, Ulrich
id: '20179'
last_name: Hilleringmann
- first_name: U.
full_name: Rueckert, U.
last_name: Rueckert
- first_name: K.
full_name: Schumacher, K.
last_name: Schumacher
citation:
ama: Goser K, Hilleringmann U, Rueckert U, Schumacher K. VLSI technologies for artificial
neural networks. IEEE Micro. 2002;9(6):28-44. doi:10.1109/40.42985
apa: Goser, K., Hilleringmann, U., Rueckert, U., & Schumacher, K. (2002). VLSI
technologies for artificial neural networks. IEEE Micro, 9(6), 28–44.
https://doi.org/10.1109/40.42985
bibtex: '@article{Goser_Hilleringmann_Rueckert_Schumacher_2002, title={VLSI technologies
for artificial neural networks}, volume={9}, DOI={10.1109/40.42985},
number={6}, journal={IEEE Micro}, publisher={Institute of Electrical and Electronics
Engineers (IEEE)}, author={Goser, K. and Hilleringmann, Ulrich and Rueckert, U.
and Schumacher, K.}, year={2002}, pages={28–44} }'
chicago: 'Goser, K., Ulrich Hilleringmann, U. Rueckert, and K. Schumacher. “VLSI
Technologies for Artificial Neural Networks.” IEEE Micro 9, no. 6 (2002):
28–44. https://doi.org/10.1109/40.42985.'
ieee: 'K. Goser, U. Hilleringmann, U. Rueckert, and K. Schumacher, “VLSI technologies
for artificial neural networks,” IEEE Micro, vol. 9, no. 6, pp. 28–44,
2002, doi: 10.1109/40.42985.'
mla: Goser, K., et al. “VLSI Technologies for Artificial Neural Networks.” IEEE
Micro, vol. 9, no. 6, Institute of Electrical and Electronics Engineers (IEEE),
2002, pp. 28–44, doi:10.1109/40.42985.
short: K. Goser, U. Hilleringmann, U. Rueckert, K. Schumacher, IEEE Micro 9 (2002)
28–44.
date_created: 2023-01-25T09:33:18Z
date_updated: 2023-03-21T09:57:17Z
department:
- _id: '59'
doi: 10.1109/40.42985
intvolume: ' 9'
issue: '6'
keyword:
- Electrical and Electronic Engineering
- Hardware and Architecture
- Software
language:
- iso: eng
page: 28-44
publication: IEEE Micro
publication_identifier:
issn:
- 0272-1732
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
status: public
title: VLSI technologies for artificial neural networks
type: journal_article
user_id: '20179'
volume: 9
year: '2002'
...