Nuno Silva
Nuno Silva
Program Manager, Critical Software, SA
Correu electrònic verificat a criticalsoftware.com - Pàgina d'inici
Títol
Citada per
Citada per
Any
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
352007
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
232003
Investigation on safety-related standards for critical systems
C Esposito, D Cotroneo, N SIlva
2011 First International Workshop on Software Certification, 49-54, 2011
162011
Errors on space software requirements: A field study and application scenarios
PC Veras, E Villani, AM Ambrosio, N Silva, M Vieira, H Madeira
2010 IEEE 21st International Symposium on Software Reliability Engineering …, 2010
162010
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
152013
Adding security concerns to safety critical certification
N Nostro, A Bondavalli, N Silva
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
142014
Towards making safety-critical systems safer: learning from mistakes
N Silva, M Vieira
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
92014
Experience report: orthogonal classification of safety critical issues
N Silva, M Vieira
2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014
92014
10 years of ISVV: What's next?
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
92012
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
82017
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
Static Analysis tools, a practical approach for safety-critical software verification
R Lopes, D Vicente, N Silva
ESA Special Publication 669, 2009
82009
Independent assessment of safety-critical systems: We bring data!
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
72012
Independent test verification: what metrics have a word to say
N Silva, R Lopes
2011 First International Workshop on Software Certification, 25-30, 2011
72011
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
72011
SysML-based and Prolog-supported FMEA
F Scippacercola, R Pietrantuono, S Russo, NP Silva
2015 IEEE international symposium on software reliability engineering …, 2015
62015
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
62013
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
52016
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
52013
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
52012
En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.
Articles 1–20