---
_id: '22737'
author:
- first_name: Matthias
full_name: Becker, Matthias
last_name: Becker
- first_name: Markus
full_name: Luckey, Markus
last_name: Luckey
- first_name: Steffen
full_name: Becker, Steffen
last_name: Becker
citation:
ama: 'Becker M, Luckey M, Becker S. Model-driven Performance Engineering of Self-adaptive
Systems: A Survey. In: {Proceedings of the 8th International ACM SIGSOFT Conference
on Quality of Software Architectures (QoSA)}. New York, NY, USA: ACM; 2012:117-122.
doi:10.1145/2304696.2304716'
apa: 'Becker, M., Luckey, M., & Becker, S. (2012). Model-driven Performance
Engineering of Self-adaptive Systems: A Survey. In {Proceedings of the 8th
International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}
(pp. 117–122). New York, NY, USA: ACM. https://doi.org/10.1145/2304696.2304716'
bibtex: '@inproceedings{Becker_Luckey_Becker_2012, place={New York, NY, USA}, title={Model-driven
Performance Engineering of Self-adaptive Systems: A Survey}, DOI={10.1145/2304696.2304716},
booktitle={{Proceedings of the 8th International ACM SIGSOFT Conference on Quality
of Software Architectures (QoSA)}}, publisher={ACM}, author={Becker, Matthias
and Luckey, Markus and Becker, Steffen}, year={2012}, pages={117–122} }'
chicago: 'Becker, Matthias, Markus Luckey, and Steffen Becker. “Model-Driven Performance
Engineering of Self-Adaptive Systems: A Survey.” In {Proceedings of the 8th
International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)},
117–22. New York, NY, USA: ACM, 2012. https://doi.org/10.1145/2304696.2304716.'
ieee: 'M. Becker, M. Luckey, and S. Becker, “Model-driven Performance Engineering
of Self-adaptive Systems: A Survey,” in {Proceedings of the 8th International
ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, 2012,
pp. 117–122.'
mla: 'Becker, Matthias, et al. “Model-Driven Performance Engineering of Self-Adaptive
Systems: A Survey.” {Proceedings of the 8th International ACM SIGSOFT Conference
on Quality of Software Architectures (QoSA)}, ACM, 2012, pp. 117–22, doi:10.1145/2304696.2304716.'
short: 'M. Becker, M. Luckey, S. Becker, in: {Proceedings of the 8th International
ACM SIGSOFT Conference on Quality of Software Architectures (QoSA)}, ACM, New
York, NY, USA, 2012, pp. 117–122.'
date_created: 2021-07-15T08:38:08Z
date_updated: 2022-01-06T06:55:39Z
doi: 10.1145/2304696.2304716
keyword:
- model-driven performance engineering
- self-*
- Self-adaptation
- software performance
page: 117-122
place: New York, NY, USA
publication: '{Proceedings of the 8th International ACM SIGSOFT Conference on Quality
of Software Architectures (QoSA)}'
publication_identifier:
isbn:
- 978-1-4503-1346-9
publisher: ACM
status: public
title: 'Model-driven Performance Engineering of Self-adaptive Systems: A Survey'
type: conference
user_id: '4870'
year: '2012'
...
---
_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'
...