---
_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: '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: '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: '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: '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: '39411'
abstract:
- lang: eng
text: Rapid prototyping based on 3D models is well accepted for several applications.
This article addresses the application of animated virtual 3D prototypes for the
development of computer-based systems supporting early collaboration of the system
designer with the external customer. Our methodology seamlessly integrates illustration
through 3D animation with the main tasks of computer-based real-time systems development,
i.e., implementation and verification. The approach is outlined by the example
of the design of a flexible manufacturing system.
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jürgen
full_name: Ruf, Jürgen
last_name: Ruf
citation:
ama: 'Flake S, Geiger C, Müller W, Ruf J. Customer-Oriented Systems Design through
Virtual Prototyps. In: Proceedings of IEEE KMN 2001. ; 2001. doi:10.1109/ENABL.2001.953425'
apa: 'Flake, S., Geiger, C., Müller, W., & Ruf, J. (2001). Customer-Oriented
Systems Design through Virtual Prototyps. Proceedings of IEEE KMN 2001.
Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises. https://doi.org/10.1109/ENABL.2001.953425'
bibtex: '@inproceedings{Flake_Geiger_Müller_Ruf_2001, place={Cambridge, MA, USA
}, title={Customer-Oriented Systems Design through Virtual Prototyps}, DOI={10.1109/ENABL.2001.953425},
booktitle={Proceedings of IEEE KMN 2001}, author={Flake, Stephan and Geiger, Christian
and Müller, Wolfgang and Ruf, Jürgen}, year={2001} }'
chicago: Flake, Stephan, Christian Geiger, Wolfgang Müller, and Jürgen Ruf. “Customer-Oriented
Systems Design through Virtual Prototyps.” In Proceedings of IEEE KMN 2001.
Cambridge, MA, USA , 2001. https://doi.org/10.1109/ENABL.2001.953425.
ieee: 'S. Flake, C. Geiger, W. Müller, and J. Ruf, “Customer-Oriented Systems Design
through Virtual Prototyps,” presented at the Proceedings Tenth IEEE International
Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises,
2001, doi: 10.1109/ENABL.2001.953425.'
mla: Flake, Stephan, et al. “Customer-Oriented Systems Design through Virtual Prototyps.”
Proceedings of IEEE KMN 2001, 2001, doi:10.1109/ENABL.2001.953425.
short: 'S. Flake, C. Geiger, W. Müller, J. Ruf, in: Proceedings of IEEE KMN 2001,
Cambridge, MA, USA , 2001.'
conference:
name: 'Proceedings Tenth IEEE International Workshop on Enabling Technologies: Infrastructure
for Collaborative Enterprises'
date_created: 2023-01-24T10:30:14Z
date_updated: 2023-01-24T10:30:21Z
department:
- _id: '672'
doi: 10.1109/ENABL.2001.953425
keyword:
- Virtual prototyping
- Animation
- Collaboration
- System analysis and design
- Feedback
- Application software
- Power system modeling
- Handicapped aids
- Process design
- Contracts
language:
- iso: eng
place: 'Cambridge, MA, USA '
publication: Proceedings of IEEE KMN 2001
publication_identifier:
isbn:
- 0-7695-1269-0
status: public
title: Customer-Oriented Systems Design through Virtual Prototyps
type: conference
user_id: '5786'
year: '2001'
...
---
_id: '39488'
abstract:
- lang: eng
text: CSCW systems like BSCW (Basic Support for Cooperative Work), HyperNews, and
Lotus Notes have been successfully introduced to support the cooperation of geographically
distributed work groups. Unfortunately, some of these software systems are not
flexible enough to be customized easily to the requirements of an individual user.
Most of the environments can only be configured by experts through complex programming.
In this article we introduce VIP space, a shared workspace space in the sense
of exchanging and processing shared objects between members of distributed work
groups. VIP space can be easily adapted to the user's individual views and needs
by means of a visual programming language. In VIP space, objects of the shared
workspace are moved by drag and drop between task fields. Task fields are programmed
by visual "if-then" rules applying a combination of icon- and form-based techniques.
When a document represented by an icon is dropped on a task field its rules are
checked and actions of the selected rules are excited. VIP space is finally demonstrated
in an Internet course application.
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Jessica
full_name: Rubart, Jessica
last_name: Rubart
citation:
ama: 'Dücker M, Müller W, Rubart J. Innovative Concepts for Configurating Shared
Workspaces through Visual Programming. In: Proceedings of the 32nd Annual
Hawaii International Conference on Systems Sciences. ; 1999. doi:10.1109/HICSS.1999.773046'
apa: Dücker, M., Müller, W., & Rubart, J. (1999). Innovative Concepts for Configurating
Shared Workspaces through Visual Programming. Proceedings of the 32nd Annual
Hawaii International Conference on Systems Sciences. Proceedings of the 32nd
Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32, Maui,
HI, USA . https://doi.org/10.1109/HICSS.1999.773046
bibtex: '@inproceedings{Dücker_Müller_Rubart_1999, place={Maui, HI, USA }, title={Innovative
Concepts for Configurating Shared Workspaces through Visual Programming}, DOI={10.1109/HICSS.1999.773046},
booktitle={ Proceedings of the 32nd Annual Hawaii International Conference on
Systems Sciences}, author={Dücker, M. and Müller, Wolfgang and Rubart, Jessica},
year={1999} }'
chicago: Dücker, M., Wolfgang Müller, and Jessica Rubart. “Innovative Concepts for
Configurating Shared Workspaces through Visual Programming.” In Proceedings
of the 32nd Annual Hawaii International Conference on Systems Sciences. Maui,
HI, USA , 1999. https://doi.org/10.1109/HICSS.1999.773046.
ieee: 'M. Dücker, W. Müller, and J. Rubart, “Innovative Concepts for Configurating
Shared Workspaces through Visual Programming,” presented at the Proceedings of
the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32,
Maui, HI, USA , 1999, doi: 10.1109/HICSS.1999.773046.'
mla: Dücker, M., et al. “Innovative Concepts for Configurating Shared Workspaces
through Visual Programming.” Proceedings of the 32nd Annual Hawaii International
Conference on Systems Sciences, 1999, doi:10.1109/HICSS.1999.773046.
short: 'M. Dücker, W. Müller, J. Rubart, in: Proceedings of the 32nd Annual Hawaii
International Conference on Systems Sciences, Maui, HI, USA , 1999.'
conference:
location: 'Maui, HI, USA '
name: Proceedings of the 32nd Annual Hawaii International Conference on Systems
Sciences. 1999. HICSS-32
date_created: 2023-01-24T11:35:47Z
date_updated: 2023-01-24T11:35:52Z
department:
- _id: '672'
doi: 10.1109/HICSS.1999.773046
keyword:
- Application software
- Electronic mail
- Computer networks
- Collaborative work
- Teleconferencing
- Asynchronous communication
- Software systems
- Internet
- Computer applications
- Discussion forums
language:
- iso: eng
place: 'Maui, HI, USA '
publication: ' Proceedings of the 32nd Annual Hawaii International Conference on Systems
Sciences'
publication_identifier:
isbn:
- 0-7695-0001-3
status: public
title: Innovative Concepts for Configurating Shared Workspaces through Visual Programming
type: conference
user_id: '5786'
year: '1999'
...
---
_id: '39493'
abstract:
- lang: eng
text: This article presents the animated visual 3D programming language SAM (Solid
Agents in Motion) for parallel systems specification and animation. A SAM program
is a set of interacting agents synchronously exchanging messages. The agent's
behaviour is specified by means of production rules with a condition and a sequence
of actions each. Actions are linearly ordered and execute when matching a rule.
In SAM, main syntactic objects like agents, rules, and messages are 3D. These
objects can have an abstract and a concrete, solid 3D presentation. While the
abstract representation is for programming and debugging, the concrete representation
is for animated 3D end-user presentations. After outlining the concepts of SAM
this article gives two programming examples of 3D micro worlds and an overview
of the programming environment.
author:
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: W.
full_name: Rosenbach, W.
last_name: Rosenbach
citation:
ama: 'Geiger C, Müller W, Rosenbach W. SAM - An Animated 3D Programming Language.
In: Proceedings of the IEEE Symposium on Visual Languages. ; 1998. doi:10.1109/VL.1998.706167'
apa: Geiger, C., Müller, W., & Rosenbach, W. (1998). SAM - An Animated 3D Programming
Language. Proceedings of the IEEE Symposium on Visual Languages. 1998 IEEE
Symposium on Visual Languages, Halifax, Canada. https://doi.org/10.1109/VL.1998.706167
bibtex: '@inproceedings{Geiger_Müller_Rosenbach_1998, place={Halifax, Canada}, title={SAM
- An Animated 3D Programming Language}, DOI={10.1109/VL.1998.706167},
booktitle={Proceedings of the IEEE Symposium on Visual Languages}, author={Geiger,
Christian and Müller, Wolfgang and Rosenbach, W.}, year={1998} }'
chicago: Geiger, Christian, Wolfgang Müller, and W. Rosenbach. “SAM - An Animated
3D Programming Language.” In Proceedings of the IEEE Symposium on Visual Languages.
Halifax, Canada, 1998. https://doi.org/10.1109/VL.1998.706167.
ieee: 'C. Geiger, W. Müller, and W. Rosenbach, “SAM - An Animated 3D Programming
Language,” presented at the 1998 IEEE Symposium on Visual Languages, Halifax,
Canada, 1998, doi: 10.1109/VL.1998.706167.'
mla: Geiger, Christian, et al. “SAM - An Animated 3D Programming Language.” Proceedings
of the IEEE Symposium on Visual Languages, 1998, doi:10.1109/VL.1998.706167.
short: 'C. Geiger, W. Müller, W. Rosenbach, in: Proceedings of the IEEE Symposium
on Visual Languages, Halifax, Canada, 1998.'
conference:
location: Halifax, Canada
name: 1998 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:39:30Z
date_updated: 2023-01-24T11:39:35Z
department:
- _id: '672'
doi: 10.1109/VL.1998.706167
keyword:
- Animation
- Computer languages
- Solids
- Concrete
- Application software
- Virtual reality
- Programming profession
- Switches
- Visualization
- Debugging
language:
- iso: eng
place: Halifax, Canada
publication: Proceedings of the IEEE Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-8712-6
status: public
title: SAM - An Animated 3D Programming Language
type: conference
user_id: '5786'
year: '1998'
...
---
_id: '39510'
abstract:
- lang: eng
text: Modeling of human knowledge and reasoning requires the formulation of uncertainty
in its various forms. Fuzzy logic was introduced to directly support these applications
(H. Zimmermann, 1991). Fuzzy control (FC) which is based on fuzzy logic allows
one to control complex systems based on qualitative information like human knowledge
(C. Geiger and G. Lehrenfeld, 1994). In fuzzy logic, fuzzy sets are usually defined
and manipulated by means of complex mathematics, whereas the fuzzy control process
is frequently outlined by visual sketches based on set diagrams in order to enhance
the comprehension of the inference process. The rule based execution of this process
usually follows the lines of rule based visual programming languages (VPLs), i.e.,
languages comparable to Agentsheets and ChemTrains. This strongly indicates that
VPLs are thus well applicable for this use. We first outline the basic concepts
of fuzzy logic and fuzzy control. Thereafter, we sketch a visual language which
integrates fuzzy set diagrams in the visual representation of rules. The basic
concepts are inherited from the complete visual programming language, Pictorial
Janus (PJ). However, we significantly simplify PJ's visual concepts in order to
adapt it for our purpose.
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: C.
full_name: Tahedl, C.
last_name: Tahedl
citation:
ama: 'Dücker M, Geiger C, Lehrenfeld G, Müller W, Tahedl C. A Visual Programming
Language for Qualitative Data. In: Proceedings of the 1997 IEEE Symposium on
Visual Languages. ; 1997. doi:10.1109/VL.1997.626593'
apa: Dücker, M., Geiger, C., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997).
A Visual Programming Language for Qualitative Data. Proceedings of the 1997
IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626593
bibtex: '@inproceedings{Dücker_Geiger_Lehrenfeld_Müller_Tahedl_1997, place={Capri,
Italy}, title={A Visual Programming Language for Qualitative Data}, DOI={10.1109/VL.1997.626593},
booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker,
M. and Geiger, Christian and Lehrenfeld, Georg and Müller, Wolfgang and Tahedl,
C.}, year={1997} }'
chicago: Dücker, M., Christian Geiger, Georg Lehrenfeld, Wolfgang Müller, and C.
Tahedl. “A Visual Programming Language for Qualitative Data.” In Proceedings
of the 1997 IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626593.
ieee: 'M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Visual
Programming Language for Qualitative Data,” 1997, doi: 10.1109/VL.1997.626593.'
mla: Dücker, M., et al. “A Visual Programming Language for Qualitative Data.” Proceedings
of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626593.
short: 'M. Dücker, C. Geiger, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings
of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.'
date_created: 2023-01-24T11:51:04Z
date_updated: 2023-01-24T11:51:08Z
department:
- _id: '672'
doi: 10.1109/VL.1997.626593
keyword:
- Computer languages
- Fuzzy control
- Fuzzy sets
- Animation
- Visualization
- Fires
- Application software
- Pattern matching
- Impedance matching
- Domain specific languages
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 1997 IEEE Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-8144-6
status: public
title: A Visual Programming Language for Qualitative Data
type: conference
user_id: '5786'
year: '1997'
...
---
_id: '39505'
abstract:
- lang: eng
text: '3D-graphics are becoming popular in a steadily increasing number of areas
such as entertainment, scientific visualization, simulation, and virtual reality.
Despite this rapid growth the generation of animated 3D scenes is by no means
trivial. Since animated 3D objects evolve over time the authors denote these objects
as 4D. The article presents a novel approach to the rapid prototyping of 4D models.
They introduce the AAL (Animated Agent Layer) system. AAL is an interpreter-based
approach covering a textual (AAL-PR) as well as a visual command language (AAL-VL)
for the specification of the dynamics in 4D scenes. AAL provides support for different
levels of abstraction: primitives, structured objects, animated objects, and animated
(autonomous) agents.'
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: R.
full_name: Hunstock, R.
last_name: Hunstock
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Dücker M, Geiger C, Hunstock R, Lehrenfeld G, Müller W. Visual-Textual Prototyping
of 4D Scenes. In: Proceedings of the 1997 IEEE Symposium on Visual Languages.
; 1997. doi:10.1109/VL.1997.626601'
apa: Dücker, M., Geiger, C., Hunstock, R., Lehrenfeld, G., & Müller, W. (1997).
Visual-Textual Prototyping of 4D Scenes. Proceedings of the 1997 IEEE Symposium
on Visual Languages. 1997 IEEE Symposium on Visual Languages. https://doi.org/10.1109/VL.1997.626601
bibtex: '@inproceedings{Dücker_Geiger_Hunstock_Lehrenfeld_Müller_1997, place={Capri,
Italy}, title={Visual-Textual Prototyping of 4D Scenes}, DOI={10.1109/VL.1997.626601},
booktitle={Proceedings of the 1997 IEEE Symposium on Visual Languages}, author={Dücker,
M. and Geiger, Christian and Hunstock, R. and Lehrenfeld, Georg and Müller, Wolfgang},
year={1997} }'
chicago: Dücker, M., Christian Geiger, R. Hunstock, Georg Lehrenfeld, and Wolfgang
Müller. “Visual-Textual Prototyping of 4D Scenes.” In Proceedings of the 1997
IEEE Symposium on Visual Languages. Capri, Italy, 1997. https://doi.org/10.1109/VL.1997.626601.
ieee: 'M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, and W. Müller, “Visual-Textual
Prototyping of 4D Scenes,” presented at the 1997 IEEE Symposium on Visual Languages,
1997, doi: 10.1109/VL.1997.626601.'
mla: Dücker, M., et al. “Visual-Textual Prototyping of 4D Scenes.” Proceedings
of the 1997 IEEE Symposium on Visual Languages, 1997, doi:10.1109/VL.1997.626601.
short: 'M. Dücker, C. Geiger, R. Hunstock, G. Lehrenfeld, W. Müller, in: Proceedings
of the 1997 IEEE Symposium on Visual Languages, Capri, Italy, 1997.'
conference:
name: 1997 IEEE Symposium on Visual Languages
date_created: 2023-01-24T11:48:57Z
date_updated: 2023-01-24T11:49:01Z
department:
- _id: '672'
doi: 10.1109/VL.1997.626601
keyword:
- Prototypes
- Layout
- Animation
- Command languages
- Application software
- Libraries
- Virtual reality
- Computer graphics
- Hardware
- Context modeling
language:
- iso: eng
place: Capri, Italy
publication: Proceedings of the 1997 IEEE Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-8144-6
status: public
title: Visual-Textual Prototyping of 4D Scenes
type: conference
user_id: '5786'
year: '1997'
...