CECRIS – CErtification of CRItical Systems
Description
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 SMEsResearchers
Marco Vieira (coordinator)
Cristiana Areias
Henrique Madeira
João Carlos Cunha
Nuno Laranjeiro
Nuno Antunes
Ivano Irrera
Cristiana Areias
Henrique Madeira
João Carlos Cunha
Nuno Laranjeiro
Nuno Antunes
Ivano Irrera
Funded by
FP7-PEOPLE-2012-IAPPPartners
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)Keywords
Verification & Validation, CertificationStart Date
2013-01-01End Date
2016-12-31Journal Articles
2017
(1 publication)Conference Articles
2017
(1 publication)2016
(1 publication)2015
(2 publications)- Ivano Irrera and Montecchi, L. and Bonfiglio, V. and Lollini, P. and Bondavalli, A. and Rossi, F. , "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
- José Luís Nunes and Pecserke, T. and Cunha, J.C. and Mario Zenha-Rela , "FIRED – Fault Injector for Reconfigurable Embedded Devices", in The 21st IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2015), 2015
2014
(4 publications)- Areias, C. and Nuno Antunes and Cunha, J.C. , "On Applying FMEA to SOAs: A Proposal and Open Challenges", in 6th International Workshop on Software Engineering for Resilient Systems (SERENE'14), 2014
- Areias, C. and Cunha, J.C. and Iacono, D. and Rossi, F. , "Towards Certification of Automotive Software", in International IEEE Workshop on Software Certification (WoSoCer’14) Co-located with ISSRE’14, 2014
- Duchi, F. and Nuno Antunes and Ceccarelli, A. and Vella, G. and Rossi, F. and Bondavalli, A. , "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
- Silva, N. and Marco Vieira , "Orthogonal Classification of Safety Critical Issues", in The 25th IEEE International Symposium on Software Reliability Engineering - ISSRE 2014, 2014
2013
(2 publications)- Silva, N. and Barbosa, R. and Cunha, J.C. and Marco 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
- Nuno Antunes and Brancati, F. and Ceccarelli, A. and Bondavalli, A. and Marco 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
Book Chapters
2017
(3 publications)- Laranjeiro, N. and Pereira, G. and Soydemir, S.N. and Barbosa, R. and Jorge Bernardino and Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira and Madeira, H. , "Robustness and Fault Injection for the Validation of Critical Systems", in Certifications of Critical Systems – The CECRIS Experience, pp. 247-274, 2017
- Ivano Irrera and Zentai, A. and Cunha, J.C. and Madeira, H. , "Validating a Safety Critical Railway Application Using Fault Injection", in Certifications of Critical Systems – The CECRIS Experience, pp. 227-246, 2017
- Silva, N. and Moreira, F. and Cunha, J.C. and Marco Vieira , "A Process for Finding and Tackling the Main Root Causes that Affect Critical Systems Quality", in Certifications of Critical Systems – The CECRIS Experience, pp. 81-102, 2017