Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Patrick J. Graydon"'
Publikováno v:
Safety Science. 92:53-65
The use of safety cases in certification raises the question of assurance argument sufficiency and the issue of confidence (or uncertainty) in the argument's claims. Some researchers propose to model confidence quantitatively and to calculate confide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cd136c2a205f7e2af34db05288539235
https://doi.org/10.1016/j.ssci.2016.09.014
https://doi.org/10.1016/j.ssci.2016.09.014
Autor:
Patrick J. Graydon, Chellappa Balan, Kurt P. Woodham, Tina Stoia, Nicholas K. Borer, Kurt V. Papathakis
Publikováno v:
2018 Aviation Technology, Integration, and Operations Conference.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::53d84ce3c14256cddc895ee8022bca1b
https://doi.org/10.2514/6.2018-3362.c1
https://doi.org/10.2514/6.2018-3362.c1
Autor:
Chellappa Balan, Patrick J. Graydon, Kurt V. Papathakis, Tina Stoia, Nicholas K. Borer, Kurt P. Woodham
Publikováno v:
2018 Aviation Technology, Integration, and Operations Conference.
NASA researchers, in a partnership with Boeing, are investigating a fuel-cell powered variant of the X-57 “Maxwell” Mod-II electric propulsion aircraft, which is itself derived from a stock Tecnam P2006T. The “Fostering Ultra-Efficient Low-Emit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65c8fdcd52eff77dda8d8f06e6c34c71
https://doi.org/10.2514/6.2018-3362
https://doi.org/10.2514/6.2018-3362
Autor:
Patrick J. Graydon
Publikováno v:
DSN Workshops
Safety cases and other assurance cases have been produced, reviewed, researched, and written about for decades [1]. Definitions of safety case agree on principles such as the use of evidence and (recently) the central role of argument. But the litera
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3d698b87f0277a87e7eefb31fb610f51
https://doi.org/10.1109/dsn-w.2017.12
https://doi.org/10.1109/dsn-w.2017.12
Autor:
Tim Kelly, Patrick J. Graydon
Publikováno v:
Information and Software Technology. 55:1551-1562
Context Many people and organisations rely upon software safety and security standards to provide confidence in software intensive systems. For example, people rely upon the Common Criteria for Information Technology Security Evaluation to establish
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15ad7333a98b19f5bafdba0a86f527cb
https://doi.org/10.1016/j.infsof.2013.02.008
https://doi.org/10.1016/j.infsof.2013.02.008
Autor:
Iain Bate, Patrick J. Graydon
Publikováno v:
The Computer Journal. 57:759-774
Timing is often seen as the most important property of systems after function, and safety-critical systemsarenoexception.Inthispaper,weconsiderhowtimingistypicallytreatedinsafetyassurance and, in particular, the safety arguments being proposed by ind
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8d20ef92463504cbf63c3c28897ee190
https://doi.org/10.1093/comjnl/bxt027
https://doi.org/10.1093/comjnl/bxt027
Publikováno v:
IEEE Software. 29:50-57
Conformance to software standards plays an essential role in establishing confidence in high-integrity software systems. However, standards conformance suffers from uncertainty about its meaning for three reasons: because requirements of the standard
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f8cf91f6962b8602dcb91497afb64b46
https://doi.org/10.1109/ms.2012.26
https://doi.org/10.1109/ms.2012.26
Autor:
Patrick J. Graydon
Publikováno v:
DSN
An assurance case comprises evidence and argument showing how that evidence supports assurance claims (e.g., about safety or security). It is unsurprising that some computer scientists have proposed formalising assurance arguments: most associate for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cdf5f046ae712b499b30ce5304790de3
https://doi.org/10.1109/dsn.2015.28
https://doi.org/10.1109/dsn.2015.28
Publikováno v:
HASE
The use of contracts to enhance the maintainability of safety-critical systems has received a significant amount of research effort in recent years. However some key issues have been identified: the difficulty in dealing with the wide range of proper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f74b3bbfffc3010b32fc93032714c7c0
https://doi.org/10.1109/hase.2015.27
https://doi.org/10.1109/hase.2015.27
Autor:
C. M. Holloway, Patrick J. Graydon
Publikováno v:
10th IET System Safety and Cyber-Security Conference 2015.
Common definitions of "safety case" emphasize that evidence is the basis of a safety argument, yet few widely referenced works explicitly define "evidence". Their examples suggest that similar things can be regarded as evidence. But the category evid
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5a1e57ea97c53b19bab4f9486f6c97f2
https://doi.org/10.1049/cp.2015.0277
https://doi.org/10.1049/cp.2015.0277