Artigos

2021

  • J. Marques, S. Yelisetty, and L. Barros, “Um Mapeamento Sistemático da Literatura no Uso da IEC 62304,” Journal of Health Informatics, 2021, [Online]. Available: http://www.jhi-sbis.saude.ws/ojs-jhi/index.php/jhi-sbis/article/view/774/406

  • S. Yelisetty, L. Barros, T. Slavov, and J. Marques, “Um Levantamento de Fatores Humanos e Técnicos em Garantia de Qualidade de Projeto de Software Embarcado Aeronáutico no Brasil,” in Anais do VI Workshop sobre Aspectos Sociais, Humanos e Econômicos de Software, 2021, pp. 1–10. doi: 10.5753/washes.2021.15884.

  • J. Marques, S. Yelisetty, and L. Barros, “A Framework for Loadable Airborne Systems,” IEEE Aerospace and Electronic Systems Magazine, vol. 36, no. 5, pp. 38–47, May 2021, doi: 10.1109/maes.2020.3040511.

2020

  • J. Marques, A. Cunha, and L. A. V. Dias, “Q-Scrum: A Framework for Quality in Safety-Critical Development,” 13th International Conference on the Quality of Information and Communications Technology (QUATIC 2020), 2020, doi: 10.1007/978-3-030-58793-2_19.

  • F. A. N. Verri et al., “An Analysis on Tradable Permit Models for Last-Mile Delivery Drones,” IEEE Access, pp. 1–1, 2020, doi: 10.1109/access.2020.3030612.

2019

  • J. Marques and S. Yelisetty, “LP-SAR: Linhas de Processo para Software em Ambientes Regulados,” in Anais do I Brazilian Workshop on Large-scale Critical Systems, 2019, pp. 13–16. doi: 10.5753/bware.2019.7503.

  • D. A. da Silva et al., “Decentralizing Rehabilitation: Using Blockchain to Store Exoskeletons’ Movement,” in 16th International Conference on Information Technology-New Generations (ITNG 2019), Springer International Publishing, 2019, pp. 153–160. doi: 10.1007/978-3-030-14070-0_22.

  • D. A. da Silva et al., “Urgent and Emergency Care: An Academic Application System Case Study,” in 16th International Conference on Information Technology-New Generations (ITNG 2019), 2019, pp. 143–152. doi: 10.1007/978-3-030-14070-0_21.

  • J. Marques and A. Cunha, “ARES: An Agile Requirements Specification Process for Regulated Environments,” International Journal of Software Engineering and Knowledge Engineering (IJSEKE), vol. 29, no. 10, pp. 1403–1438, 2019, doi: 10.1142/s021819401950044x

  • D. Loubach, J. Marques, and A. Cunha, “Considerations on Domain-Specific Architectures Applicability in Future Avionics Systems,” 2019. doi: 10.3384/ecp19162018.

  • J. Marques and A. Cunha, “A Set of Requirements for Development and Certification Processes Applied to Defense Embedded Software,” 38th AIAA/IEEE Digital Avionics System Conference (DASC 2019), 2019, doi: 10.1109/dasc43569.2019.9081775.

  • J. Marques and S. Yelisetty, “An Analysis of Software Requirements Specification Characteristics in Regulated Environments,” International Journal of Software Engineering & Applications, 2019, doi: 10.5121/ijsea.2019.10601.

2018

  • J. Marques and A. Cunha, “Tailoring Traditional Software Life Cycles to Ensure Compliance of RTCA DO-178C and DO-331 with Model-Driven Design,” 37th AIAA/IEEE Digital Avionics System Conference (DASC 2018), 2018, doi: 10.1109/DASC.2018.8569351.

  • L. S. Siles et al., “An Integrated Academic System Prototype Using Accidents and Crises Management as PBL,” in Information Technology - New Generations, 2018, pp. 419–427. doi: 10.1007/978-3-319-54978-1_55.

2017

  • J. Marques and A. Cunha, “Verification Scenarios of onboard Databases under the RTCA DO-178C and the RTCA DO-200B,” 36th AIAA/IEEE Digital Avionics System Conference (DASC 2017), 2017, doi: 10.1109/DASC.2017.8102030.

  • J. Marques and A. Cunha, “COTS tool qualification using RTCA DO-330: Common pitfalls,” in 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), 2017, pp. 1–6. doi: 10.1109/DASC.2017.8102031.

2015

  • J. Marques and A. Cunha, “Use of the RTCA DO-330 in Aeronautical Databases,” 34th AIAA/IEEE Digital Avionics System Conference (DASC 2015), 2015, doi: 10.1109/DASC.2015.7311643.

  • G. S. Goncalves et al., “An interdisciplinary academic project for spatial critical embedded system agile development,” in 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 2015, pp. 8C3-1-8C3-11. doi: 10.1109/DASC.2015.7311475.

2013

  • J. Marques and A. Cunha, “CARD-RM: A Reference Model for Airborne Software,” 10th International Conference on Information Technology: New Generations (ITNG 2013), 2013, doi: 10.1109/itng.2013.44.

  • J. Marques and A. Cunha, “A Reference Method for Airborne Software Requirements,” 32th AIAA/IEEE Digital Avionics System Conference (DASC 2013), 2013, doi: 10.1109/dasc.2013.6712631.

2012

  • J. Marques, A. Cunha, and L. A. V. Dias, “Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification,” 9th International Conference on Information Technology: New Generations, 2012, doi: 10.1109/ITNG.2012.102.

2011

2010

  • J. Marques and L. A. V. Dias, “Mitigação de Riscos de Certificação Civil em um Processo de Certificação de Aeronave Militar: Uma Abordagem para Software Embarcado,” SIGE - Simpósio de Aplicações Operacionais em Áreas de Defesa, 2010.