[Registration Form: Word, PDF]

Agenda

Monday, 17th November:

(Meeting room Ea112, main building)

Technical tutorial on Product Assurance aspects of Pre-Developed Software (PDS)

ESA Technical Officer: Mr. Fernando Aldea (TOS-QQS)

10:30 - 10:45: Welcome & coffee

10:45 - 11:45: Introduction block:

• Project Overview
• Top PA requirements
• Characterisation of PDS reuse
• Organisational processes
• Introduction to Case studies

11:45 - 13:00: PA issues before the decision of reuse:

• Organisational issues
• Risks
• Requirements negotiation

13:00 - 14:00: Lunch

Technical tutorial on Product Assurance aspects of Pre-Developed Software (PDS) (cont.)

14:00 - 15:30: PA issues after the decision of reuse (part 1):

• TN3.2 overview
• Software lifecycle processes
• Software quality models, metrics and evaluation methods
• Software product evaluation and certification

15:30 - 15:45: Coffee break

15:45 - 16:30: PA issues after the decision of reuse (part 2):

• Risk management
• RAMS requirements and verification techniques

16:30 - 17:15: Process assessment

17:15 - 17:30: Conclusions

Tuesday, 18th November:

(Dance Hall in Escape building)

Management tutorial on Product Assurance aspects of Pre-Developed software (PDS)

ESA Technical Officer: Mr. Fernando Aldea (TOS-QQS)

09:00 - 09:15: Overview of the PA-PREDEV project; Top 3 PA requirements

09:15 - 09:25: PDS types (TN1)

09:25 - 09:50: PA requirements and guidelines (TN3.2)

09:50 - 10:10: Pilot projects (TN4/TN5)

10:10 - 10:30: Process assessment (TN3.1)

10:30 - 10:45: Open Discussion

10:45 - 11:15: Coffee break

Final presentation on Product Assurance aspects of Pre-Developed Software (PDS)

ESA Technical Officer: Mr. Fernando Aldea (TOS-QQS)

11:15 - 11:40: Introduction and Project Overview; Preparation Tasks

11:40 - 12:10: Definition of PA requirements for PDS reuse

12:10 - 12:25: Pilot Projects: Validation of PA requirements

12:25 - 12:35: Dissemination and Management Tasks

12:35 - 12:45: Follow up and Conclusions

12:45 - 13:00: Open Discussion

13:00 - 14:00: Lunch

STADY (Applied Static and Dynamic Verification of Critical Software) final presentation

ESA Technical Officer: Mr. Kjeld Hjortnaes (TOS-EMS)

(Detailed agenda not yet available)

14:00 - 15:45: STADY final presentation

15:45 - 16:00: Coffee break

16:00 - 17:30: STADY final presentation (cont)

Wednesday, 19th November:

(Dance Hall in Escape building)

CARES (Certification Assessment Requirements for ESA Software) final presentation

ESA Technical Officer: Mr. Juan Carranza (TOS-QQS)

09:00 - 09:30: Project Context, Objectives and Organisation

09:30 - 10:15: Presentation of Results: Survey; Current Standards, Methods and Techniques

10:15 - 10:45: Coffee Break

10:45 - 11:45: Presentation of Results: Development and Certification Requirements; Generic Certification Plan

11:45 - 12:00: Standards Browser Demonstration

12:00 - 12:15: Conclusions and Recommendations

12:15 - 12:30: Discussion

12:30 - 13:30: Lunch

SPAAS (Software Product Assurance for Autonomy on-board Spacecraft) final presentation

ESA Technical Officer: Ms. Maria Hernek (TOS-QQS)

13:30 - 14:00: Context of the project, study presentation

14:00 - 14:40: Dependability of autonomous applications

14:40 - 15:00: Artificial Intelligence critical industrial applications

15:00 - 15:15: Coffee Break

15:15 - 15:55: SPAAS components experimentation

15:55 - 16:05: Open questions

16:05 - 16:20: Industrial exploitation

16:20 - 17:00: Related on-going and foreseen research work

17:00 - 17:10: Future work and perspective for space systems

17:10 - 17:30: Open discussion with participants

Thursday, 20th November:

(Dance Hall in Escape building)

SW RAMS Frame Contract, applying Software safety and dependability techniques

ESA Technical Officer: Ms. Maria Hernek (TOS-QQS)

09:30 - 10:45: Experience and achieved results applying SW FMECA and performing source code inspection on SCOS 2000

10:45 - 11:15: Coffee break

11:15 - 12:30: Defining and executing Robustness and Stress testing on RTEMS open source kernel