Staff View: Building heterogeneous safety cases for automatically generated code

Building heterogeneous safety cases for automatically generated code

Safety cases provide a mechanism for representing evidence-based arguments that a system is acceptably safe to operate in its intended context. We show how we can automatically combine diverse types of information from heterogeneous sources into a single integrated safety case for a system implement...

Full description

Saved in:

Bibliographic Details
Main Authors:	N., Basir,, E., Denney,
Format:	Conference Paper
Language:	en_US
Published:	2015
Subjects:	Automated code generation Automated theorem proving Formal analysis Formal proofs Model-based software development Safety cases; V&V
Online Access:	http://ddms.usim.edu.my/handle/123456789/9136
Tags:	Add Tag No Tags, Be the first to tag this record!

id	my.usim-9136
record_format	dspace
spelling	my.usim-91362015-08-24T03:24:39Z Building heterogeneous safety cases for automatically generated code N., Basir, E., Denney, Automated code generation Automated theorem proving Formal analysis Formal proofs Model-based software development Safety cases; V&V Safety cases provide a mechanism for representing evidence-based arguments that a system is acceptably safe to operate in its intended context. We show how we can automatically combine diverse types of information from heterogeneous sources into a single integrated safety case for a system implemented using automatically generated software. The core argument structure of the safety case is generated from a formal analysis of automatically generated code, based on automated theorem proving, and driven by a set of formal requirements and assumptions. This is then extended by separately specified auxiliary information giving contexts, assumptions, justifications, and constraints, or additional forms of evidence derived from other verification activities, such as testing. The resulting safety case thus combines formal and informal argumentation and makes explicit assumptions which would otherwise be left implicit. © 2011 by the American Institute of Aeronautics and Astronautics, Inc. 2015-08-24T03:24:39Z 2015-08-24T03:24:39Z 2011 Conference Paper 9781-6008-6944-0 http://ddms.usim.edu.my/handle/123456789/9136 en_US
institution	Universiti Sains Islam Malaysia
building	USIM Library
collection	Institutional Repository
continent	Asia
country	Malaysia
content_provider	Universit Sains Islam i Malaysia
content_source	USIM Institutional Repository
url_provider	http://ddms.usim.edu.my/
language	en_US
topic	Automated code generation Automated theorem proving Formal analysis Formal proofs Model-based software development Safety cases; V&V
spellingShingle	Automated code generation Automated theorem proving Formal analysis Formal proofs Model-based software development Safety cases; V&V N., Basir, E., Denney, Building heterogeneous safety cases for automatically generated code
description	Safety cases provide a mechanism for representing evidence-based arguments that a system is acceptably safe to operate in its intended context. We show how we can automatically combine diverse types of information from heterogeneous sources into a single integrated safety case for a system implemented using automatically generated software. The core argument structure of the safety case is generated from a formal analysis of automatically generated code, based on automated theorem proving, and driven by a set of formal requirements and assumptions. This is then extended by separately specified auxiliary information giving contexts, assumptions, justifications, and constraints, or additional forms of evidence derived from other verification activities, such as testing. The resulting safety case thus combines formal and informal argumentation and makes explicit assumptions which would otherwise be left implicit. © 2011 by the American Institute of Aeronautics and Astronautics, Inc.
format	Conference Paper
author	N., Basir, E., Denney,
author_facet	N., Basir, E., Denney,
author_sort	N., Basir,
title	Building heterogeneous safety cases for automatically generated code
title_short	Building heterogeneous safety cases for automatically generated code
title_full	Building heterogeneous safety cases for automatically generated code
title_fullStr	Building heterogeneous safety cases for automatically generated code
title_full_unstemmed	Building heterogeneous safety cases for automatically generated code
title_sort	building heterogeneous safety cases for automatically generated code
publishDate	2015
url	http://ddms.usim.edu.my/handle/123456789/9136
_version_	1645152547494690816
score	13.211869

Building heterogeneous safety cases for automatically generated code

Similar Items