Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Antoaneta Kondeva"'
The development of safety-critical systems requires the control of hazards that can potentially cause harm. To this end, safety engineers rely during the development phase on architectural solutions, called safety patterns, such as safety monitors, v
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cee18eee3b0c2cc94429798d3379c411
http://arxiv.org/abs/2009.10251
http://arxiv.org/abs/2009.10251
Publikováno v:
2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
ISSRE Workshops
ISSRE Workshops
With the increasing system interconnectivity, cyberattacks on safety-critical systems can lead to catastrophic events. This calls for a better safety and security integration. Indeed, a safety assessment contains security relevant information, such a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::226c3936f30b109ee4c5764eff260c9e
Publikováno v:
ETFA
Increasing the number of product variants expected by the customers; decreasing product life cycles; operating existing production systems as long as possible, all these factors make the planning of new or the reconfiguration of existing assembly sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04213be8de84bb018df0111edbc56e5d
https://doi.org/10.1109/etfa.2015.7301646
https://doi.org/10.1109/etfa.2015.7301646
Publikováno v:
ECBS
To effectively and efficiently use a model-based development process, tools must offer integrated system views on several levels of abstraction, and provide useable sophisticated analysis and synthesis techniques. We demonstrate how these features ar
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::60603e1334870a74bfc3c31dd5910622
https://doi.org/10.1109/ecbs.2013.20
https://doi.org/10.1109/ecbs.2013.20
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642336744
SAFECOMP Workshops
SAFECOMP Workshops
Avionic safety standards such as ARP4754A, DO-178B, and DO-254 specifying the development, validation and verification processes do not provide an unambiguous guideline for system developers, refining ARP4754A system requirements down to DO-178B or D
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::201c9747ac8908090a155ffd46054102
https://doi.org/10.1007/978-3-642-33675-1_37
https://doi.org/10.1007/978-3-642-33675-1_37