---
_id: '59601'
abstract:
- lang: eng
text: Modern vehicles are becoming more connected and autonomous, and more software-defined
in general. Such connectivity leads to security risks due to the increased attack
surface for external intrusions. In addition, attacks can also lead to safety
hazards as cars contain multiple safety-critical components. Therefore both safety
and security must be considered in combination. In this whitepaper, we describe
a tool-supported analysis method aligned with automotive standards to identify
safety and security dependencies and automatically derive corresponding test cases.
These test cases can be imported into the existing dSPACE tool chain to improve
efficiency by reducing time-consuming manual work and susceptibility to errors.
Thereby, our method brings together system design and testing phases to pave the
way for an integrated safety and security-by-design life cycle in the automotive
domain.
author:
- first_name: Roman
full_name: Trentinaglia, Roman
id: '49934'
last_name: Trentinaglia
orcid: 0000-0001-9728-4991
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Matthias
full_name: Pukrop, Matthias
last_name: Pukrop
- first_name: Tobias
full_name: Schaeffer, Tobias
last_name: Schaeffer
citation:
ama: 'Trentinaglia R, Fockel M, Pukrop M, Schaeffer T. Whitepaper: From HARA
and TARA to Risk-Based Safety and Security Dependency Testing. dSPACE GmbH;
2024.'
apa: 'Trentinaglia, R., Fockel, M., Pukrop, M., & Schaeffer, T. (2024). Whitepaper:
From HARA and TARA to Risk-Based Safety and Security Dependency Testing. dSPACE
GmbH.'
bibtex: '@book{Trentinaglia_Fockel_Pukrop_Schaeffer_2024, title={Whitepaper: From
HARA and TARA to Risk-Based Safety and Security Dependency Testing}, publisher={dSPACE
GmbH}, author={Trentinaglia, Roman and Fockel, Markus and Pukrop, Matthias and
Schaeffer, Tobias}, year={2024} }'
chicago: 'Trentinaglia, Roman, Markus Fockel, Matthias Pukrop, and Tobias Schaeffer.
Whitepaper: From HARA and TARA to Risk-Based Safety and Security Dependency
Testing. dSPACE GmbH, 2024.'
ieee: 'R. Trentinaglia, M. Fockel, M. Pukrop, and T. Schaeffer, Whitepaper: From
HARA and TARA to Risk-Based Safety and Security Dependency Testing. dSPACE
GmbH, 2024.'
mla: 'Trentinaglia, Roman, et al. Whitepaper: From HARA and TARA to Risk-Based
Safety and Security Dependency Testing. dSPACE GmbH, 2024.'
short: 'R. Trentinaglia, M. Fockel, M. Pukrop, T. Schaeffer, Whitepaper: From HARA
and TARA to Risk-Based Safety and Security Dependency Testing, dSPACE GmbH, 2024.'
date_created: 2025-04-16T09:30:13Z
date_updated: 2025-04-16T09:30:29Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
main_file_link:
- url: https://www.iem.fraunhofer.de/content/dam/iem/dokumente/termine/whitepaper_safety-and-security_06_240527_e-v11.pdf
page: '5'
publication_status: published
publisher: dSPACE GmbH
related_material:
link:
- relation: other
url: https://www.iem.fraunhofer.de/de/newsroom/presse-und-news/fraunhofer-iem-dspace-veroeffentlichen-whitepaper.html
status: public
title: 'Whitepaper: From HARA and TARA to Risk-Based Safety and Security Dependency
Testing'
type: misc
user_id: '49934'
year: '2024'
...
---
_id: '57578'
author:
- first_name: Roman
full_name: Trentinaglia, Roman
id: '49934'
last_name: Trentinaglia
orcid: 0000-0001-9728-4991
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Matthias
full_name: Pukrop, Matthias
last_name: Pukrop
- first_name: Tobias
full_name: Schaeffer, Tobias
last_name: Schaeffer
citation:
ama: 'Trentinaglia R, Fockel M, Pukrop M, Schaeffer T. Automatically deriving test
cases from safety-security dependencies. In: 22th Escar Europe : The World’s
Leading Automotive Cyber Security Conference : Embedded Security in Cars (Dortmund,
19. - 20.11.2024). ; 2024. doi:10.13154/294-12716'
apa: 'Trentinaglia, R., Fockel, M., Pukrop, M., & Schaeffer, T. (2024). Automatically
deriving test cases from safety-security dependencies. 22th Escar Europe :
The World’s Leading Automotive Cyber Security Conference : Embedded Security in
Cars (Dortmund, 19. - 20.11.2024). https://doi.org/10.13154/294-12716'
bibtex: '@inproceedings{Trentinaglia_Fockel_Pukrop_Schaeffer_2024, title={Automatically
deriving test cases from safety-security dependencies}, DOI={10.13154/294-12716},
booktitle={22th escar Europe : The World’s Leading Automotive Cyber Security Conference :
Embedded Security in Cars (Dortmund, 19. - 20.11.2024)}, author={Trentinaglia,
Roman and Fockel, Markus and Pukrop, Matthias and Schaeffer, Tobias}, year={2024}
}'
chicago: 'Trentinaglia, Roman, Markus Fockel, Matthias Pukrop, and Tobias Schaeffer.
“Automatically Deriving Test Cases from Safety-Security Dependencies.” In 22th
Escar Europe : The World’s Leading Automotive Cyber Security Conference : Embedded
Security in Cars (Dortmund, 19. - 20.11.2024), 2024. https://doi.org/10.13154/294-12716.'
ieee: 'R. Trentinaglia, M. Fockel, M. Pukrop, and T. Schaeffer, “Automatically deriving
test cases from safety-security dependencies,” 2024, doi: 10.13154/294-12716.'
mla: 'Trentinaglia, Roman, et al. “Automatically Deriving Test Cases from Safety-Security
Dependencies.” 22th Escar Europe : The World’s Leading Automotive Cyber Security
Conference : Embedded Security in Cars (Dortmund, 19. - 20.11.2024), 2024,
doi:10.13154/294-12716.'
short: 'R. Trentinaglia, M. Fockel, M. Pukrop, T. Schaeffer, in: 22th Escar Europe :
The World’s Leading Automotive Cyber Security Conference : Embedded Security in
Cars (Dortmund, 19. - 20.11.2024), 2024.'
date_created: 2024-12-04T14:55:47Z
date_updated: 2025-05-19T09:31:29Z
department:
- _id: '241'
- _id: '662'
doi: 10.13154/294-12716
language:
- iso: eng
publication: '22th escar Europe : The World’s Leading Automotive Cyber Security Conference
: Embedded Security in Cars (Dortmund, 19. - 20.11.2024)'
status: public
title: Automatically deriving test cases from safety-security dependencies
type: conference
user_id: '49934'
year: '2024'
...
---
_id: '52587'
author:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
- first_name: Jens
full_name: Pottebaum, Jens
id: '405'
last_name: Pottebaum
orcid: http://orcid.org/0000-0001-8778-2989
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Iris
full_name: Gräßler, Iris
id: '47565'
last_name: Gräßler
orcid: 0000-0001-5765-971X
citation:
ama: Bodden E, Pottebaum J, Fockel M, Gräßler I. Evaluating Security Through Isolation
and Defense in Depth. IEEE Security & Privacy. 2024;22(1):69-72. doi:10.1109/msec.2023.3336028
apa: Bodden, E., Pottebaum, J., Fockel, M., & Gräßler, I. (2024). Evaluating
Security Through Isolation and Defense in Depth. IEEE Security & Privacy,
22(1), 69–72. https://doi.org/10.1109/msec.2023.3336028
bibtex: '@article{Bodden_Pottebaum_Fockel_Gräßler_2024, title={Evaluating Security
Through Isolation and Defense in Depth}, volume={22}, DOI={10.1109/msec.2023.3336028},
number={1}, journal={IEEE Security & Privacy}, publisher={Institute of Electrical
and Electronics Engineers (IEEE)}, author={Bodden, Eric and Pottebaum, Jens and
Fockel, Markus and Gräßler, Iris}, year={2024}, pages={69–72} }'
chicago: 'Bodden, Eric, Jens Pottebaum, Markus Fockel, and Iris Gräßler. “Evaluating
Security Through Isolation and Defense in Depth.” IEEE Security & Privacy
22, no. 1 (2024): 69–72. https://doi.org/10.1109/msec.2023.3336028.'
ieee: 'E. Bodden, J. Pottebaum, M. Fockel, and I. Gräßler, “Evaluating Security
Through Isolation and Defense in Depth,” IEEE Security & Privacy, vol.
22, no. 1, pp. 69–72, 2024, doi: 10.1109/msec.2023.3336028.'
mla: Bodden, Eric, et al. “Evaluating Security Through Isolation and Defense in
Depth.” IEEE Security & Privacy, vol. 22, no. 1, Institute of Electrical
and Electronics Engineers (IEEE), 2024, pp. 69–72, doi:10.1109/msec.2023.3336028.
short: E. Bodden, J. Pottebaum, M. Fockel, I. Gräßler, IEEE Security & Privacy
22 (2024) 69–72.
date_created: 2024-03-15T20:16:18Z
date_updated: 2026-03-31T02:19:49Z
department:
- _id: '152'
- _id: '76'
- _id: '662'
doi: 10.1109/msec.2023.3336028
intvolume: ' 22'
issue: '1'
keyword:
- Law
- Electrical and Electronic Engineering
- Computer Networks and Communications
language:
- iso: eng
main_file_link:
- url: https://ieeexplore.ieee.org/document/10411721
page: 69-72
publication: IEEE Security & Privacy
publication_identifier:
issn:
- 1540-7993
- 1558-4046
publication_status: published
publisher: Institute of Electrical and Electronics Engineers (IEEE)
quality_controlled: '1'
status: public
title: Evaluating Security Through Isolation and Defense in Depth
type: journal_article
user_id: '405'
volume: 22
year: '2024'
...
---
_id: '43395'
author:
- first_name: Roman
full_name: Trentinaglia, Roman
id: '49934'
last_name: Trentinaglia
orcid: 0000-0001-9728-4991
- first_name: Sven
full_name: Merschjohann, Sven
id: '11394'
last_name: Merschjohann
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Hendrik
full_name: Eikerling, Hendrik
id: '29279'
last_name: Eikerling
citation:
ama: 'Trentinaglia R, Merschjohann S, Fockel M, Eikerling H. Eliciting Security
Requirements – An Experience Report. In: REFSQ 2023: Requirements Engineering:
Foundation for Software Quality. Springer Nature Switzerland; 2023. doi:10.1007/978-3-031-29786-1_25'
apa: 'Trentinaglia, R., Merschjohann, S., Fockel, M., & Eikerling, H. (2023).
Eliciting Security Requirements – An Experience Report. REFSQ 2023: Requirements
Engineering: Foundation for Software Quality. https://doi.org/10.1007/978-3-031-29786-1_25'
bibtex: '@inproceedings{Trentinaglia_Merschjohann_Fockel_Eikerling_2023, place={Cham},
title={Eliciting Security Requirements – An Experience Report}, DOI={10.1007/978-3-031-29786-1_25},
booktitle={REFSQ 2023: Requirements Engineering: Foundation for Software Quality},
publisher={Springer Nature Switzerland}, author={Trentinaglia, Roman and Merschjohann,
Sven and Fockel, Markus and Eikerling, Hendrik}, year={2023} }'
chicago: 'Trentinaglia, Roman, Sven Merschjohann, Markus Fockel, and Hendrik Eikerling.
“Eliciting Security Requirements – An Experience Report.” In REFSQ 2023: Requirements
Engineering: Foundation for Software Quality. Cham: Springer Nature Switzerland,
2023. https://doi.org/10.1007/978-3-031-29786-1_25.'
ieee: 'R. Trentinaglia, S. Merschjohann, M. Fockel, and H. Eikerling, “Eliciting
Security Requirements – An Experience Report,” 2023, doi: 10.1007/978-3-031-29786-1_25.'
mla: 'Trentinaglia, Roman, et al. “Eliciting Security Requirements – An Experience
Report.” REFSQ 2023: Requirements Engineering: Foundation for Software Quality,
Springer Nature Switzerland, 2023, doi:10.1007/978-3-031-29786-1_25.'
short: 'R. Trentinaglia, S. Merschjohann, M. Fockel, H. Eikerling, in: REFSQ 2023:
Requirements Engineering: Foundation for Software Quality, Springer Nature Switzerland,
Cham, 2023.'
date_created: 2023-04-04T12:47:31Z
date_updated: 2023-04-04T12:51:41Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-031-29786-1_25
language:
- iso: eng
place: Cham
publication: 'REFSQ 2023: Requirements Engineering: Foundation for Software Quality'
publication_identifier:
isbn:
- '9783031297854'
- '9783031297861'
issn:
- 0302-9743
- 1611-3349
publication_status: published
publisher: Springer Nature Switzerland
status: public
title: Eliciting Security Requirements – An Experience Report
type: conference
user_id: '8472'
year: '2023'
...
---
_id: '29847'
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: David
full_name: Schubert, David
id: '9106'
last_name: Schubert
- first_name: Roman
full_name: Trentinaglia, Roman
id: '49934'
last_name: Trentinaglia
orcid: 0000-0001-9728-4991
- first_name: Hannes
full_name: Schulz, Hannes
last_name: Schulz
- first_name: Wolfgang
full_name: Kirmair, Wolfgang
last_name: Kirmair
citation:
ama: 'Fockel M, Schubert D, Trentinaglia R, Schulz H, Kirmair W. Semi-automatic
Integrated Safety and Security Analysis for Automotive Systems. In: Proceedings
of the 10th International Conference on Model-Driven Engineering and Software
Development. SCITEPRESS - Science and Technology Publications; 2022. doi:10.5220/0010778500003119'
apa: Fockel, M., Schubert, D., Trentinaglia, R., Schulz, H., & Kirmair, W. (2022).
Semi-automatic Integrated Safety and Security Analysis for Automotive Systems.
Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development. https://doi.org/10.5220/0010778500003119
bibtex: '@inproceedings{Fockel_Schubert_Trentinaglia_Schulz_Kirmair_2022, title={Semi-automatic
Integrated Safety and Security Analysis for Automotive Systems}, DOI={10.5220/0010778500003119},
booktitle={Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development}, publisher={SCITEPRESS - Science and Technology Publications},
author={Fockel, Markus and Schubert, David and Trentinaglia, Roman and Schulz,
Hannes and Kirmair, Wolfgang}, year={2022} }'
chicago: Fockel, Markus, David Schubert, Roman Trentinaglia, Hannes Schulz, and
Wolfgang Kirmair. “Semi-Automatic Integrated Safety and Security Analysis for
Automotive Systems.” In Proceedings of the 10th International Conference on
Model-Driven Engineering and Software Development. SCITEPRESS - Science and
Technology Publications, 2022. https://doi.org/10.5220/0010778500003119.
ieee: 'M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, and W. Kirmair, “Semi-automatic
Integrated Safety and Security Analysis for Automotive Systems,” 2022, doi: 10.5220/0010778500003119.'
mla: Fockel, Markus, et al. “Semi-Automatic Integrated Safety and Security Analysis
for Automotive Systems.” Proceedings of the 10th International Conference on
Model-Driven Engineering and Software Development, SCITEPRESS - Science and
Technology Publications, 2022, doi:10.5220/0010778500003119.
short: 'M. Fockel, D. Schubert, R. Trentinaglia, H. Schulz, W. Kirmair, in: Proceedings
of the 10th International Conference on Model-Driven Engineering and Software
Development, SCITEPRESS - Science and Technology Publications, 2022.'
date_created: 2022-02-15T08:07:15Z
date_updated: 2022-02-15T08:14:07Z
department:
- _id: '241'
- _id: '662'
doi: 10.5220/0010778500003119
language:
- iso: eng
publication: Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development
publication_status: published
publisher: SCITEPRESS - Science and Technology Publications
status: public
title: Semi-automatic Integrated Safety and Security Analysis for Automotive Systems
type: conference
user_id: '49934'
year: '2022'
...
---
_id: '31071'
abstract:
- lang: eng
text: Distributed, software-intensive systems (e.g., in the automotive sector) must
fulfill communication requirements under hard real-time constraints. The requirements
have to be documented and validated carefully using a systematic requirements
engineering (RE) approach, for example, by applying scenario-based requirements
notations. The resources of the execution platforms and their properties (e.g.,
CPU frequency or bus throughput) induce effects on the timing behavior, which
may lead to violations of the real-time requirements. Nowadays, the platform properties
and their induced timing effects are verified against the real-time requirements
by means of timing analysis techniques mostly implemented in commercial-off-the-shelf
tools. However, such timing analyses are conducted in late development phases
since they rely on artifacts produced during these phases (e.g., the platform-specific
code). In order to enable early timing analyses already during RE, we extend a
scenario-based requirements notation with allocation means to platform models
and define operational semantics for the purpose of simulation-based, platform-aware
timing analyses. We illustrate and evaluate the approach with an automotive software-intensive
system.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Julien
full_name: Deantoni, Julien
last_name: Deantoni
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: Holtmann J, Deantoni J, Fockel M. Early timing analysis based on scenario requirements
and platform models. Software and Systems Modeling. Published online 2022.
doi:10.1007/s10270-022-01002-3
apa: Holtmann, J., Deantoni, J., & Fockel, M. (2022). Early timing analysis
based on scenario requirements and platform models. Software and Systems Modeling.
https://doi.org/10.1007/s10270-022-01002-3
bibtex: '@article{Holtmann_Deantoni_Fockel_2022, title={Early timing analysis based
on scenario requirements and platform models}, DOI={10.1007/s10270-022-01002-3},
journal={Software and Systems Modeling}, publisher={Springer Science and Business
Media LLC}, author={Holtmann, Jörg and Deantoni, Julien and Fockel, Markus}, year={2022}
}'
chicago: Holtmann, Jörg, Julien Deantoni, and Markus Fockel. “Early Timing Analysis
Based on Scenario Requirements and Platform Models.” Software and Systems Modeling,
2022. https://doi.org/10.1007/s10270-022-01002-3.
ieee: 'J. Holtmann, J. Deantoni, and M. Fockel, “Early timing analysis based on
scenario requirements and platform models,” Software and Systems Modeling,
2022, doi: 10.1007/s10270-022-01002-3.'
mla: Holtmann, Jörg, et al. “Early Timing Analysis Based on Scenario Requirements
and Platform Models.” Software and Systems Modeling, Springer Science and
Business Media LLC, 2022, doi:10.1007/s10270-022-01002-3.
short: J. Holtmann, J. Deantoni, M. Fockel, Software and Systems Modeling (2022).
date_created: 2022-05-05T14:05:32Z
date_updated: 2022-05-05T14:09:41Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/s10270-022-01002-3
keyword:
- Modeling and Simulation
- Software
language:
- iso: eng
publication: Software and Systems Modeling
publication_identifier:
issn:
- 1619-1366
- 1619-1374
publication_status: published
publisher: Springer Science and Business Media LLC
status: public
title: Early timing analysis based on scenario requirements and platform models
type: journal_article
user_id: '8472'
year: '2022'
...
---
_id: '22805'
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Sven
full_name: Merschjohann, Sven
id: '11394'
last_name: Merschjohann
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
- first_name: Torsten
full_name: Förder, Torsten
last_name: Förder
- first_name: Stefan
full_name: Hausmann, Stefan
last_name: Hausmann
- first_name: Boris
full_name: Waldeck, Boris
last_name: Waldeck
citation:
ama: 'Fockel M, Merschjohann S, Fazal-Baqaie M, Förder T, Hausmann S, Waldeck B.
Designing and Integrating IEC 62443 Compliant Threat Analysis. In: European
System, Software & Service Process Improvement & Innovation Conference
(EuroSPI 2019). Vol 1060. Communications in Computer and Information Science.
; 2019. doi:10.1007/978-3-030-28005-5_5'
apa: Fockel, M., Merschjohann, S., Fazal-Baqaie, M., Förder, T., Hausmann, S., &
Waldeck, B. (2019). Designing and Integrating IEC 62443 Compliant Threat Analysis.
In European System, Software & Service Process Improvement & Innovation
Conference (EuroSPI 2019) (Vol. 1060). Edinburgh, UK. https://doi.org/10.1007/978-3-030-28005-5_5
bibtex: '@inproceedings{Fockel_Merschjohann_Fazal-Baqaie_Förder_Hausmann_Waldeck_2019,
series={Communications in Computer and Information Science}, title={Designing
and Integrating IEC 62443 Compliant Threat Analysis}, volume={1060}, DOI={10.1007/978-3-030-28005-5_5},
booktitle={European System, Software & Service Process Improvement & Innovation
Conference (EuroSPI 2019)}, author={Fockel, Markus and Merschjohann, Sven and
Fazal-Baqaie, Masud and Förder, Torsten and Hausmann, Stefan and Waldeck, Boris},
year={2019}, collection={Communications in Computer and Information Science} }'
chicago: Fockel, Markus, Sven Merschjohann, Masud Fazal-Baqaie, Torsten Förder,
Stefan Hausmann, and Boris Waldeck. “Designing and Integrating IEC 62443 Compliant
Threat Analysis.” In European System, Software & Service Process Improvement
& Innovation Conference (EuroSPI 2019), Vol. 1060. Communications in Computer
and Information Science, 2019. https://doi.org/10.1007/978-3-030-28005-5_5.
ieee: M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, and B.
Waldeck, “Designing and Integrating IEC 62443 Compliant Threat Analysis,” in European
System, Software & Service Process Improvement & Innovation Conference
(EuroSPI 2019), Edinburgh, UK, 2019, vol. 1060.
mla: Fockel, Markus, et al. “Designing and Integrating IEC 62443 Compliant Threat
Analysis.” European System, Software & Service Process Improvement &
Innovation Conference (EuroSPI 2019), vol. 1060, 2019, doi:10.1007/978-3-030-28005-5_5.
short: 'M. Fockel, S. Merschjohann, M. Fazal-Baqaie, T. Förder, S. Hausmann, B.
Waldeck, in: European System, Software & Service Process Improvement &
Innovation Conference (EuroSPI 2019), 2019.'
conference:
location: Edinburgh, UK
name: European System, Software & Service Process Improvement & Innovation Conference
(EuroSPI 2019)
date_created: 2021-07-23T14:09:56Z
date_updated: 2022-01-06T06:55:41Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-030-28005-5_5
intvolume: ' 1060'
language:
- iso: eng
publication: European System, Software & Service Process Improvement & Innovation
Conference (EuroSPI 2019)
publication_identifier:
issn:
- 1865-0929
- 1865-0937
publication_status: published
series_title: Communications in Computer and Information Science
status: public
title: Designing and Integrating IEC 62443 Compliant Threat Analysis
type: conference
user_id: '8472'
volume: 1060
year: '2019'
...
---
_id: '20779'
abstract:
- lang: eng
text: Der hohe Grad an Innovation in mechatronischen Systemen führt zu sogenannten
Cyber-Physical Systems (CPS). Diese haben eine komplexe Funktionalität und Kommunikation.
Wie sicherheitskritisch solche Systeme sind, wird durch sogenannte Sicherheits-Integritätslevel
(SIL) kategorisiert, die durch Normen wie der ISO 26262 definiert werden. Ein
bestimmter SIL beschreibt nicht nur die Höhe des Gefährdungsrisikos, sondern diktiert
auch den erforderlichen Grad an Sorgfalt bei der Entwicklung des Systems. Ein
hoher SIL erfordert die Anwendung von Safety-Maßnahmen mit einem hohen Sorgfaltsgrad
in allen Phasen der Entwicklung und impliziert daher einen hohen Safety-Aufwand.
SIL-Tailoring ist ein Mittel um den Safety-Aufwand zu reduzieren, indem man Subsystemen
geringere SILs zuordnet, falls sie von kritischeren Subsystemen getrennt sind
oder redundante Safety-Anforderungen erfüllen. Um den nötigen Safety-Aufwand zu
planen, sollten Möglichkeiten für SIL-Tailoring so früh wie möglich identifiziert
werden - d.h. bereits in der Anforderungsanalyse. Durch die Komplexität von CPS,
ist es schwierig valide SIL-Tailorings zu finden. Die Validität von SIL-Tailorings
muss durch Analyse von Fehlerpropagierungspfaden geprüft und durch Argumente im
Safety Case begründet werden. Der Beitrag dieser Dissertation ist ein systematischer,
tool-unterstützter SIL-Tailoring-Prozess, der im Safety Requirements Engineering
angewendet wird. Der Prozess nutzt eine modell-basierte, formale Anforderungsspezifikation
und stellt einen Katalog von Anforderungsmustern bereit. Basierend auf diesen
Anforderungen werden Fehlerpropagierungsmodelle generiert und Subsystemen automatisch
SILs zugeordnet. Das minimiert den Sicherheitsanalyseaufwand. Aus den generierten
Ergebnissen wird automatisch ein Safety Case mit Argumenten für die SIL-Tailoring-Validität
abgeleitet.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: Fockel M. Safety Requirements Engineering for Early SIL Tailoring. Fakultät
für Elektrotechnik, Informatik und Mathematik, Universität Paderborn; 2018. doi:10.17619/UNIPB/1-490
apa: Fockel, M. (2018). Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn.
https://doi.org/10.17619/UNIPB/1-490
bibtex: '@book{Fockel_2018, title={Safety Requirements Engineering for Early SIL
Tailoring}, DOI={10.17619/UNIPB/1-490},
publisher={Fakultät für Elektrotechnik, Informatik und Mathematik, Universität
Paderborn}, author={Fockel, Markus}, year={2018} }'
chicago: Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
2018. https://doi.org/10.17619/UNIPB/1-490.
ieee: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
2018.
mla: Fockel, Markus. Safety Requirements Engineering for Early SIL Tailoring.
Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn,
2018, doi:10.17619/UNIPB/1-490.
short: M. Fockel, Safety Requirements Engineering for Early SIL Tailoring, Fakultät
für Elektrotechnik, Informatik und Mathematik, Universität Paderborn, 2018.
date_created: 2020-12-17T11:59:05Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.17619/UNIPB/1-490
language:
- iso: eng
publisher: Fakultät für Elektrotechnik, Informatik und Mathematik, Universität Paderborn
status: public
supervisor:
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
title: Safety Requirements Engineering for Early SIL Tailoring
type: dissertation
user_id: '5786'
year: '2018'
...
---
_id: '20780'
abstract:
- lang: eng
text: With the growing number of incidents, the topic security gains more and more
attention across all domains. Organizations realize their lack of state-of-the-art
security practices, however, they struggle to improve their software lifecycle
in terms of security. In this talk, we introduce the concept of security by design
that implements security practices within the whole software lifecycle. Based
on our practical experience from industry projects in the regulated industrial
automation and unregulated classical IT domain, we explain how to perform a threat
analysis and how to integrate it into the software lifecycle.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Sven
full_name: Merschjohann, Sven
id: '11394'
last_name: Merschjohann
- first_name: Masud
full_name: Fazal-Baqaie, Masud
last_name: Fazal-Baqaie
citation:
ama: 'Fockel M, Merschjohann S, Fazal-Baqaie M. Threat Analysis in Practice - Systematically
Deriving Security Requirements. In: 19th International Conference on Product-Focused
Software Process Improvement (PROFES 2018). LNCS 11271. Springer Nature Switzerland
AG; 2018. doi:10.1007/978-3-030-03673-7_25'
apa: Fockel, M., Merschjohann, S., & Fazal-Baqaie, M. (2018). Threat Analysis
in Practice - Systematically Deriving Security Requirements. In 19th International
Conference on Product-Focused Software Process Improvement (PROFES 2018).
Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-03673-7_25
bibtex: '@inproceedings{Fockel_Merschjohann_Fazal-Baqaie_2018, series={LNCS 11271},
title={Threat Analysis in Practice - Systematically Deriving Security Requirements},
DOI={10.1007/978-3-030-03673-7_25},
booktitle={19th International Conference on Product-Focused Software Process Improvement
(PROFES 2018)}, publisher={Springer Nature Switzerland AG}, author={Fockel, Markus
and Merschjohann, Sven and Fazal-Baqaie, Masud}, year={2018}, collection={LNCS
11271} }'
chicago: Fockel, Markus, Sven Merschjohann, and Masud Fazal-Baqaie. “Threat Analysis
in Practice - Systematically Deriving Security Requirements.” In 19th International
Conference on Product-Focused Software Process Improvement (PROFES 2018).
LNCS 11271. Springer Nature Switzerland AG, 2018. https://doi.org/10.1007/978-3-030-03673-7_25.
ieee: M. Fockel, S. Merschjohann, and M. Fazal-Baqaie, “Threat Analysis in Practice
- Systematically Deriving Security Requirements,” in 19th International Conference
on Product-Focused Software Process Improvement (PROFES 2018), 2018.
mla: Fockel, Markus, et al. “Threat Analysis in Practice - Systematically Deriving
Security Requirements.” 19th International Conference on Product-Focused Software
Process Improvement (PROFES 2018), Springer Nature Switzerland AG, 2018, doi:10.1007/978-3-030-03673-7_25.
short: 'M. Fockel, S. Merschjohann, M. Fazal-Baqaie, in: 19th International Conference
on Product-Focused Software Process Improvement (PROFES 2018), Springer Nature
Switzerland AG, 2018.'
date_created: 2020-12-17T12:00:45Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
doi: 10.1007/978-3-030-03673-7_25
language:
- iso: eng
publication: 19th International Conference on Product-Focused Software Process Improvement
(PROFES 2018)
publisher: Springer Nature Switzerland AG
series_title: LNCS 11271
status: public
title: Threat Analysis in Practice - Systematically Deriving Security Requirements
type: conference
user_id: '8472'
year: '2018'
...
---
_id: '20786'
abstract:
- lang: eng
text: Distributed, software-intensive systems such as automotive electronic control
units have to handle various situations employing message-based coordination.
The growing complexity of such systems results in an increasing difficulty to
achieve a high quality of the systems' requirements specifications. Scenario-based
requirements engineering addresses the message-based coordination of such systems
and enables, if underpinned with formal modeling languages, automatic analyses
for ensuring the quality of requirements specifications. However, formal requirements
modeling languages require high expertise of the requirements engineers and many
manual iterations until specifications reach high quality. Patterns provide a
constructive means for assembling high-quality solutions by applying reusable
and established building blocks. Thus, they also gained momentum in requirements
documentation. In order to support the requirements engineers in the systematic
conception of formal, scenario-based requirements specification models, we hence
introduce in this paper a requirement pattern catalog for a requirements modeling
language. We illustrate and discuss the application of the requirement patterns
with an example of requirements for an automotive electronic control unit.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
citation:
ama: 'Fockel M, Holtmann J, Koch T, Schmelter D. Formal, Model- and Scenario-based
Requirement Patterns. In: 6th International Conference on Model-Driven Engineering
and Software Development (MODELSWARD 2018). ; 2018.'
apa: Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2018). Formal, Model-
and Scenario-based Requirement Patterns. In 6th International Conference on
Model-Driven Engineering and Software Development (MODELSWARD 2018).
bibtex: '@inproceedings{Fockel_Holtmann_Koch_Schmelter_2018, title={Formal, Model-
and Scenario-based Requirement Patterns}, booktitle={6th International Conference
on Model-Driven Engineering and Software Development (MODELSWARD 2018)}, author={Fockel,
Markus and Holtmann, Jörg and Koch, Thorsten and Schmelter, David}, year={2018}
}'
chicago: Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. “Formal,
Model- and Scenario-Based Requirement Patterns.” In 6th International Conference
on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.
ieee: M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, “Formal, Model- and Scenario-based
Requirement Patterns,” in 6th International Conference on Model-Driven Engineering
and Software Development (MODELSWARD 2018), 2018.
mla: Fockel, Markus, et al. “Formal, Model- and Scenario-Based Requirement Patterns.”
6th International Conference on Model-Driven Engineering and Software Development
(MODELSWARD 2018), 2018.
short: 'M. Fockel, J. Holtmann, T. Koch, D. Schmelter, in: 6th International Conference
on Model-Driven Engineering and Software Development (MODELSWARD 2018), 2018.'
date_created: 2020-12-17T12:12:20Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: 6th International Conference on Model-Driven Engineering and Software
Development (MODELSWARD 2018)
status: public
title: Formal, Model- and Scenario-based Requirement Patterns
type: conference
user_id: '8472'
year: '2018'
...
---
_id: '20791'
abstract:
- lang: eng
text: Intelligente technische Systeme, wie autonom fahrende Fahrzeuge, werden in
einem hohen Maß durch Software realisiert. Der Weg zum autonomen Fahren führt
unweigerlich über eine steigende Vernetzung von Steuergeräten im Fahrzeug und
über Fahrzeuggrenzen hinweg. Damit einher geht eine stetig steigende Komplexität
der Software. Deshalb liegt es auf der Hand, dass die systematische Qualitätssicherung
für derartige technische Systeme sehr früh, also bereits entwicklungsbegleitend,
erfolgen muss. Dazu lässt sich das Software-in-the-Loop-Verfahren einsetzen, das
auf etablierte Techniken des Hardware-in-the-Loop-Verfahrens zurückgreift. Eine
besondere Herausforderung besteht darin, Simulationsmodelle und Testbibliotheken
sowie die zugehörigen Visualisierungs- und Testwerkzeuge in beiden Welten synergetisch
zu nutzen. Das Ziel ist eine einheitliche X-in-the-Loop (XIL) Basis für beide
Verfahren. Der Schlüssel zu einer einheitlichen Basis für durchgängige XIL-Testszenarien
ist der Einsatz eines übergeordneten Systemmodells. Es definiert die Systemgrenze
und umliegenden Systeme in der Umwelt. Zudem dient das Systemmodell als Ordnungsschema
für die Ablage der Artefakte wie Verhaltensmodelle, Testskripte, Parametersätze
oder Workflows. Ein zentrales Datenmanagementwerkzeug, welches sämtliche Strukturinformationen,
Verhaltensmodelle und Variantenbezüge verknüpft, ermöglicht ein teilautomatisches
Umschalten zwischen den Testszenarien. In diesem Beitrag stellen wir eine solche
Lösung vor.
author:
- first_name: Joachim
full_name: Schmitz, Joachim
last_name: Schmitz
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: 'Schmitz J, Fockel M. Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien.
In: Tag Des Systems Engineering 2017. Gesellschaft f{\"u}r Systems Engineering
e.V.; 2017.'
apa: Schmitz, J., & Fockel, M. (2017). Systemmodelle als Schlüssel zu durchgängigen
XIL-Testszenarien. In Tag des Systems Engineering 2017. Gesellschaft f{\"u}r
Systems Engineering e.V.
bibtex: '@inproceedings{Schmitz_Fockel_2017, title={Systemmodelle als Schlüssel
zu durchgängigen XIL-Testszenarien}, booktitle={ Tag des Systems Engineering 2017},
publisher={Gesellschaft f{\"u}r Systems Engineering e.V.}, author={Schmitz, Joachim
and Fockel, Markus}, year={2017} }'
chicago: Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen
XIL-Testszenarien.” In Tag Des Systems Engineering 2017. Gesellschaft
f{\"u}r Systems Engineering e.V., 2017.
ieee: J. Schmitz and M. Fockel, “Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien,”
in Tag des Systems Engineering 2017, 2017.
mla: Schmitz, Joachim, and Markus Fockel. “Systemmodelle Als Schlüssel Zu Durchgängigen
XIL-Testszenarien.” Tag Des Systems Engineering 2017, Gesellschaft f{\"u}r
Systems Engineering e.V., 2017.
short: 'J. Schmitz, M. Fockel, in: Tag Des Systems Engineering 2017, Gesellschaft
f{\"u}r Systems Engineering e.V., 2017.'
date_created: 2020-12-17T13:29:01Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: ' Tag des Systems Engineering 2017'
publisher: Gesellschaft f{\"u}r Systems Engineering e.V.
status: public
title: Systemmodelle als Schlüssel zu durchgängigen XIL-Testszenarien
type: conference
user_id: '8472'
year: '2017'
...
---
_id: '20793'
abstract:
- lang: eng
text: Scenario-based requirements engineering addresses the message-based coordination
of software-intensive systems and enables, if underpinned with formal languages,
automatic requirements validation techniques for improving the quality of a requirements
specification. One of such requirements engineering approaches bases on a recent
visual Live Sequence Chart variant compliant to the Unified Modeling Language,
so-called Modal Sequence Diagrams (MSDs). The usage of patterns is known to be
constructive thanks to assembling solutions by means of reusable building blocks
that are proven in practice, so that recurring problems do not need to be solved
over and over again. Thus, patterns also gained momentum in the area of requirements
documentation. In this technical report, we introduce a model- and scenario-based
pattern catalog for MSD requirements. Our MSD requirement pattern catalog consolidates
and unifies 86 requirement patterns from three well-known, practice-oriented requirement
pattern catalogs, each covering different aspects.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
citation:
ama: Fockel M, Holtmann J, Koch T, Schmelter D. Model-Based Requirement Pattern
Catalog. Paderborn, Germany; 2017.
apa: Fockel, M., Holtmann, J., Koch, T., & Schmelter, D. (2017). Model-based
Requirement Pattern Catalog. Paderborn, Germany.
bibtex: '@book{Fockel_Holtmann_Koch_Schmelter_2017, place={Paderborn, Germany},
title={Model-based Requirement Pattern Catalog}, author={Fockel, Markus and Holtmann,
Jörg and Koch, Thorsten and Schmelter, David}, year={2017} }'
chicago: Fockel, Markus, Jörg Holtmann, Thorsten Koch, and David Schmelter. Model-Based
Requirement Pattern Catalog. Paderborn, Germany, 2017.
ieee: M. Fockel, J. Holtmann, T. Koch, and D. Schmelter, Model-based Requirement
Pattern Catalog. Paderborn, Germany, 2017.
mla: Fockel, Markus, et al. Model-Based Requirement Pattern Catalog. 2017.
short: M. Fockel, J. Holtmann, T. Koch, D. Schmelter, Model-Based Requirement Pattern
Catalog, Paderborn, Germany, 2017.
date_created: 2020-12-17T13:31:36Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
place: Paderborn, Germany
report_number: tr-ri-17-354
status: public
title: Model-based Requirement Pattern Catalog
type: report
user_id: '8472'
year: '2017'
...
---
_id: '20823'
abstract:
- lang: eng
text: 'In this technical report, we present the MechatronicUML requirements engineering
method. The method encompasses a process and a scenario-based modeling language
for the documentation and analysis of requirements on the message-based interaction
behavior of software-intensive systems. The modeling language uses a scenario
notation based on Modal Sequence Diagrams (MSDs), which borrows concepts of UML
Interactions as well as of Live Sequence Charts. Furthermore, we introduce the
so-called Emergency Braking & Evasion System (EBEAS) as a running example, which
is based on current and upcoming real-world driver assistance systems. '
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
- first_name: Christian
full_name: Brenner, Christian
last_name: Brenner
- first_name: Ruslan
full_name: Bernijazov, Ruslan
last_name: Bernijazov
- first_name: Marcel
full_name: Sander, Marcel
last_name: Sander
citation:
ama: 'Holtmann J, Fockel M, Koch T, et al. The MechatronicUML Requirements Engineering
Method: Process and Language.; 2016. doi:10.13140/RG.2.2.33223.29606'
apa: 'Holtmann, J., Fockel, M., Koch, T., Schmelter, D., Brenner, C., Bernijazov,
R., & Sander, M. (2016). The MechatronicUML Requirements Engineering Method:
Process and Language. https://doi.org/10.13140/RG.2.2.33223.29606'
bibtex: '@book{Holtmann_Fockel_Koch_Schmelter_Brenner_Bernijazov_Sander_2016, title={The
MechatronicUML Requirements Engineering Method: Process and Language}, DOI={10.13140/RG.2.2.33223.29606},
author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David
and Brenner, Christian and Bernijazov, Ruslan and Sander, Marcel}, year={2016}
}'
chicago: 'Holtmann, Jörg, Markus Fockel, Thorsten Koch, David Schmelter, Christian
Brenner, Ruslan Bernijazov, and Marcel Sander. The MechatronicUML Requirements
Engineering Method: Process and Language, 2016. https://doi.org/10.13140/RG.2.2.33223.29606.'
ieee: 'J. Holtmann et al., The MechatronicUML Requirements Engineering
Method: Process and Language. 2016.'
mla: 'Holtmann, Jörg, et al. The MechatronicUML Requirements Engineering Method:
Process and Language. 2016, doi:10.13140/RG.2.2.33223.29606.'
short: 'J. Holtmann, M. Fockel, T. Koch, D. Schmelter, C. Brenner, R. Bernijazov,
M. Sander, The MechatronicUML Requirements Engineering Method: Process and Language,
2016.'
date_created: 2020-12-22T09:28:23Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '76'
- _id: '241'
- _id: '662'
doi: 10.13140/RG.2.2.33223.29606
language:
- iso: eng
status: public
title: 'The MechatronicUML Requirements Engineering Method: Process and Language'
type: report
user_id: '5786'
year: '2016'
...
---
_id: '20827'
abstract:
- lang: eng
text: Cyber-physical systems like self-driving cars are highly complex and safety-critical.
This results in a great number of safety requirements that have different levels
of criticality. In automotive, the criticality is categorized in Automotive Safety
Integrity Levels (ASIL). As a high ASIL causes high development effort, the goal
is to develop most subsystems with lower ASIL requirements. To achieve this ASIL
tailoring, subsystems need to be separated or redundantly implemented. These safety
measures are usually integrated late in the development process and thus cause
costly development iterations. In this paper, we present a systematic, tool-supported
ASIL tailoring process for the requirements analysis phase. It is applied on formal
safety requirements and automatically generated fault trees for a functional view
of the system. The process supports early planning of safety efforts for mixed-criticality
systems and avoids costly late development iterations.
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: 'Fockel M. ASIL Tailoring on Functional Safety Requirements. In: 5th International
Workshop on Next Generation of System Assurance Approaches for Safety-Critical
Systems (SASSUR). Vol 9923. Lecture Notes in Computer Science (LNCS). Trondheim,
Norway: Springer International Publishing Switzerland; 2016:298–310.'
apa: 'Fockel, M. (2016). ASIL Tailoring on Functional Safety Requirements. In 5th
International Workshop on Next Generation of System Assurance Approaches for Safety-Critical
Systems (SASSUR) (Vol. 9923, pp. 298–310). Trondheim, Norway: Springer International
Publishing Switzerland.'
bibtex: '@inproceedings{Fockel_2016, place={Trondheim, Norway}, series={Lecture
Notes in Computer Science (LNCS)}, title={ASIL Tailoring on Functional Safety
Requirements}, volume={9923}, booktitle={5th International Workshop on Next Generation
of System Assurance Approaches for Safety-Critical Systems (SASSUR)}, publisher={Springer
International Publishing Switzerland}, author={Fockel, Markus}, year={2016}, pages={298–310},
collection={Lecture Notes in Computer Science (LNCS)} }'
chicago: 'Fockel, Markus. “ASIL Tailoring on Functional Safety Requirements.” In
5th International Workshop on Next Generation of System Assurance Approaches
for Safety-Critical Systems (SASSUR), 9923:298–310. Lecture Notes in Computer
Science (LNCS). Trondheim, Norway: Springer International Publishing Switzerland,
2016.'
ieee: M. Fockel, “ASIL Tailoring on Functional Safety Requirements,” in 5th International
Workshop on Next Generation of System Assurance Approaches for Safety-Critical
Systems (SASSUR), 2016, vol. 9923, pp. 298–310.
mla: Fockel, Markus. “ASIL Tailoring on Functional Safety Requirements.” 5th
International Workshop on Next Generation of System Assurance Approaches for Safety-Critical
Systems (SASSUR), vol. 9923, Springer International Publishing Switzerland,
2016, pp. 298–310.
short: 'M. Fockel, in: 5th International Workshop on Next Generation of System Assurance
Approaches for Safety-Critical Systems (SASSUR), Springer International Publishing
Switzerland, Trondheim, Norway, 2016, pp. 298–310.'
date_created: 2020-12-22T09:35:16Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '241'
- _id: '662'
intvolume: ' 9923'
language:
- iso: eng
page: 298–310
place: Trondheim, Norway
publication: 5th International Workshop on Next Generation of System Assurance Approaches
for Safety-Critical Systems (SASSUR)
publisher: Springer International Publishing Switzerland
series_title: Lecture Notes in Computer Science (LNCS)
status: public
title: ASIL Tailoring on Functional Safety Requirements
type: conference
user_id: '8472'
volume: 9923
year: '2016'
...
---
_id: '20828'
abstract:
- lang: ger
text: In verschiedenen Unternehmen wird mit Anforderungen unterschiedlich umgegangen.
Je nach Größe, Branche und Unternehmenskultur ist das Thema Requirements Engineering
(RE) mal weniger, mal mehr etabliert. In einigen Unternehmen wird es als lästige
Zusatzaufgabe betrachtet, während andere Unternehmen ganze Abteilungen mit RE
als Kernkompetenz betreiben. RE wird allerdings in jedem Projekt - bewusst oder
unbewusst - durchgeführt! RE ist die Basis für den weiteren Entwicklungsprozess,
die Validierung/Verifikation und die Plan- und Messbarkeit des Projekts. Darüber
hinaus können Fehler, die auf Anforderungsebene gefunden werden, weniger aufwendig
und somit günstiger behoben werden als in späteren Entwicklungsphasen. Am Fraunhofer
IEM beraten wir Unternehmen und erforschen neue Methoden bezüglich der Entwicklung
von intelligenten technischen Systemen. In diesem Artikel berichten wir über unsere
Erfahrungen aus Projekten, in denen wir Unternehmen aus verschiedenen Branchen
und mit unterschiedlichem RE-Reifegrad zwecks Leistungssteigerung des RE begleitet
haben. Auf Basis dieser Projekterfahrungen zeigen wir Wege auf, wie der Stand
des RE mittels eines Reifegradmodells im eigenen Unternehmen verbessert werden
kann.
author:
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Thorsten
full_name: Koch, Thorsten
id: '13616'
last_name: Koch
- first_name: David
full_name: Schmelter, David
id: '40982'
last_name: Schmelter
orcid: 0000-0001-7787-5380
citation:
ama: Holtmann J, Fockel M, Koch T, Schmelter D. Requirements Engineering - Zusatzaufgabe
oder Kernkompetenz? OBJEKTspektrum. 2016;(RE/2016).
apa: Holtmann, J., Fockel, M., Koch, T., & Schmelter, D. (2016). Requirements
Engineering - Zusatzaufgabe oder Kernkompetenz? OBJEKTspektrum, (RE/2016).
bibtex: '@article{Holtmann_Fockel_Koch_Schmelter_2016, title={Requirements Engineering
- Zusatzaufgabe oder Kernkompetenz?}, number={RE/2016}, journal={OBJEKTspektrum},
author={Holtmann, Jörg and Fockel, Markus and Koch, Thorsten and Schmelter, David},
year={2016} }'
chicago: Holtmann, Jörg, Markus Fockel, Thorsten Koch, and David Schmelter. “Requirements
Engineering - Zusatzaufgabe Oder Kernkompetenz?” OBJEKTspektrum, no. RE/2016
(2016).
ieee: J. Holtmann, M. Fockel, T. Koch, and D. Schmelter, “Requirements Engineering
- Zusatzaufgabe oder Kernkompetenz?,” OBJEKTspektrum, no. RE/2016, 2016.
mla: Holtmann, Jörg, et al. “Requirements Engineering - Zusatzaufgabe Oder Kernkompetenz?”
OBJEKTspektrum, no. RE/2016, 2016.
short: J. Holtmann, M. Fockel, T. Koch, D. Schmelter, OBJEKTspektrum (2016).
date_created: 2020-12-22T09:36:49Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '241'
- _id: '662'
issue: RE/2016
language:
- iso: eng
main_file_link:
- url: http://www.sigs-datacom.de/uploads/tx_dmjournals/fockel_holtmann_koch_schmelter_OTS_RE_16.pdf
publication: OBJEKTspektrum
status: public
title: Requirements Engineering - Zusatzaufgabe oder Kernkompetenz?
type: journal_article
user_id: '8472'
year: '2016'
...
---
_id: '20969'
abstract:
- lang: eng
text: "Zukünftige mechatronische Systeme entwickeln sich mehr und mehr zu intelligenten
technischen Systemen, die durch eine zunehmende Verzahnung der mechanischen, elektrischen
und informationsverarbeitenden Anteile gekennzeichnet sind. Um das Zusammenspiel
der Disziplinen besser zu beherrschen, werden zunehmend Methoden und disziplinübergreifende
Systemmodelle des Systems Engineering genutzt. Offene Probleme sind dabei noch
die Nachverfolgbarkeit der Entwicklung (Traceability) und die Verwaltung zueinander
konsistenter Versionen von disziplinübergreifenden und disziplinspezifischen Modellen.
Dieser Beitrag adressiert diese Probleme durch die Verknüpfung der Spezifikationstechnik
CONSENS für den Systementwurf mit dem Datenmanagementwerkzeug SYNECT. Der Beitrag
stellt die Konzipierung und prototypische Werkzeugunterstützung für die Verknüpfung
von Systemmodellen und disziplinspezifischen MATLAB/Simulink-Modellen vor.\r\n"
author:
- first_name: Joachim
full_name: Schmitz, Joachim
last_name: Schmitz
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
citation:
ama: 'Schmitz J, Fockel M. Vom Systemmodell zu disziplinspezifischen Modellen und
zurück. In: Tag Des Systems Engineering 2015. Gesellschaft für Systems
Engineering e.V.; 2015.'
apa: Schmitz, J., & Fockel, M. (2015). Vom Systemmodell zu disziplinspezifischen
Modellen und zurück. In Tag des Systems Engineering 2015. Gesellschaft
für Systems Engineering e.V.
bibtex: '@inproceedings{Schmitz_Fockel_2015, title={Vom Systemmodell zu disziplinspezifischen
Modellen und zurück}, booktitle={Tag des Systems Engineering 2015}, publisher={Gesellschaft
für Systems Engineering e.V.}, author={Schmitz, Joachim and Fockel, Markus}, year={2015}
}'
chicago: Schmitz, Joachim, and Markus Fockel. “Vom Systemmodell Zu Disziplinspezifischen
Modellen Und Zurück.” In Tag Des Systems Engineering 2015. Gesellschaft
für Systems Engineering e.V., 2015.
ieee: J. Schmitz and M. Fockel, “Vom Systemmodell zu disziplinspezifischen Modellen
und zurück,” in Tag des Systems Engineering 2015, 2015.
mla: Schmitz, Joachim, and Markus Fockel. “Vom Systemmodell Zu Disziplinspezifischen
Modellen Und Zurück.” Tag Des Systems Engineering 2015, Gesellschaft für
Systems Engineering e.V., 2015.
short: 'J. Schmitz, M. Fockel, in: Tag Des Systems Engineering 2015, Gesellschaft
für Systems Engineering e.V., 2015.'
date_created: 2021-01-13T13:02:44Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Tag des Systems Engineering 2015
publisher: Gesellschaft für Systems Engineering e.V.
status: public
title: Vom Systemmodell zu disziplinspezifischen Modellen und zurück
type: conference
user_id: '8472'
year: '2015'
...
---
_id: '20970'
abstract:
- lang: ger
text: Automobile Steuergeräte realisieren mehr und mehr sicherheitskritische Funktionen.
Nicht erst durch die Einführung der ISO 26262 werden an die Entwicklung sicherheitskritischer
Funktionen besondere Anforderungen zum Beispiel in Form von Sicherheitsanalysen
gestellt. In der Praxis hat sich herausgestellt, dass durch den bisherigen Systementwurf
nicht alle notwendigen Daten für die Sicherheitsanalysen vorlagen. Von daher war
eine Erweiterung des bisherigen Vorgehens erforderlich, sodass die benötigten
Daten zu den erforderlichen Zeitpunkten vorliegen und die Sicherheitsanalysen
ohne aufwendige Nacharbeiten erstellt werden können. Dieser Artikel beschreibt
die durchgeführten Erweiterungen und die Erfahrungen, die in Serienprojekten eines
automobilen Zulieferers gesammelt wurden.
author:
- first_name: Jan
full_name: Meyer, Jan
last_name: Meyer
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Meyer J, Fockel M, Holtmann J. Systementwurf unter Einbeziehung funktionaler
Sicherheit bei automobilen Steuergeräten. In: Tag Des Systems Engineering 2015.
Gesellschaft für Systems Engineering e.V.; 2015.'
apa: Meyer, J., Fockel, M., & Holtmann, J. (2015). Systementwurf unter Einbeziehung
funktionaler Sicherheit bei automobilen Steuergeräten. In Tag des Systems Engineering
2015. Gesellschaft für Systems Engineering e.V.
bibtex: '@inproceedings{Meyer_Fockel_Holtmann_2015, title={Systementwurf unter Einbeziehung
funktionaler Sicherheit bei automobilen Steuergeräten}, booktitle={Tag des Systems
Engineering 2015}, publisher={Gesellschaft für Systems Engineering e.V.}, author={Meyer,
Jan and Fockel, Markus and Holtmann, Jörg}, year={2015} }'
chicago: Meyer, Jan, Markus Fockel, and Jörg Holtmann. “Systementwurf Unter Einbeziehung
Funktionaler Sicherheit Bei Automobilen Steuergeräten.” In Tag Des Systems
Engineering 2015. Gesellschaft für Systems Engineering e.V., 2015.
ieee: J. Meyer, M. Fockel, and J. Holtmann, “Systementwurf unter Einbeziehung funktionaler
Sicherheit bei automobilen Steuergeräten,” in Tag des Systems Engineering 2015,
2015.
mla: Meyer, Jan, et al. “Systementwurf Unter Einbeziehung Funktionaler Sicherheit
Bei Automobilen Steuergeräten.” Tag Des Systems Engineering 2015, Gesellschaft
für Systems Engineering e.V., 2015.
short: 'J. Meyer, M. Fockel, J. Holtmann, in: Tag Des Systems Engineering 2015,
Gesellschaft für Systems Engineering e.V., 2015.'
date_created: 2021-01-13T13:04:04Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Tag des Systems Engineering 2015
publisher: Gesellschaft für Systems Engineering e.V.
status: public
title: Systementwurf unter Einbeziehung funktionaler Sicherheit bei automobilen Steuergeräten
type: conference
user_id: '8472'
year: '2015'
...
---
_id: '20971'
abstract:
- lang: eng
text: "The growing complexity of today's software intensive systems results in an
increased size of requirements specifications, which are typically documented
by means of natural language (NL). Large NL requirements specifications are prone
to contain defects (e.g., contradictions), and the inherent ambiguity of NL impedes
automatic techniques to support the requirements engineer. In order to cope with
this problem, we conceived a requirements documentation approach implemented in
the tool ReqPat. Using a controlled NL, it supports an efficient requirements
documentation, an automatic requirements validation, and an automatic transition
to models--while still keeping the requirements understandable for all stakeholders.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Fockel M, Holtmann J. ReqPat: Efficient Documentation of High-quality Requirements
using Controlled Natural Language. In: Proc. of the 23rd International Requirements
Engineering Conference 2015 (RE15). IEEE; 2015.'
apa: 'Fockel, M., & Holtmann, J. (2015). ReqPat: Efficient Documentation of
High-quality Requirements using Controlled Natural Language. In Proc. of the
23rd International Requirements Engineering Conference 2015 (RE15). IEEE.'
bibtex: '@inproceedings{Fockel_Holtmann_2015, title={ReqPat: Efficient Documentation
of High-quality Requirements using Controlled Natural Language}, booktitle={Proc.
of the 23rd International Requirements Engineering Conference 2015 (RE15)}, publisher={IEEE},
author={Fockel, Markus and Holtmann, Jörg}, year={2015} }'
chicago: 'Fockel, Markus, and Jörg Holtmann. “ReqPat: Efficient Documentation of
High-Quality Requirements Using Controlled Natural Language.” In Proc. of the
23rd International Requirements Engineering Conference 2015 (RE15). IEEE,
2015.'
ieee: 'M. Fockel and J. Holtmann, “ReqPat: Efficient Documentation of High-quality
Requirements using Controlled Natural Language,” in Proc. of the 23rd International
Requirements Engineering Conference 2015 (RE15), 2015.'
mla: 'Fockel, Markus, and Jörg Holtmann. “ReqPat: Efficient Documentation of High-Quality
Requirements Using Controlled Natural Language.” Proc. of the 23rd International
Requirements Engineering Conference 2015 (RE15), IEEE, 2015.'
short: 'M. Fockel, J. Holtmann, in: Proc. of the 23rd International Requirements
Engineering Conference 2015 (RE15), IEEE, 2015.'
date_created: 2021-01-13T13:05:20Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '241'
- _id: '662'
language:
- iso: eng
publication: Proc. of the 23rd International Requirements Engineering Conference 2015
(RE15)
publisher: IEEE
status: public
title: 'ReqPat: Efficient Documentation of High-quality Requirements using Controlled
Natural Language'
type: conference
user_id: '8472'
year: '2015'
...
---
_id: '20972'
abstract:
- lang: eng
text: "The use of models in requirements engineering (RE) for software-intensive
embedded systems is considered beneficial. The main advantages of requirements
models as documentation format are that they facilitate requirements understanding
and foster automatic analysis techniques. However, natural language (NL) is still
the dominant documentation format for requirements specifications, particularly
in the domain of embedded systems. This is due to the facts that NL-based requirements
can be used within legally binding documents and are more appropriate for reviews
than models. In order to bridge the gap between both of these documentation formats,
this paper proposes a model-driven RE methodology that makes use of requirements
models along with a controlled natural language. The methodology combines the
advantages of model-based and NL-based documentation by means of a bidirectional
multi-step model transformation between both documentation formats. We illustrate
the approach by means of an automotive example, explain the particular steps of
the model transformation, and present performance results.\r\n"
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
citation:
ama: 'Fockel M, Holtmann J. A requirements engineering methodology combining models
and controlled natural language. In: 2014 IEEE 4th International Model-Driven
Requirements Engineering Workshop (MoDRE). ; 2014. doi:10.1109/modre.2014.6890827'
apa: Fockel, M., & Holtmann, J. (2014). A requirements engineering methodology
combining models and controlled natural language. In 2014 IEEE 4th International
Model-Driven Requirements Engineering Workshop (MoDRE). https://doi.org/10.1109/modre.2014.6890827
bibtex: '@inproceedings{Fockel_Holtmann_2014, title={A requirements engineering
methodology combining models and controlled natural language}, DOI={10.1109/modre.2014.6890827},
booktitle={2014 IEEE 4th International Model-Driven Requirements Engineering Workshop
(MoDRE)}, author={Fockel, Markus and Holtmann, Jörg}, year={2014} }'
chicago: Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology
Combining Models and Controlled Natural Language.” In 2014 IEEE 4th International
Model-Driven Requirements Engineering Workshop (MoDRE), 2014. https://doi.org/10.1109/modre.2014.6890827.
ieee: M. Fockel and J. Holtmann, “A requirements engineering methodology combining
models and controlled natural language,” in 2014 IEEE 4th International Model-Driven
Requirements Engineering Workshop (MoDRE), 2014.
mla: Fockel, Markus, and Jörg Holtmann. “A Requirements Engineering Methodology
Combining Models and Controlled Natural Language.” 2014 IEEE 4th International
Model-Driven Requirements Engineering Workshop (MoDRE), 2014, doi:10.1109/modre.2014.6890827.
short: 'M. Fockel, J. Holtmann, in: 2014 IEEE 4th International Model-Driven Requirements
Engineering Workshop (MoDRE), 2014.'
date_created: 2021-01-13T13:06:57Z
date_updated: 2022-01-06T06:54:42Z
department:
- _id: '241'
- _id: '662'
doi: 10.1109/modre.2014.6890827
language:
- iso: eng
publication: 2014 IEEE 4th International Model-Driven Requirements Engineering Workshop
(MoDRE)
publication_identifier:
isbn:
- '9781479963430'
publication_status: published
status: public
title: A requirements engineering methodology combining models and controlled natural
language
type: conference
user_id: '8472'
year: '2014'
...
---
_id: '20906'
abstract:
- lang: ger
text: 'Von heutigen technischen Systemen wird immer mehr Funktionalität gefordert.
Dies manifestiert sich in einer steigenden Anzahl von Anforderungen, die üblicherweise
in freier natürlicher Sprache festgehalten werden. Das führt oft zu mehrdeutigen,
widersprüchlichen oder unvollständigen Anforderungen. In diesem Beitrag wird eine
Methode zur Spezifikation von Anforderungen auf Basis von Satzmustern inklusive
ihrer Werkzeugunterstützung „ReqPat“ vorgestellt: Anforderungen werden weiterhin
textuell aber in einer eingeschränkten natürlichen Sprache verfasst. Dadurch wird
ein einheitliches Anforderungsverständnis erreicht und es werden Qualitätsanalysen
sowie der Übergang zu Modellen automatisiert.'
author:
- first_name: Markus
full_name: Fockel, Markus
id: '8472'
last_name: Fockel
orcid: 0000-0002-1269-0702
- first_name: Jörg
full_name: Holtmann, Jörg
id: '3875'
last_name: Holtmann
orcid: 0000-0001-6141-4571
- first_name: Matthias
full_name: Meyer, Matthias
id: '683'
last_name: Meyer
citation:
ama: Fockel M, Holtmann J, Meyer M. Mit Satzmustern hochwertige Anforderungsdokumente
effizient erstellen. OBJEKTspektrum. 2014;(RE/2014).
apa: Fockel, M., Holtmann, J., & Meyer, M. (2014). Mit Satzmustern hochwertige
Anforderungsdokumente effizient erstellen. OBJEKTspektrum, (RE/2014).
bibtex: '@article{Fockel_Holtmann_Meyer_2014, title={Mit Satzmustern hochwertige
Anforderungsdokumente effizient erstellen}, number={RE/2014}, journal={OBJEKTspektrum},
author={Fockel, Markus and Holtmann, Jörg and Meyer, Matthias}, year={2014} }'
chicago: Fockel, Markus, Jörg Holtmann, and Matthias Meyer. “Mit Satzmustern Hochwertige
Anforderungsdokumente Effizient Erstellen.” OBJEKTspektrum, no. RE/2014
(2014).
ieee: M. Fockel, J. Holtmann, and M. Meyer, “Mit Satzmustern hochwertige Anforderungsdokumente
effizient erstellen,” OBJEKTspektrum, no. RE/2014, 2014.
mla: Fockel, Markus, et al. “Mit Satzmustern Hochwertige Anforderungsdokumente Effizient
Erstellen.” OBJEKTspektrum, no. RE/2014, 2014.
short: M. Fockel, J. Holtmann, M. Meyer, OBJEKTspektrum (2014).
date_created: 2021-01-12T14:05:27Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '241'
- _id: '662'
issue: RE/2014
language:
- iso: eng
publication: OBJEKTspektrum
status: public
title: Mit Satzmustern hochwertige Anforderungsdokumente effizient erstellen
type: journal_article
user_id: '8472'
year: '2014'
...