Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next Steps
Copyright © Praxis Critical Systems Limited 2002 Praxis Critical Systems Limited Alan Hawes
Copyright © Praxis Critical Systems Limited 2002 Founded in 1983 as Praxis plc First to ISO9001 Joined Altran Technologies in autonomous companies operating within Altran Group High technology, Engineering consultancy Annual turnover of 1Bn Euro, 13,000 technical staff Company Facts
Copyright © Praxis Critical Systems Limited 2002 Technical excellence Professional Development Scheme Low staff turnover Active role in industry Staff
Copyright © Praxis Critical Systems Limited 2002 Markets Transport 35% Aerospace/Defence 45% (including ATM) Other 20% Finance Telecoms Media Pharms Research
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
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”
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
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)
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
Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next Steps
Copyright © Praxis Critical Systems Limited 2002 Discussion
Copyright © Praxis Critical Systems Limited 2002 The Way Ahead Session Praxis Critical Systems Tom Anderson – The Commission’s View Discussion The Next Steps
Copyright © Praxis Critical Systems Limited 2002 The Next Steps Delegates improved view of DeSIRE Opportunity to refine ideas Establish the shape of the IP
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
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