1. Dependable Technologies For Critical Systems © 2011 Critical Software S.A. CSTEP Critical Software Mid-Term Review Presentation Nuno Silva Naples, December 20 th 2011

2. © 2011 Critical Software S.A. 2 Agenda  Introduction  Critical Software CSTEP team  Activities Carried Out  Results Obtained  Future Work

3. Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Agenda Introduction

4. © 2011 Critical Software S.A. 4 Introduction  This mid term review presentation intends to briefly present Critical Software’s:  team,  activities carried out,  obtained results,  and future work.

5. Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Agenda Critical Software CSTEP team

6. © 2011 Critical Software S.A. 6 Critical Software CSTEP team  Nuno Silva: CSW Team Leader  Ricardo Barbosa (ESR)  As’ad Salkham (RER)  Marcin Karpinsky (RER – 1 year)  Ricardo Batista (support on deliverables D2.2 and D2.3)  Miguel Pinto (support to secondment of Anna Lanzaro)

7. © 2011 Critical Software S.A. Critical Software CSTEP team 7

8. Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Agenda Activities Carried Out

9. © 2011 Critical Software S.A. 9 Activities Carried Out  Management Activities (contracts, DoC, meetings preparation, Internal QM, team management, etc)  Contribution to D1.x deliverables and ToK meetings  Recruitment of Researchers (support from CSW HR department)  WP 2 Lead (D2.1, D2.2 and D2.3)  Organized Critical Software Workshop on Dependability and Certification (video 1, video 2)video 1video 2  Participation in National/International Conferences (LADC in Brazil, INFORUM in Portugal, IAASS in France, ADCSS in Holland, ISSRE in Japan)

10. © 2011 Critical Software S.A. 10 Activities Carried Out  Secondments  2,5 months of VER secondment at FCTUC  1 month VER secondment at CINI  4 months of ER secondment at CINI  CSW Received many secondments from CINI/UoN and FCTUC (e.g. ARM Cortex M3 FI, i7 Multicore fault model, HW FI, etc)

11. © 2011 Critical Software S.A. Activities Carried Out  Planned spending has been modified due to departure of RER-2 (Marcin Karpinski):  Part of the budget allocated to year 2 has been moved to year 3  Maksym Bortin will start in Feb’2012 11

12. © 2011 Critical Software S.A. Activities Carried Out  In order to support the knowledge exchanges and some work together, CSW has acquired some safety-critical standards, tools and hardware:  SAE ARP 4754 and ARP 5761 for Aerospace  ISO 60880, IEC 62138 for Nuclear  ISO 26262 for Automotive  ISO 62304 for Medical Devices  BS IEC 60300 and BS IEC 60605 (Reliability)  IEC 60812, IEC 60863, IEC 61025, IEC 61078 (Rel.)  MIL-HDBK-217F and 217plus™ (Rel.)  ISO IEC 25000  Understand for C/C++ tool updates  Core i7 board (for multicore fault injection work)  Core i7 debugger 12

13. Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Agenda Results Obtained

14. © 2011 Critical Software S.A. 14 Results Obtained  Excellent exchange during production of D2.1, D2.2 and D2.3  Fault Injection small seminar in Coimbra (CSW – CINI)  Trained engineers (from internal training on ISO 26262) (CSW – CINI)  Larger network within the areas of interest, especially amongst the partners  csXception tool improvements (FCTUC and CINI to CSW - under work)  SW Certification ToK from CINI/CSW

15. © 2011 Critical Software S.A. 15 Results Obtained  Training event on Standard ISO 26262 Training held at CSW Coimbra on 25th May 2011 on the upcoming safety standard for automotive systems (ISO 26262) (CSW – CINI) Training event on Standard ISO 26262  Presentation “Certification Challenges, La Certificazione del Software Open Source nei sistemi mission critical”, Roma, 16 luglio 2010, R. Barbosa, N. Silva  Co-organizing of 1st International Workshop on Software Certification (WoSoCER 2011), ISSRE 2011, Hiroshima, Japan.  Papers produced (see next slides)

16. © 2011 Critical Software S.A. Results Obtained  N. Silva, R. Barbosa D. Cotroneo, C. Esposito, “Qualification and Selection of Off-The-Shelf components for Safety Critical Systems: a Systematic Approach”, LADC 2011, 25-29 April 2011, São José dos Campos, Brazil.  N. Silva, R. Lopes, “Practical Results from Requirements Verification for HW/SW Complex Systems”, LADC 2011, 25-29 April 2011, São José dos Campos, Brazil.  N. Silva, A. Esper, “Lessons Learned from application of system and software level RAMS analysis to a space control system”, INFORUM 2011, 8-9 September 2011, Coimbra, Portugal.  N. Silva, R. Lopes, R. Barbosa, “Planning and Building Qualifiable Embedded Systems: Safety and Risk Properties Assessment for a Large and Complex System”, IAASS 2011, 17-19 October 2011, Versailles, France. 16

17. © 2011 Critical Software S.A. Results Obtained  Domenico Cotroneo, Domenico Di Leo, Nuno Silva, Ricardo Barbosa, “THE PRECERTIFICATION KIT FOR OPERATING SYSTEMS IN SAFETY DOMAINS”, 1st International Workshop on Software Certification (WoSoCER), ISSRE, 30 November 2011, Hiroshima, Japan.  Nuno Silva, Rui Lopes, “INDEPENDENT TEST VERIFICATION: WHAT METRICS HAVE A WORD TO SAY”, 1st International Workshop on Software Certification (WoSoCER), ISSRE, 30 November 2011, Hiroshima, Japan.  Christian Esposito, Domenico Cotroneo, Nuno Silva, “INVESTIGATION ON SAFETY-RELATED STANDARDS FOR CRITICAL SYSTEMS”, 1st International Workshop on Software Certification (WoSoCER), ISSRE, 30 November 2011, Hiroshima, Japan. 17

18. Dependable Technologies For Critical Systems © 2011 Critical Software S.A. Agenda Future Work

19. © 2011 Critical Software S.A. 19 Future Work  csXception tool improvements and csXception new plug-in for Multicore Architectures (under work together with CINI and FCTUC)  Participation in Workshops/Conferences  Strong and consistent liaison and research endeavours with the CSTEP partners  Additional plan for development and exploration of tools for safety-critical systems (Fault Injection and Certification support tools)  Possible involvement in international certification groups, e.g. already contacted Space Security Index (http://www.spacesecurity.org/)

20. © 2011 Critical Software S.A. 20 Contacts  Nuno Silva  nsilva@criticalsoftware.com nsilva@criticalsoftware.com  Ricardo Barbosa  rbarbosa@criticalsoftware.com rbarbosa@criticalsoftware.com  As’ad Salkham  amsalkham@criticalsoftware.com amsalkham@criticalsoftware.com Coimbra, Lisbon, Oporto www.criticalsoftware.com San Jose www.criticalsoftware.com Southampton www.critical-software.co.uk Sao Paulo www.criticalsoftware.com.br