Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Martin Rothfelder"'
SUMMARY & CONCLUSIONSIn today’s industrial practice, safety, reliability or availability artifacts such as fault trees, Markov models or FMEAs are mainly created manually by experts, often distinctively decoupled from systems engineering activities
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e36ca739cc977c0b8468bc785d15232a
http://arxiv.org/abs/2005.01993
http://arxiv.org/abs/2005.01993
Publikováno v:
Model-Based Safety and Assessment ISBN: 9783030589196
IMBSA
IMBSA
Creating a sound argumentation of why a system is sufficiently safe is a major part of the assurance process. Today, compiling a safety case and maintaining its validity after changes are time-consuming manual work. By using the concept provided by D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c512cdf886c9be3ecbbb2446b5893a83
https://doi.org/10.1007/978-3-030-58920-2_2
https://doi.org/10.1007/978-3-030-58920-2_2
Autor:
Rakshith Amarnath, Andreas Joanni, Martin Rothfelder, Arne Nordmann, Kai Hoefig, Peter Munk, Francesco Montrone, Marc Zeller
Publikováno v:
2018 Annual Reliability and Maintainability Symposium (RAMS).
The importance of mission or safety critical software systems in many application domains of embedded systems is continuously growing, and so is the effort and complexity for reliability and safety analysis. Model driven development is currently one
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4a13b3b6852f5e5c44a3f8fbf294b10d
https://doi.org/10.1109/ram.2018.8463058
https://doi.org/10.1109/ram.2018.8463058
Autor:
Daniel Schneider, Kai Höfig, Marc Zeller, Felix Möhrle, Dominik Domis, Martin Rothfelder, Rasmus Adler, Axel Berres, Bernhard Kaiser
Publikováno v:
Safety and Reliability – Safe Societies in a Changing World ISBN: 9781351174664
Component Fault Trees (CFTs) were invented in 2003 as a compositional extension to fault trees to better reflect the technical architecture of a system in its safety analysis model. Since then, a lot of research has been contributed regarding semanti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::eae29daf5e769d46747de2d224acbe1b
https://elib.dlr.de/119937/
https://elib.dlr.de/119937/
Publikováno v:
Safety and Reliability – Theory and Applications.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa2aaa74e043f94b2096cd0ed418c160
https://doi.org/10.1201/9781315210469-442
https://doi.org/10.1201/9781315210469-442
Publikováno v:
ISSRE Workshops
Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related sa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2966f08ec06833b963f0649ef83ef9bb
https://doi.org/10.1109/issrew.2015.7392061
https://doi.org/10.1109/issrew.2015.7392061
Publikováno v:
Informatik-Spektrum. 21:249-258
Die Qualitatssicherung Software-basierter technischer Systeme erfordert ganzheitliche Betrachtungsweisen und Techniken, die auf unterschiedlich realisierte Systemkomponenten - z.B. Software, elektronische Komponenten, technische Prozesse - gleicherma
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2ae985ac81ba27986b16a6078d3117ec
https://doi.org/10.1007/s002870050102
https://doi.org/10.1007/s002870050102
Publikováno v:
ISSRE
Continuous Function Charts are a diagrammatical language for the specification of mixed discrete-continuous embedded systems, similar to the languages of Matlab/Simulink, and often used in the domain of transportation systems. Both control and data f
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c21d5d5fae16f9f7cb3cd68387b47fb8
https://doi.org/10.1109/issre.2004.15
https://doi.org/10.1109/issre.2004.15
Autor:
Peter Liggesmeyer, Martin Rothfelder
Publikováno v:
FTCS
Usually, fault tree analyses are performed manually. They are based on documents that describe the system. Considerable knowledge, system insight, and overview is necessary to consider many failure modes, and dependencies between system components an
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0302cec3fd18ec3e3ddb1c7e9d5275c4
https://doi.org/10.1109/ftcs.1998.689458
https://doi.org/10.1109/ftcs.1998.689458
Autor:
Peter Liggesmeyer, Martin Rothfelder
Publikováno v:
Computer Safety, Reliability and Security ISBN: 9783540651109
SAFECOMP
SAFECOMP
Formal risk analysis (FRA) is a means for automatic generation of fault trees for failures of sensors, actuators, and other input and output devices. FRA can be used to automate significant parts of the manual fault tree analysis work, and hence auto
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0415684d448b96b61d1182f643c17910
https://doi.org/10.1007/3-540-49646-7_13
https://doi.org/10.1007/3-540-49646-7_13