Transcript baseline-powerpoint-design-template

Dependable
Technologies
For Critical
Systems
CSTEP Critical Software Mid-Term
Review Presentation
Nuno Silva
© 2011 Critical Software S.A.
Naples, December 20th 2011
Agenda
 Introduction
 Critical Software CSTEP team
 Activities Carried Out
 Results Obtained
© 2011 Critical Software S.A.
 Future Work
2
© 2011 Critical Software S.A.
Dependable
Technologies
For Critical
Systems
Agenda
Introduction
Introduction
 This mid term review presentation intends to briefly
present Critical Software’s:
 team,
 activities carried out,
 obtained results,
© 2011 Critical Software S.A.
 and future work.
4
© 2011 Critical Software S.A.
Dependable
Technologies
For Critical
Systems
Agenda
Critical Software CSTEP team
Critical Software CSTEP team
 Nuno Silva: CSW Team Leader
 Ricardo Barbosa (ESR)
 As’ad Salkham (RER)
 Marcin Karpinsky (RER – 1 year)
© 2011 Critical Software S.A.
 Ricardo Batista (support on deliverables D2.2 and
D2.3)
 Miguel Pinto (support to secondment of Anna
Lanzaro)
6
© 2011 Critical Software S.A.
Critical Software CSTEP team
7
© 2011 Critical Software S.A.
Dependable
Technologies
For Critical
Systems
Agenda
Activities Carried Out
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)
© 2011 Critical Software S.A.
 Organized Critical Software Workshop on Dependability and
Certification (video 1, video 2)
 Participation in National/International Conferences (LADC in
Brazil, INFORUM in Portugal, IAASS in France, ADCSS in
Holland, ISSRE in Japan)
9
Activities Carried Out
 Secondments
 2,5 months of VER secondment at FCTUC
 1 month VER secondment at CINI
© 2011 Critical Software S.A.
 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)
10
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
© 2011 Critical Software S.A.
 Maksym Bortin will start in Feb’2012
11
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)
© 2011 Critical Software S.A.
 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
© 2011 Critical Software S.A.
Dependable
Technologies
For Critical
Systems
Agenda
Results Obtained
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)
© 2011 Critical Software S.A.
 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
14
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)
© 2011 Critical Software S.A.
 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)
15
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.
© 2011 Critical Software S.A.
 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
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.
© 2011 Critical Software S.A.
 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
© 2011 Critical Software S.A.
Dependable
Technologies
For Critical
Systems
Agenda
Future Work
Future Work
 csXception tool improvements and csXception new
plug-in for Multicore Architectures (under work
together with CINI and FCTUC)
 Participation in Workshops/Conferences
© 2011 Critical Software S.A.
 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/)
19
Contacts
 Nuno Silva
 [email protected]
 Ricardo Barbosa
 [email protected]
 As’ad Salkham
© 2011 Critical Software S.A.
 [email protected]
Coimbra, Lisbon, Oporto
www.criticalsoftware.com
San Jose
www.criticalsoftware.com
Southampton
www.critical-software.co.uk
Sao Paulo
www.criticalsoftware.com.br
20