1. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 1 Software Product Assurance (PA) R&D Road mapping Activities ESA/ESTEC TEC-QQS

2. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 2 Challenges Ahead Mission Needs –Increase in complexity –Demand for reliable, available, maintainable and safe software systems –Push for higher efficiency (more for less) Rapid evolution in software engineering –Modern lifecycle approaches –Concurrent software engineering –Prototyping –Open source

3. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 3 Guiding Principles Future Missions’ Needs –High Reliability –Reuse Technologic/Strategic Drivers –Dependability –Security and Safety –Non-Dependence –Leadership ESA Objectives –Enabling Technologies –Methods, Tools and Standards –Enhance PA’s Effectiveness and Efficiency

4. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 4 SW PA R&D Roadmap Support steering progress to meet future challenges Establish the foundation –Implementation plans –Prioritisation –Resource allocation Structured –Areas of software product assurance R&D –Objectives for each area

5. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 5 Coordination ESA – European National Space Agencies - Industry Workshop ESA-Industry on software PA R&D road mapping –Enable dissemination of information –Foster open discussion –Facilitate the preparation of ESA’s R&D roadmaps to meet the future demands concerning software product assurance, embracing all perspectives –Enhance industry’s product assurance effectiveness in ensuring the required high quality levels characterizing space software applications

6. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 6 SW PA R&D Roadmap: Areas of R&D Identified areas that require software product assurance R&D –Dependability and security in software intensive systems –Processes and management –Reuse –Support to engineering –Product quality –Ground segment –Operations and maintenance

7. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 7 SW PA R&D Roadmap: Objectives (1/6) Dependability and security in software intensive systems To develop: –methods ensuring high-reliability software systems –effectively combinations of software RAMS techniques and methods –methods in support of distributed, dependable hard real-time systems –fault tolerant mechanism and protocols to reduce vulnerability –an approach to estimate security risks based on the detection of implementation vulnerabilities in software systems security strategies –software PA methods for security-focussed software development processes –security-based risk assessment methods –security evaluation methods and measurements for open source and COTS software

8. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 8 SW PA R&D Roadmap: Objectives (2/6) Processes and management To develop: –standard process models including quality assurance –software project risk management based on software process assessment –a software quality assurance approach for FPGA and ASIC design –safety and dependability process assessment models –quantitative measurements of the benefits of process assessment and improvement –a space specific software risk taxonomy –an approach to risk based software process improvement –requirements and criteria for personnel qualification –a metrication framework for software processes

9. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 9 SW PA R&D Roadmap: Objectives (3/6) Reuse To develop: –quality assurance approaches for building block-based software systems –quality assurance approaches for Open Source software (OSS)

10. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 10 SW PA R&D Roadmap: Objectives (4/6) Support to engineering To develop: –testing suite adequacy criteria, methods for software intensive systems –new software PA methods and techniques in support of evolving software development methods and techniques –a quality assurance approach for automatic code generation –a quality assurance approach for proof-based systems –techniques in support of system evolution –a quality assurance approach for network- and web-based systems –PA approaches to support agile development models

11. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 11 SW PA R&D Roadmap: Objectives (5/6) Product quality To develop: –software product certification requirements and process –approaches for assuring product quality by engaging third party organizations that ascertain the fulfilment of product quality criteria and produce a written statement as part of the product’s quality evidence –metrication programs and quality models with emphasis on establishing target values for metrics and clear links between metrics and quality objectives (e.g. for object oriented developments). Requirement quality modelling and metrics –reliable reliability models for safety- and dependability-critical software components

12. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 12 SW PA R&D Roadmap: Objectives (6/6) Ground segment To develop: –software PA approach for large ground segments using contracted communication services Operations and maintenance To develop: –a software PA approach for operations and maintenance phases

13. ESA/ESTEC, TEC-QQS August 8, 2005 SAS_05_ESA SW PA R&D_Winzer,Prades Slide 13 Summing up Meet future mission needs in line with ESA goals –Define objectives to guide software PA R&D efforts. –Justify objectives: Relate to missions, ESA objectives, drivers –Describe objectives to allow preparation of implementation plans –Early active involvement and contribution from industrial partners