04 October 2012

Principled Software Safety Assurance

4th October 2012, Radisson Blu Edwardian Bloomsbury Street Hotel, London

This tutorial will be led by Dr Tim Kelly, a Senior Lecturer at the University of York. He will present the core principles that (should) shape the assurance activity for any safety-critical or safety-related software, and will explain how these principles relate to the objectives and requirements of a number of common software safety and assurance standards, including DO-178B/C, IEC61508 and CAP 670 SW01. Defence Standard 00-56 (a system safety standard) talks of presenting arguments and evidence that are commensurate with the level of risk. Examples will be given of how to use the notion of software criticality to moderate the nature and amount of evidence required for software.

All of the above discussion will be set in the context of constructing and critically evaluating a software assurance case that can be used to support a system level safety case. The tutorial will explain how the development of a software assurance case can used to complement, rather than compete with, the requirements and guidance of software standards. Time will be reserved for discussion throughout.

This tutorial should be of interest to anyone involved in the development, assurance, management or procurement of safety-critical or safety-related software systems.

Author
Event organiser/promoter
Safety-Critical Systems Club

Supporting Information

Websites
www.scsc.org.uk/e208

This material is protected by Findlay Media copyright
See Terms and Conditions.
One-off usage is permitted but bulk copying is not.
For multiple copies contact the sales team.

Do you have any comments about this article?


Add your comments

Name
 
Email
 
Comments
 

Your comments/feedback may be edited prior to publishing. Not all entries will be published.
Please view our Terms and Conditions before leaving a comment.

Related Articles

Four IDEs for Kinetis support

Freescale has named four tools as featured integrated development environments ...

GrammaTech unveils CodeSonar 4

The latest version of GrammaTech's flagship software tool for C/C++, Java and ...

Support for embedded Linux

AMD has signed a multi-year agreement with Mentor Graphics to expand ...

Software tools: Cost vs. value

Depending upon who you talk to and the scale of the design, software ...

Safe start to software test

Embedded software testing is a discipline that is both easier and more ...

Cutting context switching

Real time embedded systems typically use a collection of application tasks or ...

Using Linux in medical devices

This whitepaper explores the issues that software developers and medical device ...

High speed board design

Istvan Nagy, electronics design engineer at Blue Chip Technology, a leading UK ...

Software development paper

The white paper illustrates, by way of a practical example, how a modular ...

OpenCL development kit

Altera has announced a new software development kit for OpenCL, a move which ...

Cobham design software

Cobham Technical Services claims that the development of new generations of ...

Starter kit STM32F407ZG mcu

IAR Systems has announced a new 32bit kit for STMicroelectronics' first ARM ...

Device Developers' Conference

20th May 2014, Holiday Inn, Bristol

Device Developers' Conference

22nd May 2014, Menzies Hotel, Cambridge

Device Developers' Conference

3rd June 2014, Cheadle House, Manchester

Altium design secret 18

Dimensions are objects you can place within the pcb design to show distances ...

Altium design secret 17

In this design secret, senior applications engineer Colby Siemer shows a novel ...

Altium design secret four

This video shows how a powerful PCB Library Editor and the ability to add mask ...

Software developers' lives

A friend once asked me what software developers do when they're not creating ...

Design reuse

It's become a cliché in news or science reports. A water treatment plant ...

Design data management

From a designer's perspective, the best design environment – the 'holy grail' ...

Cyrille Comar, AdaCore Europe

Cyrille Comar, co founder and managing director of AdaCore Europe, speaks to ...

Herbert Truppe interview

Herbert Truppe, director, Product Management & Application, ...

Chris Smith, vp, Green Hills

Chris Smith, vice president, marketing Green Hills Software speaks with Chris ...