Nuno Silva
Nuno Silva
Program Manager, Critical Software, SA
Adresse e-mail validée de criticalsoftware.com - Page d'accueil
Titre
Citée par
Citée par
Année
Verification and validation of (real time) COTS products using fault injection techniques
R Barbosa, N Silva, J Duraes, H Madeira
2007 Sixth International IEEE Conference on Commercial-off-the-Shelf (COTS …, 2007
372007
Challenges in Calculating the WCET of a Complex On-board Satellite Application.
M Rodríguez, N Silva, J Esteves, L Henriques, D Costa, N Holsti, ...
WCET, 11-15, 2003
252003
Investigation on safety-related standards for critical systems
C Esposito, D Cotroneo, N Silva
2011 First International Workshop on Software Certification, 49-54, 2011
202011
A view on the past and future of fault injection
N Silva, R Barbosa, JC Cunha, M Vieira
2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems …, 2013
182013
Adding security concerns to safety critical certification
N Nostro, A Bondavalli, N Silva
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
162014
Errors on space software requirements: A field study and application scenarios
PC Véras, E Villani, AM Ambrosio, N Silva, M Vieira, H Madeira
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
152010
10 years of ISVV: What's next?
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
122012
Towards making safety-critical systems safer: learning from mistakes
N Silva, M Vieira
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
112014
Experience report: orthogonal classification of safety critical issues
N Silva, M Vieira
2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014
112014
A field study on root cause analysis of defects in space software
N Silva, JC Cunha, M Vieira
Reliability Engineering & System Safety 158, 213-229, 2017
102017
Static Analysis tools, a practical approach for safety-critical software verification
R Lopes, D Vicente, N Silva
ESA Special Publication 669, 2009
102009
SysML-based and Prolog-supported FMEA
F Scippacercola, R Pietrantuono, S Russo, NP Silva
2015 IEEE international symposium on software reliability engineering …, 2015
92015
Practical Experiences with real-world systems: Security in the World of Reliable and Safe Systems
N Silva, R Lopes
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
82013
Independent assessment of safety-critical systems: We bring data!
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
82012
A preliminary fault injection framework for evaluating multicore systems
A Lanzaro, A Pecchia, M Cinque, D Cotroneo, R Barbosa, N Silva
International Conference on Computer Safety, Reliability, and Security, 106-116, 2012
82012
Independent test verification: what metrics have a word to say
N Silva, R Lopes
2011 First International Workshop on Software Certification, 25-30, 2011
82011
Qualification and selection of off-the-shelf components for safety critical systems: A systematic approach
C Esposito, D Cotroneo, R Barbosa, N Silva
2011 Fifth Latin-American Symposium on Dependable Computing Workshops, 52-57, 2011
82011
Overview of 10 years of ISVV findings in safety-critical systems
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
72012
Software for embedded systems: a quality assessment based on improved odc taxonomy
N Silva, M Vieira
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 1780-1783, 2016
62016
csxception®: First steps to provide fault injection for the development of safe systems in automotive industry
R Barbosa, N Silva, JM Cunha
European Workshop on Dependable Computing, 202-205, 2013
62013
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20