Programação
Workshop STPA-CoFI
Objetivo: compartilhar o conhecimento e identificar problemas práticos na indústria, enfatizando as dificuldades e necessidades derivadas da integração de Systems Engineering, Safety analysis and Verification and Validation. Será apresentada a abordagem STPA-CoFI (STPA - Systemic Theoretical Process Analysis e CoFI- Conformance and Fault Injection) que combina análise de safety com geração de teste para sistemas críticos espaciais, aeronáuticos, automotivos entre outros. Dirigido a profissionais da indústria, pesquisadores e alunos de pós-graduação.
29 de setembro de 2022 - Local: Hibrido Auditório Sergio Sobral - INPE/on-line
8h30 | Fátima Mattiello | Abertura |
8h45 | Andrea Barp | Engenharia de Sistemas e o desenvolvimento de Sistemas Complexos: desafios de Verificação e Validação. |
9h15 | Eliane Martins | Uso de Testes Baseados em Modelos: motivação, tipos de modelos, escopos de testes, exemplos, discussão. |
9h45 | Celso Hirata e Ana Ambrosio | STPA-CoFI: abordagem integrada para análise e teste de requisitos de safety de sistemas críticos. |
10h30 | Intervalo e coffee-break | |
11h00 | Marcus Araújo | MBT (Model-based test): experiência com a aplicação da CoFI na verificação e integração de sistemas automotivos na Stellantis |
11h30 | Felipe Xavier | STPA: experiência, vantagens e dificuldades. |
12h00 | Almoço | |
14h00 | Marcos Viana | STAMP/STPA – Jornada e Aplicação. |
14h30 | Painel | Sobre a abordagem STPA-CoFI: potencial e deficiências para uma aplicação prática industrial: Andrea, Felipe, Marcus, Viana, Hirata (moderador) e Ana. |
15h30 | Encerramento e coffee-break |
Biografia dos palestrantes
Ana Maria Ambrosio |
Received a Ph.D. degree in applied computing from National Institute for Space Research (INPE). She worked for 35 years in space mission development at INPE. Her research interests are in model-based testing, simulation and V&V of space systems. She is the author of the CoFI methodology, which has been used in academia and industry. Since 2018, she has been collaborating with the Post-graduate Course in Space Engineering & Technology, INPE. |
Andrea Barp |
Started his career in 1982, at Embraer, contributing to the AM-X ground attack aircraft development, System Integration, Verification and Systems Ground Tests. Technical responsible for the closed loop real-time simulation and testing automation resources in the systems Integration, Verification and Safety of Flight (SoF) laboratories for the Embraer E1 jet family. Led the initiative to expand the application of Modeling and Simulation to support Systems Engineering processes, increasing Embraer Engineering capability to deliver Solutions with guaranteed functionality and quality, at competitive costs and development/modification cycles. He currently works as a Senior Systems Engineer at Boeing BR. |
Celso Massaki |
Received a Ph.D. degree in computer science from Imperial College. Since 2014, he has been a Full Professor with the Computer Science Dept, ITA. His research interests include distributed systems, cyber-physical systems, machine learning, and big data. |
Eliane Martins |
Received the Ph.D. degree in Computer Science from Ecole Nationale Supérieure de lAeronautique et de l’Espace (1992). From 1993 to 2019 she has been an Associated professor at Universidade Estadual de Campinas where she is now a Visiting Researcher. She has large experience in Software Testing. Her research interests include Model-Based Functional and Robustness testing, the use of Model-Based Testing in Embedded Systems as well as in Agile Development. |
Felipe Xavier de Oliveira |
Mechanical Engineer graduated from the University Federal of Santa Catarina, with more than 20 years of industry experience. He worked for 15 years as a Senior Safety and Systems Integration engineer at Embraer in different programs in commercial aviation and eVTOL. He also worked for 2.5 years at AVIAGE SYSTEMS in Shanghai/China as Principal Safety Engineer in the development of avionics systems and consulting services for the development of eVTOL. Since Aug/21, he has been working in the automotive industry at Huawei Research Center in Munich/Germany as a Dependability/Modeling Expert in Autonomous Systems with a focus on the safety assessment of artificial intelligence for autonomous cars. |
Marcos Antonio Viana Tavares |
Systems Integration and Software Senior Manager – Embraer. He is in charge of the company strategy and conception related to Safety, Systems Engineering, Software, and Cybersecurity. He graduated in Electrical Engineering (UFU) and obtained an MSc degree in Systems and Controls (ITA). He is a former ANAC DER/PCP. |
Marcus Vinícius Oliveira Araújo |
Validation and Industrialization Manager at Stellantis South America. Started his career at Fiat Automóveis S.A in 2005 as a validation engineer responsible for requirements validation in automotive embedded systems. Nowadays, he is responsible to manage the South America Electro electronics validation team, based in Betim-MG and the five industrialization plants located in the region. B.Sc. in Control and Automation Engineering from PUCMG University, with Post Graduation in Automotive Engineering from UFSC and MBA in Project Management from FGV/Fundação Getulio Vargas. |
Maria de Fátima Mattiello Francisco |
Received the Ph.D. degree in Computinng Engineering from ITA (2009). Works in Space Systems Engineering projects, as a specialist in Ground Systems and Satellite Operation Concept; Verification and Validation of Software Intensive Systems. Manager of nanosatellite development projects at INPE in partnership with universities. Professor of the Post-Graduate Course in Space Engineering and Technology at INPE (CSE/ETE), in the areas of Model-Based Testing, Model-Based Engineering, Reliable Computing (Dependability) and Verification and Validation of Software-Intensive Systems, with an emphasis on real-time critical systems integration tests and empirical studies. She was the Coordinator of INPE's Regional Centers in the North, Northeast and South from Jan/2017 to Sep/2020. She has held the position of Coordinator of Teaching, Research and Extension (COEPE) since Nov/2020. |
Organizado por: Fátima Mattiello (INPE), Ana Ambrosio (INPE) e Celso Hirata (ITA)