---
_id: '10779'
author:
- first_name: Zakarya
full_name: Guettatfi, Zakarya
last_name: Guettatfi
- first_name: Omar
full_name: Kermia, Omar
last_name: Kermia
- first_name: Abdelhakim
full_name: Khouas, Abdelhakim
last_name: Khouas
citation:
ama: 'Guettatfi Z, Kermia O, Khouas A. Over effective hard real-time hardware tasks
scheduling and allocation. In: 25th International Conference on Field Programmable
Logic and Applications (FPL). Imperial College; 2015. doi:10.1109/FPL.2015.7293994'
apa: Guettatfi, Z., Kermia, O., & Khouas, A. (2015). Over effective hard real-time
hardware tasks scheduling and allocation. In 25th International Conference
on Field Programmable Logic and Applications (FPL). Imperial College. https://doi.org/10.1109/FPL.2015.7293994
bibtex: '@inproceedings{Guettatfi_Kermia_Khouas_2015, title={Over effective hard
real-time hardware tasks scheduling and allocation}, DOI={10.1109/FPL.2015.7293994},
booktitle={25th International Conference on Field Programmable Logic and Applications
(FPL)}, publisher={Imperial College}, author={Guettatfi, Zakarya and Kermia, Omar
and Khouas, Abdelhakim}, year={2015} }'
chicago: Guettatfi, Zakarya, Omar Kermia, and Abdelhakim Khouas. “Over Effective
Hard Real-Time Hardware Tasks Scheduling and Allocation.” In 25th International
Conference on Field Programmable Logic and Applications (FPL). Imperial College,
2015. https://doi.org/10.1109/FPL.2015.7293994.
ieee: Z. Guettatfi, O. Kermia, and A. Khouas, “Over effective hard real-time hardware
tasks scheduling and allocation,” in 25th International Conference on Field
Programmable Logic and Applications (FPL), 2015.
mla: Guettatfi, Zakarya, et al. “Over Effective Hard Real-Time Hardware Tasks Scheduling
and Allocation.” 25th International Conference on Field Programmable Logic
and Applications (FPL), Imperial College, 2015, doi:10.1109/FPL.2015.7293994.
short: 'Z. Guettatfi, O. Kermia, A. Khouas, in: 25th International Conference on
Field Programmable Logic and Applications (FPL), Imperial College, 2015.'
date_created: 2019-07-10T12:11:36Z
date_updated: 2022-01-06T06:50:50Z
department:
- _id: '78'
doi: 10.1109/FPL.2015.7293994
extern: '1'
keyword:
- embedded systems
- field programmable gate arrays
- operating systems (computers)
- scheduling
- μC/OS-II
- FPGAs
- OS foundation
- SafeRTOS
- Xenomai
- chip utilization ration
- complex time constraints
- embedded systems
- hard real-time hardware task allocation
- hard real-time hardware task scheduling
- hardware-software real-time operating systems
- partially reconfigurable field-programmable gate arrays
- resource constraints
- safety-critical RTOS
- Field programmable gate arrays
- Hardware
- Job shop scheduling
- Real-time systems
- Shape
- Software
language:
- iso: eng
publication: 25th International Conference on Field Programmable Logic and Applications
(FPL)
publication_identifier:
issn:
- 1946-147X
publisher: Imperial College
status: public
title: Over effective hard real-time hardware tasks scheduling and allocation
type: conference
user_id: '398'
year: '2015'
...
---
_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: '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: '37040'
abstract:
- lang: eng
text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
step design process which is a trade-off between timing accuracy of the used models
and correct estimation of the final timing performance. The use of an RTOS on
the target platform is mandatory in the case real-time properties must be guaranteed.
Thus, the question is when the RTOS must be introduced in this step by step refinement
process. This paper proposes a four-level RTOS-aware refinement methodology that,
starting from an untimed TLM SystemC description of the whole system, progressively
introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
till to obtain an accurate model of the final platform, where SW tasks run upon
an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
Each refinement level allows the designer to estimate more and more accurate timing
properties, thus anticipating design decisions without being constrained to leave
timing analysis to the final step of the refinement. The effectiveness of the
methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Giuseppe
full_name: Di Guglielmo, Giuseppe
last_name: Di Guglielmo
- first_name: Franco
full_name: Fummi, Franco
last_name: Fummi
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Graziano
full_name: Pravadelli, Graziano
last_name: Pravadelli
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
citation:
ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456965'
apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &
Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings
of DATE’10. Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
Graziano and Xie, Tao}, year={2010} }'
chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.'
ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
“RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden,
2010, doi: 10.1109/DATE.2010.5456965.'
mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
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:47:29Z
date_updated: 2023-01-17T10:47:37Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
eisbn:
- 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
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: '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: '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: '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: '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: '39502'
abstract:
- lang: eng
text: The authors present a new approach to an interactive design and analysis environment
for visual languages. The main components, i.e., editor animator and interpreter
are introduced. Their interactions are being investigated emphasizing the interpreter-animator
interaction and defining an interface supporting different levels of automation.
The interpreter performs the executions on a logical level and triggers the animator.
The interactive animation provides a very high degree of liveness since it is
based on the tight integration of the animator and editor. The proposed architecture
permits the distributed implementation of a system for real-time animation. Their
concepts are validated by the implementation of a debugging environment for the
complete visual programming language Pictorial Janus.
author:
- first_name: M.
full_name: Dücker, M.
last_name: Dücker
- 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, Lehrenfeld G, Müller W, Tahedl C. A Generic System for Interactive
Real--Time Animation. In: Proceedings International Conference and Workshop
on Engineering of Computer-Based Systems. ; 1997. doi:10.1109/ECBS.1997.581876'
apa: Dücker, M., Lehrenfeld, G., Müller, W., & Tahedl, C. (1997). A Generic
System for Interactive Real--Time Animation. Proceedings International Conference
and Workshop on Engineering of Computer-Based Systems. https://doi.org/10.1109/ECBS.1997.581876
bibtex: '@inproceedings{Dücker_Lehrenfeld_Müller_Tahedl_1997, place={Monterey, CA,
USA }, title={A Generic System for Interactive Real--Time Animation}, DOI={10.1109/ECBS.1997.581876},
booktitle={ Proceedings International Conference and Workshop on Engineering of
Computer-Based Systems}, author={Dücker, M. and Lehrenfeld, Georg and Müller,
Wolfgang and Tahedl, C.}, year={1997} }'
chicago: Dücker, M., Georg Lehrenfeld, Wolfgang Müller, and C. Tahedl. “A Generic
System for Interactive Real--Time Animation.” In Proceedings International
Conference and Workshop on Engineering of Computer-Based Systems. Monterey,
CA, USA , 1997. https://doi.org/10.1109/ECBS.1997.581876.
ieee: 'M. Dücker, G. Lehrenfeld, W. Müller, and C. Tahedl, “A Generic System for
Interactive Real--Time Animation,” Monterey, CA, USA , 1997, doi: 10.1109/ECBS.1997.581876.'
mla: Dücker, M., et al. “A Generic System for Interactive Real--Time Animation.”
Proceedings International Conference and Workshop on Engineering of Computer-Based
Systems, 1997, doi:10.1109/ECBS.1997.581876.
short: 'M. Dücker, G. Lehrenfeld, W. Müller, C. Tahedl, in: Proceedings International
Conference and Workshop on Engineering of Computer-Based Systems, Monterey, CA,
USA , 1997.'
conference:
location: 'Monterey, CA, USA '
date_created: 2023-01-24T11:46:23Z
date_updated: 2023-01-24T11:46:28Z
department:
- _id: '672'
doi: 10.1109/ECBS.1997.581876
keyword:
- Real time systems
- Animation
- Debugging
- Automation
- Computer languages
- Timing
- Environmental management
- Programming environments
- Visualization
- Multimedia systems
language:
- iso: eng
place: 'Monterey, CA, USA '
publication: ' Proceedings International Conference and Workshop on Engineering of
Computer-Based Systems'
publication_identifier:
isbn:
- 0-8186-7889-5
status: public
title: A Generic System for Interactive Real--Time Animation
type: conference
user_id: '5786'
year: '1997'
...