---
_id: '17202'
author:
- first_name: Anna-Lisa
full_name: Vollmer, Anna-Lisa
last_name: Vollmer
- first_name: Jonathan
full_name: Grizou, Jonathan
last_name: Grizou
- first_name: Manuel
full_name: Lopes, Manuel
last_name: Lopes
- first_name: Katharina
full_name: Rohlfing, Katharina
id: '50352'
last_name: Rohlfing
- first_name: Pierre-Yves
full_name: Oudeyer, Pierre-Yves
last_name: Oudeyer
citation:
ama: 'Vollmer A-L, Grizou J, Lopes M, Rohlfing K, Oudeyer P-Y. Studying the Co-Construction
of Interaction Protocols in Collaborative Tasks with Humans. In: 2014 Joint
IEEE International Conference on Development and Learning and on Epigenetic Robotics.
IEEE; 2014:208-215.'
apa: Vollmer, A.-L., Grizou, J., Lopes, M., Rohlfing, K., & Oudeyer, P.-Y. (2014).
Studying the Co-Construction of Interaction Protocols in Collaborative Tasks with
Humans. 2014 Joint IEEE International Conference on Development and Learning
and on Epigenetic Robotics, 208–215.
bibtex: '@inproceedings{Vollmer_Grizou_Lopes_Rohlfing_Oudeyer_2014, title={Studying
the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans},
booktitle={2014 Joint IEEE International Conference on Development and Learning
and on Epigenetic Robotics}, publisher={IEEE}, author={Vollmer, Anna-Lisa and
Grizou, Jonathan and Lopes, Manuel and Rohlfing, Katharina and Oudeyer, Pierre-Yves},
year={2014}, pages={208–215} }'
chicago: Vollmer, Anna-Lisa, Jonathan Grizou, Manuel Lopes, Katharina Rohlfing,
and Pierre-Yves Oudeyer. “Studying the Co-Construction of Interaction Protocols
in Collaborative Tasks with Humans.” In 2014 Joint IEEE International Conference
on Development and Learning and on Epigenetic Robotics, 208–15. IEEE, 2014.
ieee: A.-L. Vollmer, J. Grizou, M. Lopes, K. Rohlfing, and P.-Y. Oudeyer, “Studying
the Co-Construction of Interaction Protocols in Collaborative Tasks with Humans,”
in 2014 Joint IEEE International Conference on Development and Learning and
on Epigenetic Robotics, 2014, pp. 208–215.
mla: Vollmer, Anna-Lisa, et al. “Studying the Co-Construction of Interaction Protocols
in Collaborative Tasks with Humans.” 2014 Joint IEEE International Conference
on Development and Learning and on Epigenetic Robotics, IEEE, 2014, pp. 208–15.
short: 'A.-L. Vollmer, J. Grizou, M. Lopes, K. Rohlfing, P.-Y. Oudeyer, in: 2014
Joint IEEE International Conference on Development and Learning and on Epigenetic
Robotics, IEEE, 2014, pp. 208–215.'
date_created: 2020-06-24T13:01:21Z
date_updated: 2023-02-01T16:11:59Z
department:
- _id: '749'
keyword:
- interaction
- communication
- co-construction
- interaction protocols
language:
- iso: eng
page: 208 - 215
publication: 2014 Joint IEEE International Conference on Development and Learning
and on Epigenetic Robotics
publication_identifier:
isbn:
- 978-1-4799-7540-2
publisher: IEEE
status: public
title: Studying the Co-Construction of Interaction Protocols in Collaborative Tasks
with Humans
type: conference
user_id: '14931'
year: '2014'
...
---
_id: '36922'
abstract:
- lang: eng
text: In this paper we present an approach for the self reconfiguration of distributed
micro-controllers for increased fault tolerance. Based on a modified distributed
system topology utilizing a time division multiple access (TDMA) protocol, i.e.,
Flex Ray, we present a self-organized distributed coordinator concept which performs
the self-reconfiguration in the case of node failures. We introduce a distributed
coordinator, which utilizes redundant slots in the Flex Ray communication schedule
and combines messages in configured protocol frames and slots to avoid a complete
bus restart. As such, the self-reconfiguration is realized by means of predetermined
information about resulting changes in the communication dependencies and (re-)assignments
determined in the design phase. To retrieve the necessary information, we present
an analytical approach, which determines a combined solution for the initial configuration
and all possible reconfigurations for the remaining nodes of the Flex Ray network
in case of node failures. Hence, through this method we can design self-reconfiguring
network-based systems enabling the handling of node failures for an increased
fault tolerance.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- 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: 'Klobedanz K, Müller W, Rettberg A. An Approach for Self-Reconfiguring and
Fault-Tolerant Distributed Real-Time Systems. In: IEEE; 2012. doi:10.1109/ISORCW.2012.41'
apa: Klobedanz, K., Müller, W., & Rettberg, A. (2012). An Approach for Self-Reconfiguring
and Fault-Tolerant Distributed Real-Time Systems. IEEE 15th International
Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Workshops. https://doi.org/10.1109/ISORCW.2012.41
bibtex: '@inproceedings{Klobedanz_Müller_Rettberg_2012, place={Shenzhen, China },
title={An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time
Systems}, DOI={10.1109/ISORCW.2012.41},
publisher={IEEE}, author={Klobedanz, Kay and Müller, Wolfgang and Rettberg, Achim},
year={2012} }'
chicago: 'Klobedanz, Kay, Wolfgang Müller, and Achim Rettberg. “An Approach for
Self-Reconfiguring and Fault-Tolerant Distributed Real-Time Systems.” Shenzhen,
China : IEEE, 2012. https://doi.org/10.1109/ISORCW.2012.41.'
ieee: 'K. Klobedanz, W. Müller, and A. Rettberg, “An Approach for Self-Reconfiguring
and Fault-Tolerant Distributed Real-Time Systems,” presented at the IEEE 15th
International Symposium on Object/Component/Service-Oriented Real-Time Distributed
Computing Workshops, 2012, doi: 10.1109/ISORCW.2012.41.'
mla: Klobedanz, Kay, et al. An Approach for Self-Reconfiguring and Fault-Tolerant
Distributed Real-Time Systems. IEEE, 2012, doi:10.1109/ISORCW.2012.41.
short: 'K. Klobedanz, W. Müller, A. Rettberg, in: IEEE, Shenzhen, China , 2012.'
conference:
name: IEEE 15th International Symposium on Object/Component/Service-Oriented Real-Time
Distributed Computing Workshops
date_created: 2023-01-16T12:23:50Z
date_updated: 2023-01-16T12:25:33Z
department:
- _id: '672'
doi: 10.1109/ISORCW.2012.41
keyword:
- Real time systems
- Fault tolerant systems
- Schedules
- Protocols
- Redundancy
- Delay
language:
- iso: eng
place: 'Shenzhen, China '
publication_identifier:
eisbn:
- 978-0-7695-4669-8
publisher: IEEE
status: public
title: An Approach for Self-Reconfiguring and Fault-Tolerant Distributed Real-Time
Systems
type: conference
user_id: '5786'
year: '2012'
...
---
_id: '37006'
abstract:
- lang: eng
text: In this paper we present an approach for the configuration and reconfiguration
of FlexRay networks to increase their fault tolerance. To guarantee a correct
and deterministic system behavior, the FlexRay specification does not allow a
reconfiguration of the schedapproachule during run time. To avoid the necessity
of a complete bus restart in case of a node failure, we propose a reconfiguration
using redundant slots in the schedule and/or combine messages in existing frames
and slots, to compensate node failures and increase robustness. Our approach supports
the developer to increase the fault tolerance of the system during the design
phase. It is a heuristic, which, additionally to a determined initial configuration,
calculates possible reconfigurations for the remaining nodes of the FlexRay network
in case of a node failure, to keep the system working properly. An evaluation
by means of realistic safety-critical automotive real-time systems revealed that
it determines valid reconfigurations for up to 80% of possible individual node
failures. In summary, our approach offers major support for the developer of FlexRay
networks since the results provide helpful feedback about reconfiguration capabilities.
In an iterative design process these information can be used to determine and
optimize valid reconfigurations.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Andreas
full_name: König, Andreas
last_name: König
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Klobedanz K, König A, Müller W. A Reconfiguration Approach for Faul-Tolerant
FlexRay Networks. In: Proceedings of DATE’11. IEEE; 2011. doi:10.1109/DATE.2011.5763022'
apa: Klobedanz, K., König, A., & Müller, W. (2011). A Reconfiguration Approach
for Faul-Tolerant FlexRay Networks. Proceedings of DATE’11. 2011 Design,
Automation & Test in Europe, Grenoble, France. https://doi.org/10.1109/DATE.2011.5763022
bibtex: '@inproceedings{Klobedanz_König_Müller_2011, place={Grenoble, France}, title={A
Reconfiguration Approach for Faul-Tolerant FlexRay Networks}, DOI={10.1109/DATE.2011.5763022},
booktitle={Proceedings of DATE’11}, publisher={IEEE}, author={Klobedanz, Kay and
König, Andreas and Müller, Wolfgang}, year={2011} }'
chicago: 'Klobedanz, Kay, Andreas König, and Wolfgang Müller. “A Reconfiguration
Approach for Faul-Tolerant FlexRay Networks.” In Proceedings of DATE’11.
Grenoble, France: IEEE, 2011. https://doi.org/10.1109/DATE.2011.5763022.'
ieee: 'K. Klobedanz, A. König, and W. Müller, “A Reconfiguration Approach for Faul-Tolerant
FlexRay Networks,” presented at the 2011 Design, Automation & Test in Europe,
Grenoble, France, 2011, doi: 10.1109/DATE.2011.5763022.'
mla: Klobedanz, Kay, et al. “A Reconfiguration Approach for Faul-Tolerant FlexRay
Networks.” Proceedings of DATE’11, IEEE, 2011, doi:10.1109/DATE.2011.5763022.
short: 'K. Klobedanz, A. König, W. Müller, in: Proceedings of DATE’11, IEEE, Grenoble,
France, 2011.'
conference:
location: Grenoble, France
name: 2011 Design, Automation & Test in Europe
date_created: 2023-01-17T09:09:25Z
date_updated: 2023-01-17T09:09:33Z
department:
- _id: '672'
doi: 10.1109/DATE.2011.5763022
keyword:
- Schedules
- Fault tolerant systems
- Redundancy
- Protocols
- Automotive engineering
- Genetic algorithms
language:
- iso: eng
place: Grenoble, France
publication: Proceedings of DATE'11
publisher: IEEE
status: public
title: A Reconfiguration Approach for Faul-Tolerant FlexRay Networks
type: conference
user_id: '5786'
year: '2011'
...
---
_id: '37056'
abstract:
- lang: eng
text: In this paper we present an approach to increase the fault tolerance in FlexRay
networks by introducing backup nodes to replace defect ECUs (Electronic Control
Units). In order to reduce the memory requirements of such backup nodes, we distribute
redundant tasks over different nodes and propose the distributed coordinated migration
of tasks of the defect ECU to the backup node at runtime. This approach enhances
our former work in, where we extended the FlexRay bus schedule by redundant slots
to consider changes in the communication/slot assignment and investigated and
evaluated different solutions to migrate the redundant tasks to the backup node
using the static and/or dynamic segment of the communication cycle for transmissions.
We present the approach of distributed coordination for migration and communication
instead of additional dedicated coordinator nodes to further increase the fault
tolerance. With this approach we improve the safety of FlexRay networks by avoiding
a possible single point of failure due to a dedicated coordinator node also minimizing
the necessary time needed for a reconfiguration after an ECU failure. Furthermore,
we reduce the overhead within the communication and the demand for additional
hardware components.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Gilles B.
full_name: Defo, Gilles B.
last_name: Defo
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Timo
full_name: Kerstan, Timo
last_name: Kerstan
citation:
ama: 'Klobedanz K, Defo GB, Müller W, Kerstan T. Distributed Coordination of Task
Migration for Fault-Tolerant FlexRay Networks. In: Proceedings of SIES 2010.
; 2010. doi:10.1109/SIES.2010.5551384'
apa: Klobedanz, K., Defo, G. B., Müller, W., & Kerstan, T. (2010). Distributed
Coordination of Task Migration for Fault-Tolerant FlexRay Networks. Proceedings
of SIES 2010. International Symposium on Industrial Embedded System (SIES).
https://doi.org/10.1109/SIES.2010.5551384
bibtex: '@inproceedings{Klobedanz_Defo_Müller_Kerstan_2010, place={Trento, Italien},
title={Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks},
DOI={10.1109/SIES.2010.5551384},
booktitle={Proceedings of SIES 2010}, author={Klobedanz, Kay and Defo, Gilles
B. and Müller, Wolfgang and Kerstan, Timo}, year={2010} }'
chicago: Klobedanz, Kay, Gilles B. Defo, Wolfgang Müller, and Timo Kerstan. “Distributed
Coordination of Task Migration for Fault-Tolerant FlexRay Networks.” In Proceedings
of SIES 2010. Trento, Italien, 2010. https://doi.org/10.1109/SIES.2010.5551384.
ieee: 'K. Klobedanz, G. B. Defo, W. Müller, and T. Kerstan, “Distributed Coordination
of Task Migration for Fault-Tolerant FlexRay Networks,” presented at the International
Symposium on Industrial Embedded System (SIES), 2010, doi: 10.1109/SIES.2010.5551384.'
mla: Klobedanz, Kay, et al. “Distributed Coordination of Task Migration for Fault-Tolerant
FlexRay Networks.” Proceedings of SIES 2010, 2010, doi:10.1109/SIES.2010.5551384.
short: 'K. Klobedanz, G.B. Defo, W. Müller, T. Kerstan, in: Proceedings of SIES
2010, Trento, Italien, 2010.'
conference:
name: International Symposium on Industrial Embedded System (SIES)
date_created: 2023-01-17T11:31:38Z
date_updated: 2023-01-17T11:31:47Z
department:
- _id: '672'
doi: 10.1109/SIES.2010.5551384
keyword:
- Fault tolerant systems
- Protocols
- Redundancy
- Runtime
- Payloads
- Schedules
language:
- iso: eng
place: Trento, Italien
publication: Proceedings of SIES 2010
publication_identifier:
eisbn:
- 978-1-4244-5841-7
status: public
title: Distributed Coordination of Task Migration for Fault-Tolerant FlexRay Networks
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37053'
abstract:
- lang: eng
text: Seamless HW/SW codesign flows support early verification of hardware and Hardware-dependent
Software (HdS) like drivers, operating systems, and firmware. For early estimation
and verification, the application of SystemC in combination with Instruction Set
Simulators and Software Emulators like QEMU is widely accepted. In this article,
we present an advanced design flow for HW, (RT)OS and HdS refinement and verification
with focus on the transition from abstract RTOS verification to full system RTOS/HdS
emulation. In the context of assertion-based verification, we introduce a set
of generic real-time properties which can be reused and verified at different
abstraction levels and discuss their application. The properties are presented
by the means of IEEE standard PSL assertions which are applied for mixed SystemC/HdS
models.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Marcio F.
full_name: da S. Oliveira, Marcio F.
last_name: da S. Oliveira
- first_name: Henning
full_name: Zabel, Henning
last_name: Zabel
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
citation:
ama: 'Müller W, da S. Oliveira MF, Zabel H, Becker M. Verification of Real-Time
Properties for Hardware-Dependant Software. In: Proceedings of HLDVT2010.
IEEE; 2010.'
apa: Müller, W., da S. Oliveira, M. F., Zabel, H., & Becker, M. (2010). Verification
of Real-Time Properties for Hardware-Dependant Software. Proceedings of HLDVT2010.
IEEE International High Level Design Validation and Test Workshop (HLDVT), Anaheim,
FL, USA.
bibtex: '@inproceedings{Müller_da S. Oliveira_Zabel_Becker_2010, title={Verification
of Real-Time Properties for Hardware-Dependant Software}, booktitle={Proceedings
of HLDVT2010}, publisher={IEEE}, author={Müller, Wolfgang and da S. Oliveira,
Marcio F. and Zabel, Henning and Becker, Markus}, year={2010} }'
chicago: Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker.
“Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings
of HLDVT2010. IEEE, 2010.
ieee: W. Müller, M. F. da S. Oliveira, H. Zabel, and M. Becker, “Verification of
Real-Time Properties for Hardware-Dependant Software,” presented at the IEEE International
High Level Design Validation and Test Workshop (HLDVT), Anaheim, FL, USA, 2010.
mla: Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant
Software.” Proceedings of HLDVT2010, IEEE, 2010.
short: 'W. Müller, M.F. da S. Oliveira, H. Zabel, M. Becker, in: Proceedings of
HLDVT2010, IEEE, 2010.'
conference:
location: Anaheim, FL, USA
name: IEEE International High Level Design Validation and Test Workshop (HLDVT)
date_created: 2023-01-17T11:28:26Z
date_updated: 2023-01-17T11:28:30Z
department:
- _id: '672'
keyword:
- Hardware
- Microprogramming
- Application software
- Timing
- Protocols
- Virtual prototyping
- Real time systems
- Sampling methods
- Operating systems
- Emulation
language:
- iso: eng
publication: Proceedings of HLDVT2010
publication_identifier:
eisbn:
- 978-1-4244-7806-4
publisher: IEEE
status: public
title: Verification of Real-Time Properties for Hardware-Dependant Software
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '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: '39071'
abstract:
- lang: eng
text: The interconnection of software components is a key to enabling collaborative
work. However, technology differences and security barriers like firewalls often
hinder establishing collaborative infrastructures between enterprises or even
within a single enterprise. We introduce a peer-to-peer based network infrastructure
that transparently overcomes these problems using relay and routing mechanisms
as well as different underlying transport protocols. We discuss the application
of this technology to interconnect Web services.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Chris
full_name: Loeser, Chris
last_name: Loeser
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Loeser C, Müller W. Peer-To-Peer Technology for Interconnecting
Web Services in Heterogeneous Networks. In: Proceedings of AINA2004. IEEE;
2004. doi:10.1109/AINA.2004.1283977'
apa: Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology
for Interconnecting Web Services in Heterogeneous Networks. Proceedings of
AINA2004. 18th International Conference on Advanced Information Networking
and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
bibtex: '@inproceedings{Schattkowsky_Loeser_Müller_2004, place={Fukuoka, Japan },
title={Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous
Networks}, DOI={10.1109/AINA.2004.1283977},
booktitle={Proceedings of AINA2004}, publisher={IEEE}, author={Schattkowsky, Tim
and Loeser, Chris and Müller, Wolfgang}, year={2004} }'
chicago: 'Schattkowsky, Tim, Chris Loeser, and Wolfgang Müller. “Peer-To-Peer Technology
for Interconnecting Web Services in Heterogeneous Networks.” In Proceedings
of AINA2004. Fukuoka, Japan : IEEE, 2004. https://doi.org/10.1109/AINA.2004.1283977.'
ieee: 'T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting
Web Services in Heterogeneous Networks,” presented at the 18th International
Conference on Advanced Information Networking and Applications, Fukuoka, Japan
, 2004, doi: 10.1109/AINA.2004.1283977.'
mla: Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web
Services in Heterogeneous Networks.” Proceedings of AINA2004, IEEE, 2004,
doi:10.1109/AINA.2004.1283977.
short: 'T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE,
Fukuoka, Japan , 2004.'
conference:
location: 'Fukuoka, Japan '
name: ' 18th International Conference on Advanced Information Networking and Applications'
date_created: 2023-01-24T09:05:58Z
date_updated: 2023-01-24T09:06:02Z
department:
- _id: '672'
doi: 10.1109/AINA.2004.1283977
keyword:
- Peer to peer computing
- Web services
- Intelligent networks
- Routing
- Relays
- Simple object access protocol
- Collaborative work
- Transport protocols
- Network address translation
- Java
language:
- iso: eng
place: 'Fukuoka, Japan '
publication: Proceedings of AINA2004
publication_identifier:
isbn:
- 0-7695-2051-0
publisher: IEEE
status: public
title: Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
type: conference
user_id: '5786'
year: '2004'
...
---
_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: '39541'
abstract:
- lang: eng
text: We investigate a translation of SDL diagrams into the complete visual representation
of Pictorial Janus (PJ) programs in order to analyze the specification by visual
debugging and animation. We additionally introduce timing concepts to PJ (Timed
PJ) for a mapping of the SDL timing statements. The concepts transforming SDL
interaction and process diagrams into Timed PJ are outlined by an example sketching
the transformation of an Ethernet CSMA/CD protocol specification.
author:
- 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: 'Lehrenfeld G, Müller W, Tahedl C. Transforming SDL Diagrams Into a Complete
Visual Representation. In: Proceedings of Symposium on Visual Languages.
; 1995. doi:10.1109/VL.1995.520803'
apa: Lehrenfeld, G., Müller, W., & Tahedl, C. (1995). Transforming SDL Diagrams
Into a Complete Visual Representation. Proceedings of Symposium on Visual Languages.
https://doi.org/10.1109/VL.1995.520803
bibtex: '@inproceedings{Lehrenfeld_Müller_Tahedl_1995, place={ Darmstadt, Germany
}, title={Transforming SDL Diagrams Into a Complete Visual Representation}, DOI={10.1109/VL.1995.520803}, booktitle={Proceedings
of Symposium on Visual Languages}, author={Lehrenfeld, Georg and Müller, Wolfgang
and Tahedl, C.}, year={1995} }'
chicago: Lehrenfeld, Georg, Wolfgang Müller, and C. Tahedl. “Transforming SDL Diagrams
Into a Complete Visual Representation.” In Proceedings of Symposium on Visual
Languages. Darmstadt, Germany , 1995. https://doi.org/10.1109/VL.1995.520803.
ieee: 'G. Lehrenfeld, W. Müller, and C. Tahedl, “Transforming SDL Diagrams Into
a Complete Visual Representation,” 1995, doi: 10.1109/VL.1995.520803.'
mla: Lehrenfeld, Georg, et al. “Transforming SDL Diagrams Into a Complete Visual
Representation.” Proceedings of Symposium on Visual Languages, 1995, doi:10.1109/VL.1995.520803.
short: 'G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings of Symposium on Visual
Languages, Darmstadt, Germany , 1995.'
date_created: 2023-01-24T12:07:26Z
date_updated: 2023-01-24T12:07:33Z
department:
- _id: '672'
doi: 10.1109/VL.1995.520803
keyword:
- Animation
- Timing
- Debugging
- Ethernet networks
- Multiaccess communication
- Protocols
- Computer languages
- Prototypes
- Environmental management
- Visualization
language:
- iso: eng
place: ' Darmstadt, Germany '
publication: Proceedings of Symposium on Visual Languages
publication_identifier:
isbn:
- 0-8186-7045-2
status: public
title: Transforming SDL Diagrams Into a Complete Visual Representation
type: conference
user_id: '5786'
year: '1995'
...
---
_id: '39538'
abstract:
- lang: eng
text: This article discusses the application of Pictorial Janus (PJ) for the rapid
development and analysis of protocols by animation and complete visualization.
In order to make PJ applicable in the context of hardware description we first
extend PJ by timing facilities (Timed PJ) and introduce an approach for integrating
VHDL models into this visual framework preserving the simulation semantics of
VHDL. We finally give the example of the specification and animation of a non
interlocked protocol.
author:
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Georg
full_name: Lehrenfeld, Georg
last_name: Lehrenfeld
- first_name: C.
full_name: Tahedl, C.
last_name: Tahedl
citation:
ama: 'Müller W, Lehrenfeld G, Tahedl C. Complete Visual Specification and Animations
of Protocols. In: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair.
; 1995. doi:10.1109/ASPDAC.1995.486383'
apa: Müller, W., Lehrenfeld, G., & Tahedl, C. (1995). Complete Visual Specification
and Animations of Protocols. Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with
EDA Technofair. https://doi.org/10.1109/ASPDAC.1995.486383
bibtex: '@inproceedings{Müller_Lehrenfeld_Tahedl_1995, place={Chiba, Japan }, title={Complete
Visual Specification and Animations of Protocols}, DOI={10.1109/ASPDAC.1995.486383},
booktitle={Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair}, author={Müller,
Wolfgang and Lehrenfeld, Georg and Tahedl, C.}, year={1995} }'
chicago: Müller, Wolfgang, Georg Lehrenfeld, and C. Tahedl. “Complete Visual Specification
and Animations of Protocols.” In Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
with EDA Technofair. Chiba, Japan , 1995. https://doi.org/10.1109/ASPDAC.1995.486383.
ieee: 'W. Müller, G. Lehrenfeld, and C. Tahedl, “Complete Visual Specification and
Animations of Protocols,” 1995, doi: 10.1109/ASPDAC.1995.486383.'
mla: Müller, Wolfgang, et al. “Complete Visual Specification and Animations of Protocols.”
Proceedings of ASP-DAC’95/CHDL’95/VLSI’95 with EDA Technofair, 1995, doi:10.1109/ASPDAC.1995.486383.
short: 'W. Müller, G. Lehrenfeld, C. Tahedl, in: Proceedings of ASP-DAC’95/CHDL’95/VLSI’95
with EDA Technofair, Chiba, Japan , 1995.'
date_created: 2023-01-24T12:05:55Z
date_updated: 2023-01-24T12:05:59Z
department:
- _id: '672'
doi: 10.1109/ASPDAC.1995.486383
keyword:
- Animation
- Protocols
- Timing
- Computer languages
- Electronic mail
- Context modeling
- Visualization
- Control systems
- Flow graphs
- Trademarks
language:
- iso: eng
place: 'Chiba, Japan '
publication: Proceedings of ASP-DAC'95/CHDL'95/VLSI'95 with EDA Technofair
publication_identifier:
isbn:
- 4-930813-67-0
status: public
title: Complete Visual Specification and Animations of Protocols
type: conference
user_id: '5786'
year: '1995'
...