bullet Sensors & Transducers Journal

    (ISSN: 2306-8515, e-ISSN 1726-5479)

   

    About this Journal

   Information for Authors

   Editorial Board

   Editorial Calendar

   Current Issue

   Browse Journal

S&T journal's cover

Submit Press Release

Submit White Paper

25 Top Downloaded Articles (2007-2012)

Search

Contact Us

 

 

 

 

Vol. 235, Issue 7, July 2019, pp. 43-54

 

Bullet

 

Modelling Based Approach to the Assurance of an Airborne Actuation System
 

J. S. Sagoo

QinetiQ, St Andrews Road, Malvern, Worcestershire WR14 3PS, United Kingdom
Tel.: + 44 1684 895188, fax: + 1684 894034

E-mail: jsagoo@QinetiQ.com

 

Received: 15 April 2019 /Accepted: 28 May 2019 /Published: 31 July 2019

Digital Sensors and Sensor Sysstems

 

Abstract: Assurance is a key activity for providing confidence that a system satisfies its requirements, which is most crucial for systems operating in safety related environments. Although techniques such as audits are important for providing assurance, they provide limited support for systems constructed from third party COTS software and programmable electronic hardware. This is because for such systems developmental evidence may not be available. This paper presents an assurance approach that combines safety and formal techniques (such as HAZOP, Fault Trees and Coloured Petri-nets). Specifically, this approach uses each technique to perform its analysis of the system and the results of each analysis are used as the basis of the other constituent techniques. The approach is applied to a case study, which involves an actuation system that is required to automatically deploy parachutes when a skydiver exits an aircraft in flight. Using this case study, the attributes of the assurance approach are demonstrated.

 

Keywords: Assurance, Petri nets, HAZOP, FTA, Sensor modelling, COTS.

 

Acrobat reader logo Click <here> or title of paper to download the full pages article in pdf format

 

 

This work is licensed under a Creative Commons 4.0 International License

 

 Creative Commons License
 

 

 

 

 


1999 - 2019 Copyright , International Frequency Sensor Association (IFSA) Publishing, S.L. All Rights Reserved.


Home - News - Links - Archives - Tools - Voltage-to-Frequency Converters - Standardization - Patents - Marketplace - Projects - Wish List - e-Shop - Sensor Jobs - Membership - Videos - Publishing - Site Map - Subscribe - Search

 Members Area -Sensors Portal -Training Courses - S&T Digest - For advertisers - Bookstore - Forums - Polls - Submit Press Release - Submit White Paper - Testimonies - Twitter - Facebook - LinkedIn