Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Maria de Fátima Mattiello-Francisco"'
Publikováno v:
Biblioteca Digital de Teses e Dissertações do ITAInstituto Tecnológico de AeronáuticaITA.
Os estudos realizados no presente trabalho de tese abrangem o processo de integração de subsistemas de tempo real intensivos em software e o formalismo de geração de casos de teste. A integração de subsistemas é uma fase altamente onerosa em t
Autor:
Moisés Cirilo de Brito Souto, Lucas Rafael Leandro Silva, Andréa Zotovici, Larissa Martins, Maria De Fátima Mattiello-Francisco, Geilson Loureiro
Publikováno v:
Proceedings of the 11th Latin-American Symposium on Dependable Computing.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::64016466ef3290b1d92d519024c69d87
https://doi.org/10.1145/3569902.3570186
https://doi.org/10.1145/3569902.3570186
Publikováno v:
Biblioteca Digital de Teses e Dissertações do INPEInstituto Nacional de Pesquisas EspaciaisINPE.
Este trabalho propõe a incorporação de técnicas de tolerância a falhas a um sistema de controle de processos orientado para tempo real que se destina a atividades de supervisão. Estas técnicas visam prover maior disponibilidade ao Sistema de S
Externí odkaz:
http://urlib.net/sid.inpe.br/iris@1905/2005/07.27.04.43
Publikováno v:
LATS
The increase number of CubeSat based space missions in the last decade shows the new possibilities for cheaper, faster but not so better projects. This lack of quality in a mission completeness point of view is associated to lack of good practices at
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::54d61a96afeb19c144c74b2cfac055ac
https://doi.org/10.1109/latw.2018.8347242
https://doi.org/10.1109/latw.2018.8347242
Publikováno v:
SBESC
Attitude and Orbit Control System (AOCS) is one subsystem of the Service Module of a satellite which mostly endures faults in space operations. The criticality and complex nature of the subsystem demands an extensive effort in its integration and con
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::36b60d0b7f6f2f371690172d65104e12
https://doi.org/10.1109/sbesc.2013.40
https://doi.org/10.1109/sbesc.2013.40
Autor:
Valdivino Alexandre de Santiago, Leise Jogaib, Ana Maria Ambrosio, Ricardo Costa, Maria de Fátima Mattiello-Francisco
Publikováno v:
Anais do V Simpósio Brasileiro de Qualidade de Software (SBQS 2006).
O presente artigo relata as experiências adquiridas pelo INPE e a DBA com a aplicação das normas ECSS no processo de verificação e validação do software embarcado em cargas úteis de satélites científicos. O software piloto SWPCD, objeto da
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ecc3b66d251e134ca106da5e3df8b63
https://doi.org/10.5753/sbqs.2006.15624
https://doi.org/10.5753/sbqs.2006.15624
Autor:
Ana Martins Do Amaral, Valdivino Alexandre de Santiago, Odnei Lopes, Nandamudi Lankalapalli Vijaykumar, Eliane Martins, Maria de Fátima Mattiello-Francisco
Publikováno v:
COMPSAC (2)
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation of Statecharts modeling into an XML-based language; and the PerformChart
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4fee5f8927103978be12185951e64496
https://doi.org/10.1109/compsac.2006.100
https://doi.org/10.1109/compsac.2006.100
Autor:
C. S. Silva, E. Martins, Maria de Fátima Mattiello-Francisco, N. L. Vijaykumar, Ana Maria Ambrosio
Publikováno v:
Space OPS 2004 Conference.
This paper presents some experiences in adapting the concepts, framework and methodology for protocol testing from the standard IS-9646 to validate space application protocols. In order to assess the space applications the conformance tests defined i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b0925b7351810dd251222143fa863a54
https://doi.org/10.2514/6.2004-609-406
https://doi.org/10.2514/6.2004-609-406
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540202240
LADC
LADC
This paper presents an approach for conformance testing and fault injection of distributed systems supported by a tool named FSoFIST (Ferry-clip with Software Fault Injection Support Tool). The approach extends the ferry-clip concept to cope with fau
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ac0040dcbd84a140d7b594402df4403c
https://doi.org/10.1007/978-3-540-45214-0_21
https://doi.org/10.1007/978-3-540-45214-0_21
