1. Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next Steps

2. Copyright © Praxis Critical Systems Limited 2002 Praxis Critical Systems Limited Alan Hawes

3. Copyright © Praxis Critical Systems Limited 2002 Founded in 1983 as Praxis plc First to ISO9001 Joined Altran Technologies in 1997 110 autonomous companies operating within Altran Group High technology, Engineering consultancy Annual turnover of 1Bn Euro, 13,000 technical staff Company Facts

4. Copyright © Praxis Critical Systems Limited 2002 Technical excellence Professional Development Scheme Low staff turnover Active role in industry Staff

5. Copyright © Praxis Critical Systems Limited 2002 Markets Transport 35% Aerospace/Defence 45% (including ATM) Other 20% Finance Telecoms Media Pharms Research

6. Copyright © Praxis Critical Systems Limited 2002 Competencies Software and Systems Engineering and Delivery Safety Management and Safety Engineering Requirements Engineering Human Factors Engineering Process Consultancy Independent Verification and Validation Programme Management Risk Management Research SPARK Ada Tools

7. Copyright © Praxis Critical Systems Limited 2002 Praxis’ Business Focus and Approach High Integrity Critical Systems (Software Intensive) –Safety Critical –Business Critical –Mission Critical –Security Critical Risk-directed Engineering Approach –Application of rigour, formality –Process/tool adoption to principle –Assurance optimisation –Right first time, dependable delivery “Correctness by Construction”

8. Copyright © Praxis Critical Systems Limited 2002 Praxis’ Research Interests Common Risk Assessment Method Risk Directed Approach Allocating Requirements to Components Defining Dependability Assuring Dependability Complex Problems Embedded Systems Building with Untrusted/Trusted components Secure Web, Open Source

9. Copyright © Praxis Critical Systems Limited 2002 Alan Hawes Design and development of dependable systems Safety research (ESPRIT) Safety consultancy Infosec research (INFOSEC 93) Infosec consultancy Dependability research (ACTS)

10. Copyright © Praxis Critical Systems Limited 2002 SafSec Integrated Safety & Security Certification Study Common Concepts from Safety and Security worlds Methodology that satisfies both world’s accreditation/certification needs Methodology that can handle highly flexible and modular systems www.safsec.com

11. Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next Steps

12. Copyright © Praxis Critical Systems Limited 2002 Discussion

13. Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next Steps

14. Copyright © Praxis Critical Systems Limited 2002 The Next Steps Delegates improved view of DeSIRE Opportunity to refine ideas Establish the shape of the IP

15. One view of DeSIRE Aerospace Fault Forecasting e-Business Healthcare Infrastructure Inter- dependencies Dependability Case Support Intrusion Management Modelling And Simulation Training, Best Practice Application Studies Tools and Components Support Measures || Fault Tolerance Fault Removal Fault Prevention Dependability Policy Support

16. Copyright © Praxis Critical Systems Limited 2002 DeSIRE Steering Committee AMSD participants establish committee Define IP core structure and membership Committee will work with core to establish primary membership Review will identify any gaps Newcastle/Praxis take responsibility for co-ordination