Making your products more Reliable, Safe and Secure

Model-based Safety and Security Analysis in High-Consequence System Development

Safety and Security considerations for complex, high-consequence systems are increasingly becoming an expensive and time-consuming factor in system development and the cost of failure is also high.

Dr John Colley, University of Southampton, discussed how model-based safety and security analysis is used in high-consequence system development at the Formal Verification Conference on 16 June 2016.

You can view the Presentation Slides and Recordings here

2016-06-24T09:38:11+00:0024th June, 2016|Active Event, Blog, Events|