-
2
-
-
84866708642
-
Safety integrity levels - Theory and problems, lessons in system safety
-
Feb.
-
F. Redmill, "Safety integrity levels - theory and problems, lessons in system safety," in Proc. 18th Safety-Critical Sys. Symp., Feb. 2010.
-
(2010)
Proc. 18th Safety-critical Sys. Symp.
-
-
Redmill, F.1
-
3
-
-
84862697832
-
-
Nov.
-
Goal Structuring Notation Working Group, "GSN Community Standard Version 1," Nov. 2011. [Online]. Available: http://www. goalstructuringnotation.info/
-
(2011)
GSN Community Standard Version 1
-
-
-
5
-
-
79959945737
-
Safety and assurance cases: Past, present and possible future - An adelard perspective
-
Feb.
-
R. Bloomfield and P. Bishop, "Safety and assurance cases: Past, present and possible future - an Adelard perspective," in Proc. 18th Safety-Critical Sys. Symp., Feb. 2010.
-
(2010)
Proc. 18th Safety-critical Sys. Symp.
-
-
Bloomfield, R.1
Bishop, P.2
-
6
-
-
77649215978
-
Unmanned aircraft systems operations in the U.S. national airspace system
-
FAA Unmanned Aircraft Systems Program Office, Mar.
-
K. D. Davis, "Unmanned Aircraft Systems Operations in the U.S. National Airspace System," Interim Operational Approval Guidance 08-01, FAA Unmanned Aircraft Systems Program Office, Mar. 2008.
-
(2008)
Interim Operational Approval Guidance 08-01
-
-
Davis, K.D.1
-
7
-
-
77955948615
-
-
European Organisation for the Safety of Air Navigation 2nd ed., EUROCON-TROL, Oct.
-
European Organisation for the Safety of Air Navigation, Safety Case Development Manual, 2nd ed., EUROCON-TROL, Oct. 2006.
-
(2006)
Safety Case Development Manual
-
-
-
8
-
-
84883108515
-
Safety case composition using contracts - Refinements based on feedback from an industrial case study
-
Feb.
-
J. Fenn, R. Hawkins, P. Williams, and T. Kelly, "Safety case composition using contracts - refinements based on feedback from an industrial case study," in Proc. 15th Safety-Critical Sys. Symp., Feb. 2007.
-
(2007)
Proc. 15th Safety-critical Sys. Symp.
-
-
Fenn, J.1
Hawkins, R.2
Williams, P.3
Kelly, T.4
-
9
-
-
84866642138
-
Using a software safety argument pattern catalogue: Two case studies
-
Sep.
-
R. Hawkins, K. Clegg, R. Alexander, and T. Kelly, "Using a software safety argument pattern catalogue: Two case studies," in Proc. Intl. Conf. on Comp. Safety, Reliability and Security (SafeComp), Sep. 2011.
-
(2011)
Proc. Intl. Conf. on Comp. Safety, Reliability and Security (SafeComp)
-
-
Hawkins, R.1
Clegg, K.2
Alexander, R.3
Kelly, T.4
-
10
-
-
49349113437
-
A software safety certification tool for automatically generated guidance, navigation and control code
-
E. Denney and S. Trac, "A software safety certification tool for automatically generated guidance, navigation and control code," in IEEE Aerospace Conf. Electronic Proc, 2008.
-
(2008)
IEEE Aerospace Conf. Electronic Proc
-
-
Denney, E.1
Trac, S.2
-
11
-
-
33644512478
-
-
FAA Federal Aviation Administration, Dec.
-
FAA, System Safety Handbook, Federal Aviation Administration, Dec. 2000.
-
(2000)
System Safety Handbook
-
-
-
12
-
-
84866651540
-
Interim standard of best practice on software in the context of DS 00-56 issue 4
-
Univ. of York, Standard of Best Practice
-
C. Menon, R. Hawkins, and J. McDermid, "Interim standard of best practice on software in the context of DS 00-56 Issue 4," Soft. Sys. Eng. Initiative, Univ. of York, Standard of Best Practice Issue 1, 2009.
-
(2009)
Soft. Sys. Eng. Initiative
, Issue.1
-
-
Menon, C.1
Hawkins, R.2
McDermid, J.3
-
14
-
-
67649786786
-
Safety management requirements for defence systems
-
UK Ministry of Defence (MOD) Jun.
-
UK Ministry of Defence (MOD), "Safety management requirements for defence systems," Defence Standard 00-56 Issue 4, Jun. 2007.
-
(2007)
Defence Standard 00-56
, Issue.4
-
-
-
16
-
-
80053582962
-
Towards a formalism for conservative claims about the dependability of software-based systems
-
P. Bishop, R. Bloomfield, B. Littlewood, A. Povyakalo, and D. Wright, "Towards a formalism for conservative claims about the dependability of software-based systems," IEEE Trans. Soft. Eng., vol. 37, no. 5, pp. 708 - 717, 2011.
-
(2011)
IEEE Trans. Soft. Eng.
, vol.37
, Issue.5
, pp. 708-717
-
-
Bishop, P.1
Bloomfield, R.2
Littlewood, B.3
Povyakalo, A.4
Wright, D.5
-
17
-
-
0003219646
-
Goal question metric approach
-
John Wiley
-
V. Basili, G. Caldiera, and D. Rombach, "Goal question metric approach," in Encyclopedia of Soft. Eng. John Wiley, 1994, pp. 528-532.
-
(1994)
Encyclopedia of Soft. Eng.
, pp. 528-532
-
-
Basili, V.1
Caldiera, G.2
Rombach, D.3
-
18
-
-
77954340604
-
Software process synthesis in assurance based development of dependable systems
-
Apr.
-
P. Graydon and J. Knight, "Software process synthesis in assurance based development of dependable systems," in Proc. European Dependable Comp. Conf. (EDCC), Apr. 2010, pp. 75-84.
-
(2010)
Proc. European Dependable Comp. Conf. (EDCC)
, pp. 75-84
-
-
Graydon, P.1
Knight, J.2
-
20
-
-
34748860494
-
A taxonomy of fallacies in system safety arguments
-
W. Greenwell, J. Knight, C. M. Holloway, and J. Pease, "A taxonomy of fallacies in system safety arguments," in Proc. Intl. Sys. Safety Conf., 2006.
-
(2006)
Proc. Intl. Sys. Safety Conf.
-
-
Greenwell, W.1
Knight, J.2
Holloway, C.M.3
Pease, J.4
-
21
-
-
85088723228
-
Guidelines and best practices for FAA certificate of authorization applications for small unmanned aircraft
-
Mar.
-
J. Elston, M. Stachura, B. Argrow, E. Frew, and C. Dixon, "Guidelines and Best Practices for FAA Certificate of Authorization Applications for Small Unmanned Aircraft," in Proc. AIAA Infotech@Aerospace Conf., Mar. 2011.
-
(2011)
Proc. AIAA Infotech@Aerospace Conf.
-
-
Elston, J.1
Stachura, M.2
Argrow, B.3
Frew, E.4
Dixon, C.5
|