Francisco Moreira
Francisco Moreira
Critical Software S.A.
Bestätigte E-Mail-Adresse bei criticalsoftware.com
TitelZitiert vonJahr
RIFLE: A general purpose pin-level fault injector
H Madeira, M Rela, F Moreira, JG Silva
European Dependable Computing Conference, 197-216, 1994
1991994
Experimental evaluation of a COTS system for space applications
H Madeira, RR Some, F Moreira, D Costa, D Rennels
Dependable Systems and Networks, 2002. DSN 2002. Proceedings. International …, 2002
862002
Experimental assessment of parallel systems
JG Silva, J Carreira, H Madeira, D Costa, F Moreira
Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on, 415-424, 1996
491996
Static and Dynamic Verification of Critical Software for Space Applications
F Moreira, R Maia, D Costa, N Duro, P Rodríguez-Dapena, K Hjortnaes
DASIA 2003-Data Systems In Aerospace 532, 2003
122003
DBench dependability benchmarks
K Kanoun, H Madeira, Y Crouzet, M Dal Cin, F Moreira, JCR Garcia
DBench, Project IST-2000-25425, 2004
112004
ParLin: from a centralized tuple space to adaptive hashing
JG Silva, J Carreira, F Moreira
Transputer Applications and Systems 94, 91-104, 1993
111993
Verifying, validating and monitoring the open Ravenscar real time kernel
R Maia, F Moreira, R Barbosa, D Costa, K Hjortaes, P Rodriguez, ...
ACM SIGAda Ada Letters 23 (4), 74-81, 2003
62003
DeBERT: dependability benchmarking of embedded Real-Time Off-the-Shelf components for space applications
D Costa, R Barbosa, R Maia, F Moreira
Dependability Benchmarking for Computer Systems 72, 255, 2008
42008
Technology harmonization-developing a reference architecture for the ground segment software
N Duro, F Moreira, J Rogado, J Reis, N Peccia
Aerospace Conference, 2005 IEEE, 3968-3979, 2005
42005
Pin-level fault injection for dependability validation: some research results at the University of Coimbra
H Madeira, F Moreira, M Rela, P Furtado, JG Silva
IEEE Intntl. Workshop on Fault and Error Injection for Dependability …, 1993
31993
Cost Estimation for Independent Systems Verification and Validation
A Pataricza, L Gönczy, F Brancati, F Moreira, N Silva, R Esposito, ...
1*
Applicability of the Common Safety Method for Risk Evaluation and Assessment (CSM-RA) to the Space Domain
F Moreira, N Silva
DASIA 2016-Data Systems In Aerospace 736, 2016
2016
Towards an Analysis Framework for Cost & Quality Estimation of V&V Projects
A Patricia, L Gonczy, F Brancati, F Moreira, N Silva, R Esposito, A Salani, ...
DASIA 2016-Data Systems In Aerospace 736, 2016
2016
Common Safety Method for Risk Evaluation and Assessment (CSM-RA) and Hazard Analysis Tutorial: Managing Effectively Significant Changes in a Railway System
F Moreira, NP Silva
Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP …, 2016
2016
Applicability of the Common Safety Method for Risk Evaluation and Assessment (CSM-RA) to the Space Domain
NS Francisco Moreira
 DASIA – Data Systems In Aerospace – 2016, 2016
2016
Experimental evaluation of a COTS system for space applications
RR Some, H Madeira, F Moreira, D Costa, D Rennels
2002
A Process for Finding and Tackling the Main Root Causes that Affect Critical Systems Quality
N Silva, F Moreira, JC Cunha, M Vieira
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–17