The University of Southampton
University of Southampton Institutional Repository

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

Basir, Nurlida, Denney, Ewen and Fischer, Bernd (2008) Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code At International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert '08), Hungary.

Record type: Conference or Workshop Item (Paper)

Abstract

We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certied safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certication system and its individual components.

PDF Part03Safecert08.pdf - Version of Record
Download (152kB)

More information

Published date: 29 March 2008
Additional Information: Event Dates: 29th March 2008
Venue - Dates: International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert '08), Hungary, 2008-03-29
Keywords: Automated code generation, Hoare logic, formal code certfication, safety case, Goal Structuring Notation.
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 265616
URI: http://eprints.soton.ac.uk/id/eprint/265616
PURE UUID: 211d6437-2451-4a80-ba99-cb4210d7225c

Catalogue record

Date deposited: 27 May 2008 16:40
Last modified: 18 Jul 2017 07:25

Export record

Contributors

Author: Nurlida Basir
Author: Ewen Denney
Author: Bernd Fischer

University divisions

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×