A novel approach towards model-driven reliability analysis of Simulink models
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Iyenghar, P. | |
dc.contributor.author | Wessels, S. | |
dc.contributor.author | Noyer, A. | |
dc.contributor.author | Pulvermueller, E. | |
dc.contributor.author | Westerkamp, C. | |
dc.date.accessioned | 2021-12-23T16:31:45Z | - |
dc.date.available | 2021-12-23T16:31:45Z | - |
dc.date.issued | 2016 | |
dc.identifier.isbn | 9781509013142 | |
dc.identifier.issn | 19460740 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/17107 | - |
dc.description | Conference of 21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016 ; Conference Date: 6 September 2016 Through 9 September 2016; Conference Code:124646 | |
dc.description.abstract | In the recent decade, many formalisms and tools have emerged for model-driven Non-Functional Property (NFP) specification and assessment. In this direction, model-driven reliability and safety assessment of engineering systems developed using Matlab/Simulink is an emerging research challenge. However, a generic mechanism for NFP specification in the Simulink design model is not yet supported. Further, a completely automated model-based workflow for synthesis of a NFP analysis model and its subsequent analysis in a NFP analysis tool is missing. In this context, this paper proposes a novel approach and a fully automated workflow towards model-driven reliability analysis of Simulink models. An approach to annotate the Simulink design models with reliability attributes and subsequent synthesis of fault trees from the annotated design model is described. A prototype and initial experimental results are discussed. © 2016 IEEE. | |
dc.language.iso | en | |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | |
dc.relation.ispartof | IEEE International Conference on Emerging Technologies and Factory Automation, ETFA | |
dc.subject | Automation | |
dc.subject | Embedded Software Engineering (ESE) | |
dc.subject | Engineering systems | |
dc.subject | Factory automation | |
dc.subject | Fault tree analyses (FTA) | |
dc.subject | Fault tree analysis | |
dc.subject | Fault Tree Analysis (FTA) | |
dc.subject | MATLAB | |
dc.subject | MATLAB /simulink | |
dc.subject | Matlab/Simulink | |
dc.subject | Non functional properties | |
dc.subject | Reliability | |
dc.subject | Reliability and safeties | |
dc.subject | Reliability attributes | |
dc.subject | Research challenges, Reliability analysis | |
dc.subject | Software engineering | |
dc.subject | Software reliability | |
dc.subject | Specifications, Automated modeling | |
dc.title | A novel approach towards model-driven reliability analysis of Simulink models | |
dc.type | conference paper | |
dc.identifier.doi | 10.1109/ETFA.2016.7733505 | |
dc.identifier.scopus | 2-s2.0-84996538529 | |
dc.identifier.url | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84996538529&doi=10.1109%2fETFA.2016.7733505&partnerID=40&md5=947e05cb0dbff02b11ea02b2a064a273 | |
dc.description.volume | 2016-November | |
dcterms.isPartOf.abbreviation | IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA | |
crisitem.author.dept | Institut für Informatik | - |
crisitem.author.deptid | institute12 | - |
crisitem.author.parentorg | FB 06 - Mathematik/Informatik/Physik | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | PuEl525 | - |
Seitenaufrufe
4
Letzte Woche
0
0
Letzter Monat
3
3
geprüft am 21.05.2024