CECRIS – CErtification of CRItical Systems
Scope
International
Research Group
coordinator
Synopsis
The CECRIS project aims at taking a step forward in development, verification and validation and certification of critical systems by supporting the introduction of novel state-of-the art methods with a special emphasis on technology and human skill development at SMEs
Funding
FP7-PEOPLE-2012-IAPP
Total budget
€ 0.00
Keywords
Verification & Validation, Certification
Start Date
2013-01-01
Partners
Resiltech S.R.L. (Italy), Consorzio Interuniversitario Nazionale per l'Informatica (Italy), University of Coimbra (Portugal), Budapesti Muszaki es Gazdasagtudomanyi Egyetem (Hungary), Prolan (Hungary), Critical Software SA (Portugal)
End Date
2016-12-31
Publications
2017
N. Silva and J. C. Cunha and M. Vieira, "A field study on root cause analysis of defects in space software", Reliability Engineering & System Safety, vol. 158, no. 2, pp. 213-229, 2017
N. Silva and M. Vieira and J. C. Cunha and R. Chillarege, "Evaluating a Corpus of Root Causes and Measures to guide RCA processes in Critical Software", in IEEE 18th International Symposium on High Assurance Systems Engineering (HASE), 2017
N. Laranjeiro and G. Pereira and S. N. Soydemir and R. Barbosa and J. Bernardino and C. Areias and N. Antunes and J. C. Cunha and M. Vieira and H. Madeira, "Robustness and Fault Injection for the Validation of Critical Systems", in Certifications of Critical Systems – The CECRIS Experience, ch. 12, pp. 247-274, 2017
I. Irrera and A. Zentai and J. C. Cunha and H. Madeira, "Validating a Safety Critical Railway Application Using Fault Injection", in Certifications of Critical Systems – The CECRIS Experience, ch. 11, pp. 227-246, 2017
F. Moreira and N. Silva and J. C. Cunha and M. Vieira, "A Process for Finding and Tackling the Main Root Causes that Affect Critical Systems Quality", in Certifications of Critical Systems – The CECRIS Experience, ch. 4, pp. 81-102, 2017
2016
I. Irrera, "Fault injection validation of a safety-critical TMR system", in The International Space Systems Engineering Conference, DASIA 2016, 2016
2015
I. Irrera and L. Montecchi and V. Bonfiglio and P. Lollini and A. Bondavalli and F. Rossi, "Software Faults Emulation at Model-Level: Towards Automated Software FMEA", in 1st Workshop on Safety and Security of Intelligent Vehicles (SSIV 2015) at DSN 2015, 2015
J. L. G. d. R. Nunes and T. Pecserke and J. C. Cunha and M. Zenha-Rela, "FIRED – Fault Injector for Reconfigurable Embedded Devices", in The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), 2015
2014
C. Areias and N. Antunes and J. C. Cunha, "On Applying FMEA to SOAs: A Proposal and Open Challenges", in 6th International Workshop on Software Engineering for Resilient Systems (SERENE'14), 2014
C. Areias and J. C. Cunha and D. Iacono and F. Rossi, "Towards Certification of Automotive Software", in International IEEE Workshop on Software Certification (WoSoCer’14) Co-located with ISSRE’14, 2014
F. Duchi and N. Antunes and A. Ceccarelli and G. Vella and F. Rossi and A. Bondavalli, "Cost-Effective Testing for Critical Off-The-Shelf Services", in Workshop Paper, 1st International Workshop on DEvelopment, Verification and VAlidation of cRiTical Systems (DEVVARTS2014), 2014
N. Silva and M. Vieira, "Orthogonal Classification of Safety Critical Issues", in The 25th IEEE International Symposium on Software Reliability Engineering - ISSRE 2014, 2014
2013
N. Silva and R. Barbosa and J. C. Cunha and M. Vieira, "A View on the Past and Future of Fault Injection (Fast Abstract)", in The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks , 2013
N. Antunes and F. Brancati and A. Ceccarelli and A. Bondavalli and M. Vieira, "A Monitoring and Testing Framework for Critical Off-The-Shelf Applications and Services", in 3rd IEEE International Workshop on Software Certification (WoSoCer2013) co-located with the 24rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), 2013