Urmăriți
Nuno Silva
Nuno Silva
Program Manager, Critical Software, SA
Adresă de e-mail confirmată pe criticalsoftware.com - Pagina de pornire
Titlu
Citat de
Citat de
Anul
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
422007
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
292003
Investigation on safety-related standards for critical systems
C Esposito, D Cotroneo, N Silva
2011 First International Workshop on Software Certification, 49-54, 2011
222011
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
202017
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
202013
Adding security concerns to safety critical certification
N Nostro, A Bondavalli, N Silva
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
182014
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
Experience report: orthogonal classification of safety critical issues
N Silva, M Vieira
2014 IEEE 25th International Symposium on Software Reliability Engineering …, 2014
142014
10 Years of ISVV: What's Next?
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012
142012
SysML-based and Prolog-supported FMEA
F Scippacercola, R Pietrantuono, S Russo, NP Silva
2015 IEEE international symposium on software reliability engineering …, 2015
122015
Towards making safety-critical systems safer: learning from mistakes
N Silva, M Vieira
2014 IEEE International Symposium on Software Reliability Engineering …, 2014
122014
Static analysis tools, a practical approach for safety-critical software verification
R Lopes, D Vicente, N Silva
ESA Special Publication 669, 2009
122009
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
112013
A preliminary fault injection framework for evaluating multicore systems
A Lanzaro, A Pecchia, M Cinque, D Cotroneo, R Barbosa, N Silva
Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur …, 2012
92012
Independent assessment of safety-critical systems: We bring data!
N Silva, R Lopes
2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 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
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
72016
Integrating FMEA in a model-driven methodology
F Scippacercola, R Pietrantuono, S Russo, A Esper, N Silva
DASIA 2016-Data Systems In Aerospace 736, 10, 2016
62016
Qualitative comparison of aerospace standards: An objective approach
A Ceccarelli, N Silva
2013 IEEE International Symposium on Software Reliability Engineering …, 2013
62013
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20