SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 238, Issue 4, 2009, Pages 27-39

A Generic Goal-Based Certification Argument for the Justification of Formal Analysis

(2) Habli, Ibrahim a Kelly, Tim a

a UNIVERSITY OF YORK (United Kingdom)

Author keywords

certification; Formal Methods; GSN; safety arguments; safety cases

Indexed keywords

CERTIFICATION; CERTIFICATION AUTHORITIES; CONVENTIONAL TESTING; DO-178B; FORMAL ANALYSIS; GSN; HIGH CONFIDENCE; SAFETY ARGUMENTS; SAFETY CASE; SAFETY CASES; SAFETY CRITICAL SYSTEMS; SPECIFICATION AND VERIFICATION; UK DEFENCE STANDARDS;

FORMAL LOGIC; SAFETY FACTOR;

FORMAL METHODS;

EID: 70349156358 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/j.entcs.2009.09.004 Document Type: Article

Times cited : (17)

References (10)

1
- 0007750999
- Acceptance of formal methods: Lessons from hardware design
- Hampton1
- Dill D., and Rushby J. Acceptance of formal methods: Lessons from hardware design. IEEE Computer 29 4 (1996) Hampton1
- (1996) IEEE Computer , vol.29 , Issue.4
- Dill, D.¹ Rushby, J.²

2
- 70349160942
- EUROCAE European Organisation for Civil Aviation equipment
- EUROCAE (European Organisation for Civil Aviation equipment), ED-12B/DO-178B: Software Considerations in Airborne Systems and Equipment Certification, EUROCAE 9 (1994)
- (1994) ED-12B/DO-178B: Software Considerations in Airborne Systems and Equipment Certification, EUROCAE , vol.9

3
- 70349159282
- EUROCAE WG71 and RTCA SC205. http://ultra.pr.erau.edu/SCAS
- EUROCAE WG71 and RTCA SC205

4
- 33746233219
- Proof vs Testing in the Context of Safety Standards
- IEEE Press, Washington, USA, October
- Galloway, A., R.F. Paige, N.J. Tudor, R.A. Weaver, I. Toyn and J.A. McDermid, "Proof vs Testing in the Context of Safety Standards," Digital Avionics Systems Conference (DASC), IEEE Press, Washington, USA, October 2005
- (2005) Digital Avionics Systems Conference (DASC)
- Galloway, A.¹ Paige, R.F.² Tudor, N.J.³ Weaver, R.A.⁴ Toyn, I.⁵ McDermid, J.A.⁶

5
- 0025489197
- Seven Myths of Formal Methods
- Hampton1
- Hall A. Seven Myths of Formal Methods. IEEE Software 7 5 (1990) Hampton1
- (1990) IEEE Software , vol.7 , Issue.5
- Hall, A.¹

6
- 0003127197
- Impediments to Industrial Use of Formal Methods
- Holloway C.H., and Butler R.W. Impediments to Industrial Use of Formal Methods. IEEE Computer 1 (1996)
- (1996) IEEE Computer , vol.1
- Holloway, C.H.¹ Butler, R.W.²

7
- 0007562232
- Arguing Safety - A Systematic Approach to Safety Case Management
- Ph.D. thesis, University of York, York
- Kelly, T. P., "Arguing Safety - A Systematic Approach to Safety Case Management", Ph.D. thesis, University of York, York, 1998
- (1998)
- Kelly, T.P.¹

8
- 54449094584
- Why Are Formal Methods Not Used More Widely
- Hampton1
- Knight J.C., C.L. DeJong, M.S. Gibble, L.G. Nakano, Why Are Formal Methods Not Used More Widely, Fourth NASA Formal Methods Workshop, Hampton1 (1997)
- (1997) Fourth NASA Formal Methods Workshop
- Knight, J.C.¹ DeJong, C.L.² Gibble, M.S.³ Nakano, L.G.⁴

9
- 70349154403
- SC-190/EUROCAE WG-52, Final Annual Report For Clarification Of DO-178B: Software Considerations In Airborne Systems And Equipment Certification, EUROCAE 9 2001
- SC-190/EUROCAE WG-52, Final Annual Report For Clarification Of DO-178B: Software Considerations In Airborne Systems And Equipment Certification, EUROCAE 9 (2001)

10
- 70349154018
- UK Ministry of Defence, 00-56 Safety Management Requirements for Defence Systems, UK Ministry of Defence, Issue 4 9 (2007)
- UK Ministry of Defence, 00-56 Safety Management Requirements for Defence Systems, UK Ministry of Defence, Issue 4 9 (2007)

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.