copyright © praxis critical systems limited 2002 the way ahead session praxis critical systems tom...
TRANSCRIPT
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 1997
110 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
BSc
MSc/MA
PhD/DPhil• 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
www.safsec.com
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
FaultForecasting
e-Business
Healthcare
Infrastructure Inter-
dependencies
DependabilityCase Support
IntrusionManagement
ModellingAnd
Simulation
Training, BestPractice
Application Studies
Tools and Components
Support Measures| |
FaultTolerance
FaultRemoval
FaultPrevention
DependabilityPolicy 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