Zobrazeno 1 - 10
of 1 581
pro vyhledávání: '"Kelly, Tim"'
Autor:
Wei, Ran, Foster, Simon, Mei, Haitao, Yan, Fang, Yang, Ruizhe, Habli, Ibrahim, O'Halloran, Colin, Tudor, Nick, Kelly, Tim, Nemouchi, Yakoub
Assurance cases are used to communicate and assess confidence in critical system properties such as safety and security. Historically, assurance cases have been manually created documents, which are evaluated by system stakeholders through lengthy an
Externí odkaz:
http://arxiv.org/abs/2403.15236
Autor:
Armengaud, Erik, Macher, Georg, Massoner, Alexander, Frager, Sebastian, Adler, Rasmus, Schneider, Daniel, Longo, Simone, Melis, Massimiliano, Groppo, Riccardo, Villa, Federica, OLeary, Padraig, Bambury, Kevin, Anita, Finnegan, Zeller, Marc, Hoefig, Kai, Papadopoulos, Yiannis, Hawkins, Richard, Kelly, Tim
The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union's Hor
Externí odkaz:
http://arxiv.org/abs/2106.01729
Publikováno v:
In Proceedings of the Safety-Critical Systems Club Symposium (SSS'20). February 2020
Safety Security Assurance Framework applied to two standards IEC 61508 and Common Criteria - ISO 15408
Externí odkaz:
http://arxiv.org/abs/2010.07288
Assurance cases are often required to certify critical systems. The use of formal methods in assurance can improve automation, increase confidence, and overcome errant reasoning. However, assurance cases can never be fully formalised, as the use of f
Externí odkaz:
http://arxiv.org/abs/2009.12154
Assurance cases are often required as a means to certify a critical system. Use of formal methods in assurance can improve automation, and overcome problems with ambiguity, faulty reasoning, and inadequate evidentiary support. However, assurance case
Externí odkaz:
http://arxiv.org/abs/1905.06192
Assurance cases are used to demonstrate confidence in system properties of interest (e.g. safety and/or security). A number of system assurance approaches are adopted by industries in the safety-critical domain. However, the task of constructing assu
Externí odkaz:
http://arxiv.org/abs/1905.02427