People
João Carlos Cunha
Member
Software and Systems EngineeringAffiliation
Informatics and Systems Engineering DepartmentEngineering School
Polytechnic Institute of Coimbra
International Projects
ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Past Projects
mCrash - Dependability Evaluation of Mobile Devices' System Software
CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
CECRIS – CErtification of CRItical Systems
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components
Journal Articles
2017
(2 publications)- Rodrigues, D. and Pires, R.d.M. and Marconato, E.A. and Areias, C. and Cunha, J.C. and Branco, K. and Marco Vieira , "Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles", IEEE Intelligent Transportation Systems Magazine , vol. 9, pp. 97-109, 2017 [ DOI ]
- Silva, N. and Cunha, J.C. and Marco Vieira , "A field study on root cause analysis of defects in space software", Reliability Engineering & System Safety, vol. 158, pp. 213-229, 2017 [ DOI ]
Conference Articles
2019
(1 publication)- Amaro, P. and Barreiros, J. and Coutinho, F. and Joao Duraes and Santos, F. and Alves, A. and Silva, M. and Cunha, J.C. , "Embedded Programming Bootcamp for Career Change", in 18th International Symposium on Ambient Intelligence and Embedded Systems, 2019 [ DOI ]
2017
(2 publications)- Silva, N. and Marco Vieira and Cunha, J.C. and Chillarege, R. , "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
- Mendes, D.F.d.C.M. and Nunes, J. and Patra?o, S. and Naghmeh Ivaki and Amaro, P. and Cunha, J.C. , "Assessing the Robustness of a Quadcopter’s Flight Controller to Sensor Failures", in INForum 2017 - 9th Simpósio de Informática, 2017
2016
(3 publications)- Machado, C. and Areias, C. and Cunha, J.C. , "SOASales: A SOA System for Research Purposes", in 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop, 2016 [ DOI ]
- José Luís Nunes and Cunha, J.C. and Mario Zenha-Rela , "On the Effects of Cumulative SEUs in FPGA-based Systems", in 12th European Dependable Computing Conference (EDCC 2016), 2016
- José Luís Nunes and Cunha, J.C. and Mario Zenha-Rela , "Using Failure Prediction to Improve FPGA Scrubbing", in Latin-American Symposium on Dependable Computing (LADC 2016), 2016
2015
(2 publications)- 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
- Areias, C. and Marco Vieira and Cunha, J.C. , "Studying the Propagation of Failures in SOAs", in International Workshop on Recent Advances in the Dependability Assessment of Complex Systems (RADIANCE’2015), 2015
2014
(2 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 [ DOI ]
- 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 [ DOI ]
2013
(4 publications)- José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Reconfiguração Dinâmica Parcial de FPGA em Sistemas de Controlo", in 9th Portuguese Meeting on Reconfigurable Systems (REC 2013), 2013
- Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira , "Towards Runtime V&V for Service Oriented Architectures", in Sixth Latin-American Symposium on Dependable Computing, 2013
- José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Evaluating Xilinx SEU Controller Macro for Fault Injection", in The 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2013), 2013
- 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
2012
(2 publications)- Cunha, J.C. and Barbosa, R. and Rodrigues, G. , "On the use of Boundary Scan for Code Coverage of Critical Embedded Software", in The 23rd International Symposium on Software Reliability Engineering (ISSRE 2012), 2012
- Osocha, P. and Cunha, J.C. and Giovagnini, F. , "Dependable and Secure Embedded Node Demonstrator", in ERCIM Workshop, the 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), 2012
2011
(4 publications)- José Luís Nunes and Cunha, J.C. and Barbosa, R. and Mario Zenha-Rela , "Using Partial Dynamic FPGA Reconfiguration to Support Real-Time Dependability", in 13th European Workshop on Dependable Computing (EWDC 2011), 2011
- Cunha, J.C. and Marco Vieira and Cruz, S. and Costa, M. and Rodrigues, A.R. , "Implementing Software Effort Estimation in a Medium-sized Company", in 34th Annual IEEE Software Engineering Workshop, 2011
- Marco Vieira and Madeira, H. and Cruz, S. and Costa, M. and Cunha, J.C. , "Integrating GQM and Data Warehousing for the Definition of Software Reuse Metrics", in 34th Annual IEEE Software Engineering Workshop, 2011
- Osocha, P. and Cunha, J.C. , "SPD Power Node ES solution in pSHIELD framework", in ERCIM Workshop, the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 2011
2006
(1 publication)2005
(3 publications)- Mario Zenha-Rela and Cunha, J.C. , "On the Effects of Errors During Boot.", in Second Latin-American Symposium on Dependable Computing, LADC2005, vol. 3747, 2005
- Mario Zenha-Rela and Marco Vieira and Cunha, J.C. and Joao Duraes , "Dependability Evaluation of Mobile Devices' System Software (Fast Abstract)", in IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2005, 2005
- Cunha, J.C. and Mario Zenha-Rela , "Validação de Microssistemas para Aplicações Criticas ", in 1º Encontro Nacional de Riscos, Segurança e Fiabilidade (ENRSF-1), 2005
2002
(2 publications)- Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "On the Use of Disaster Prediction for Failure-Tolerance in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2002, 2002
- Cunha, J.C. and Henriques, J. and Mario Zenha-Rela and Silva, J.G. , "Reset-Driven Fault Tolerance", in 4th European Dependable Computing Conference (EDCC-4), vol. 2485, 2002
2001
(2 publications)- Cunha, J.C. and Silva, J.G. , "Software-Implemented Stable Storage in Main Memory", in IX Brazilian Symposium on Fault-Tolerant Computing (SCTF'2001), 2001
- Cunha, J.C. and Mario Zenha-Rela and Silva, J.G. , "A Study of Failure Models in Feedback Control Systems", in The International Conference on Dependable Systems and Networks, DSN-2001, 2001
1999
(1 publication)Edited Books
2013
(1 publication)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