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)


Contact Us





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




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