Prof. Dr. Paulo Eduardo e Silva Barbosa

Welcome to my Research Page.

My name is Paulo Barbosa, I have a PhD degree in Computer Science and I am Professor at UEPB (State University of Paraiba) – Campina Grande – Brazil. I coordinate research projects at NUTES (Nucleus for Strategic Health Technologies), involving disciplines such as software, systems and safety engineering. My main interest topics are Model Based Systems Engineering, Software Architecture, Traceability, Connected Health and Safety Cases.

I have been involved in biomedical engineering projects for the development and validation of medical devices prototypes such as Infusion Pumps, Automated External Defibrillators, Vital Sign Monitors, Ventilators and Stimulators. We have also developed health aggregator managers to support data collection and actuation through electronic medical records of medical devices and personal health devices.  These projects were driven by partnerships with industry and institutes. Among them, I should mention Fraunhofer-IESE from Germany, Tecnalia from Spain, UNINOVA from Portugal, Lifemed, Signove, UFPB, ICMC-USP and UFCG from Brazil.

Currently, I am coordinating the Productive Development Program (PDP) for the Brazilian Health Ministry, involving the manufacturing of Multiparametric Monitors and Cardioversors in partnership with Lifemed company, to be delivered to the Unified Health System (SUS).

Do you have an interesting open problem at your company in the health domain? Please, contact me (paulo.barbosa atThe en.nutes.uepb.edu.br) and let us solve it in a future professional master open call!

I am also interested in giving seminars, lectures and consultancy in Enterprise Architect tool. Moreover, we have developed tools that can help you in obtaining compliance with medical device standards, such as ISO/IEC 62304, ISO 14971 and TR 80002. As example of a current partner I should mention ANVISA supporting the popularization of the Ordinance n. 54 from INMETRO. Some efforts can be checked in the open Health Aggregator Manager (http://nutes.uepb.edu.br/ham) that provides free examples of documentation and good practices for a complex cyber physical system.

List of my recent teaching disciplines:

Computer Science Bachelor:
– High Performance Computing.

Master Program in Health Technologies:
– Research Methodologies for Health Technologies;
– Safety Engineering for Medical Devices.

Committees:

SASSUR (Workshop on Next Generation of System Assurance Approaches for SafetyCritical Systems at SAFECOM) – https://www.ntnu.edu/web/safecomp2016/sassur-2016 .

The SBESC 2016 (VI Brazilian Symposium on Computing Systems Engineering), that is the official forum for research on embedded, operational, real-time and safety critical systems will be held at Joao Pessoa. Local organizer. More informations on http://sbesc.lisha.ufsc.br/sbesc2016 .

Reviewer of the Empirical Software Engineering Journal during the years 2015/2016.

List of main publications:

Complete works published in proceedings of conferences

19. GURJÃO, EDMAR C.; BARBOSA, PAULO E.S.; MEDEIROS, YANG; ALBORNOZ, LEO. A Model for Architecture Centric Development of Automated External Defibrillators. In: V Brazilian Symposium on Computing Systems Engineering, 2015, Foz do Iguacu, Brazil. Proceedings of V Brazilian Symposium on Computing Systems Engineering, 2015.

18. ANTONINO, PABLO OLIVEIRA ; TRAPP, MARIO ; BARBOSA, PAULO E.S. ; SOUSA, LUANA . Parameterized Safety Requirements Templates. In: The 8th International Symposium on Software and Systems Traceability – Event Co-allocated with ICSE, 2015, Firenze, Italy. Proceedings of 8th International Symposium on Software and Systems Traceability, 2015.

17. BARBOSA, PAULO E.S.; LEITE, FABIO; MENDONCA, RAPHAEL; ANDRADE, MELQUISEDEC; SOUSA, LUANA; ANTONINO, PABLO OLIVEIRA . RAwTIM – Uma Ferramenta para Rastreabilidade da Informação em Análises de Riscos. In: Brazilian Conference on Software: Theory and Practice – Tools Section, 2015, Belo Horizonte, Brazil. Proceedings of Brazilian Conference on Software: Theory and Practice, 2015.

16. RODRIGUES, SIDNEY A. ; FREIRE, RAIMUNDO C. S. ; LUCIANO, BENEDITE A. ; BARBOSA, PAULO E. S. ; ANTONIO, D. S. ; CATUNDA, SEBASTIAN Y. C. . Architectural specification for infusion pumps and realization towards safety technological trends. In: 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA), 2014, Lisboa. 2014 IEEE International Symposium on Medical Measurements and Applications (MeMeA). p. 1.

15. JUNIOR, ANTONIO D. DOS S. ; BARBOSA, PAULO E.S. ; JUNIOR, NORMANDO G. DE C. ; RODRIGUES, SIDNEY A. ; MORAIS, MISAEL ; PEQUENO, ROBSON . NUTES ProLS: Specification of an Environment for Prototyping and Evolving EHR Data Collection Systems. In: 2014 IEEE 27th International Symposium on ComputerBased Medical Systems (CBMS), 2014, New York. 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014. p. 509.

14. SILVA, F. ; SILVA, A. R. F. ; BARBOSA, PAULO E.S. ; RODRIGUES, SIDNEY A. ; GALDINO, K. E. . QUALITATIVE APPLICATION OF OPERATION AND SUPPORT HAZARD ANALYSIS FOR SYRINGE INFUSION PUMPS. In: XXIV Congresso Brasileiro de Engenharia Biomédica, 2014, Uberlândia – MG. Anais do XXIV Congresso Brasileiro de Engenharia Biomédica, 2014.

13. LEITE, FABIO ; ANTONINO, PABLO OLIVEIRA ; BARBOSA, PAULO ; KEMMANN, SOEREN ; MENDONCA, RAPHAEL . Are the current architectural practices suitable for safety aspects of medical devices? An exploratory investigation. In: 2014 IEEE 16th International Conference on eHealth Networking, Applications and Services (Healthcom 2014), 2014, Natal-RN. 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services (Healthcom), 2014. p. 477.

12. BARBOSA, PAULO E. S. ; MORAIS, MISAEL ; GALDINO, KATIA ; ANDRADE, MELQUISEDEC ; GOMES, LUIS ; MOUTINHO, FILIPE ; DE FIGUEIREDO, JORGE C. A. . Towards medical device behavioural validation using Petri nets. In: 2013 IEEE 26th International Symposium on ComputerBased Medical Systems (CBMS), 2013, Porto. Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems. p. 4.

11. BARBOSA, P. E. S. ; COSTA, A. ; GOMES, L. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . A MDA-based contribution for integrating web services within embedded system’s design. In: 8th IEEE International Conference on Industrial Informatics, 2010, Osaka. Proceedings of the 8th IEEE International Conference on Industrial Informatics. Osaka, 2010. p. 565-570.

10. MOUTINHO, FILIPE ; GOMES, LUIS ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; BARROS, JOAO PAULO ; BARBOSA, PAULO ; PAIS, RUI ; COSTA, ANIKO . Ecore representation for extending PNML for Input-Output Place-Transition nets. In: IECON 2010 36th Annual Conference of IEEE Industrial Electronics, 2010, Glendale. IECON 2010 – 36th Annual Conference on IEEE Industrial Electronics Society. p. 2156-2161.

9. BARBOSA, P. E. S. ; COSTA, A. ; FIGUEIREDO, J. C. A. ; RAMALHO, F. ; GOMES, L. ; S. JUNIOR, A. D. . Modeling Complex Petri Nets Operations in the Model-Driven Architecture. In: IECON’09, 2009, Porto. 35th Conference of the IEEE Industrial electronics Society. Porto, 2009. v. 1. p. 4359-4364.

8. FIGUEIREDO, André Luis Lima de ; MACHADO, P. ; GADELHA, E. C. ; FIGUEIREDO, J. C. A. ; BARBOSA, P. E. S. . Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos. In: IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008, Rio de Janeiro. Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008), 2008. v. v. 1. p. 29-42.

7. BARBOSA, P. E. S. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . Incorporating Semantic Algebra in The MDA Framework. In: ICSOFT2008 – Third International Conference on Software and Data Technologies, 2008, Porto. Proceedings of the Third International Conference on Software and Data Technologies. Porto: INSTICC Press, 2008. v. 1. p. 330-336.

6. BARBOSA, P. E. S. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. . An Extended MDA Architecture for Ensuring Semantics-Preserving Transformations. In: 32nd Annual IEEE Software Engineering Wokshop, 2008, Kassandra. Proceedings of 32nd Annual IEEE Software Engineering Wokshop. Danvers: IEEE Computer Society, 2008. p. 33-42.

5. BARBOSA, P. E. S. ; RODRIGUES, C. L. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . Distributed Verification of Occurrence Graphs: Investigating the Use of Computational Grids. In: The 33rd Annual Conference of the IEEE Industrial Electronics Society (IECON-2007), 2007, Taipei. Proceedings of the 33rd Annual Conference of the IEEE Industrial Electronics Society, 2007. p. 82-87.

4. RODRIGUES, C. L. ; BARBOSA, P. E. S. ; CABRAL, J. M. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . A Bag-Of-Tasks Approach for State Space Exploration Using Computational Grids. In: Software Engineering and Formal Methods, 2006, Pune. Fourth IEEE International Conference on Software Engineering and Formal Methods, 2006. p. 226-235.

3. BARBOSA, P. E. S. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . Verificação Distribuída de Modelos: Uma Abordagem com Grades Computacionais. In: XI Workshop de Teses e Dissertações em Engenharia de Software, 2006, Florianópolis. Anais do XI Workshop de Teses e Dissertações em Engenharia de Software, 2006. v. 1. p. 1-6.

2. RODRIGUES, C. L. ; BARBOSA, P. E. S. ; FIGUEIREDO, J. C. A. ; GUERRERO, D. D. S. . RPOO Model Checker. In: Simpósio Brasileiro de Engenharia de Software SBES 2004, 2004, Brasília/DF. Sessão de Ferramentas do Simpósio Brasileiro de Engenharia de Software (18.:2004 out. 21-22: Brasília).. Belém/PA: Departamento de Informática da Universidade Federal do Pará, 2004. p. 88-93.

1. MACHADO, P. ; OLIVEIRA, E. ; BARBOSA, P. E. S. ; RODRIGUES, C. L. . . Algebraic Specification-Based Testing: The Veritas Case Study. In: Simpósio Brasileiro de Métodos Formais, 2004, Recife. SBMF 2004, 2004. p. 166-183.

Articles in Scientific Journals

2. BARBOSA, P. E. S. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; S. JUNIOR, A. D. ; COSTA, A. ; GOMES, L. . Checking Semantics Equivalence of MDA Transformations in Concurrent Systems. Journal of Universal Computer Science, v. 15, p. 2196-2224, 2009.

1. MACHADO, PATRÍCIA D.L. ; OLIVEIRA, ELTHON A.S. ; BARBOSA, PAULO E.S. ; RODRIGUES, CÁSSIO L. . Testing from Structured Algebraic Specifications: The Veritas Case Study. Electronic Notes in Theoretical Computer Science, v. 130, p. 235-261, 2005.

Book Chapter Published

7. Ruiz, Alejandra ; Barbosa, Paulo ; Medeiros, Yang ; Espinoza, Huascar . Safety Case Driven Development for Medical Devices. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 183-196.

6. ANTONINO, PABLO OLIVEIRA ; TRAPP, MARIO ; Barbosa, Paulo ; Gurjäo, Edmar C. ; Rosário, Jeferson . The Safety Requirements Decomposition Pattern. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 269-282.

5. COSTA, A. ; BARBOSA, P. E. S. ; MOUTINHO, F ; PEREIRA, F. ; RAMALHO, F. ; FIGUEIREDO, J. C. A. ; GOMES, L. . MDA-Based Methodology for Verifying Distributed Execution of Embedded Systems Models. In: Zhiwu Li; Abdulrahman M. Al-Ahmari. (Org.). Formal Methods in Manufacturing Systems: Recent Advances. 1ed.Hershey: IGI Global, 2013, v. , p. 112-135.

4. Barbosa, Paulo ; Barros, João Paulo ; RAMALHO, FRANKLIN ; Gomes, Luís ; FIGUEIREDO, JORGE ; MOUTINHO, FILIPE ; Costa, Anikó ; Aranha, André . SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. In: IFIP. (Org.). IFIP Advances in Information and Communication Technology. 349ed.Lisboa: Springer Berlin Heidelberg, 2011, v. 349, p. 256-265.

3. MOUTINHO, FILIPE ; Gomes, Luís ; Barbosa, Paulo ; Barros, João Paulo ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; Costa, Anikó ; Monteiro, André . Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. In: IFIP. (Org.). IFIP Advances in Information and Communication Technology. 349ed.Lisboa: Springer Berlin Heidelberg, 2011, v. 349, p. 237-245.

2. Barbosa, Paulo ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; Costa, Anikó ; Gomes, Luís ; Junior, Antônio . Semantic Equations for Formal Models in the Model-Driven Architecture. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). (Org.). IFIP Advances in Information and Communication Technology. 1ed.Costa da Caparica: Springer Berlin Heidelberg, 2010, v. 314, p. 251-260.

1. Costa, Anikó ; Barbosa, Paulo ; Gomes, Luís ; RAMALHO, FRANKLIN ; FIGUEIREDO, JORGE ; Junior, Antônio . Properties Preservation in Distributed Execution of Petri Nets Models. In: Camarinha-Matos, Luis M.; Pereira, Pedro; Ribeiro, Luis. (Org.). (Org.). IFIP Advances in Information and Communication Technology. 1ed.Costa da Caparica: Springer Berlin Heidelberg, 2010, v. 314, p. 241-250.