Model-based Safety and Security Analysis in High-Consequence System Development 2016-06-23T09:07:57+00:00
Conference:FV2016 (click here to see full programme)
Speaker:Dr John Colley
Organisation:University of Southampton
Presentation Title:Model-based Safety and Security Analysis in High-Consequence System Development
Abstract:Safety and Security considerations for complex, high-consequence systems are increasingly becoming an expensive and time-consuming factor in system development. The cost of failure is high.

Safety and security are emergent properties of the system, their needs often conflict and it is not satisfactory to consider their requirements separately and in isolation from the overall requirements of the system. Trustworthiness is a measure of a system’s ability to perform a wide range of roles in a variety of situations and considers not just safety and security, but also reliability, performance and resilience. Trustworthiness analysis must be conducted at the system level so that the impact of a software or digital hardware component malfunction on the system can be properly understood.

Civil aviation development and verification flows for software and digital hardware are mature and proven; the concepts underlying the requirements-based, coverage-driven DO-254 and DO-178C standards are widely adopted outside the aviation industry. These standards, however, are intended to be used with the safety analysis standard, ARP-4754A, which mandates that the safety considerations for software and digital hardware be analysed systematically from the system (aircraft and crew) perspective.

We present a method for Trustworthiness Analysis which is founded upon the civil aviation standards and leverages the model-based development and formal methods supplements to DO-178C. System trustworthiness constraints, derived from the system objectives, are modelled as formal properties at the abstract level and then refined, at the architectural level, to represent the trustworthiness constraints on the software or digital hardware component itself. Hazards and vulnerabilities are analysed systematically and the component constraints enforced to ensure that the hazards and vulnerabilities are eliminated or mitigated.

Speaker Bio:John Colley has twenty years of experience in the development of EDA tools for simulation, test generation, code coverage and model checking. He is now Involved in the ongoing development of verification and validation methods for high-consequence systems, both formal and simulation based, in the defence , rail and semiconductor sectors.

View the Presentation Material:

T&VS NEWSLETTER SIGN-UP
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.