Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
Tópicos
de interesse
Detalhes

Detalhes

  • Nome

    Ademar Aguiar
  • Cargo

    Coordenador de Centro
  • Desde

    01 novembro 1994
009
Publicações

2025

Requirements for Active Assistance of Natural Questions in Software Architecture

Autores
Lemos, D; Aguiar, A; Harrison, NB;

Publicação
CoRR

Abstract

2025

Scrum4DO178C: An Agile Process to Enhance Aerospace Software Development for DO-178C Compliance-A Case Study at Criticality Level A

Autores
Ribeiro, JEF; Silva, JG; Aguiar, A;

Publicação
IEEE ACCESS

Abstract
The development of safety-critical systems is heavily governed by domain-specific standards. In the aerospace industry, the DO-178C-Software Considerations in Airborne Systems and Equipment Certification-serves as the primary certification standard used by agencies such as the FAA and EASA to review and approve software-based systems. Although DO-178C aims to ensure system safety while providing evidence for certification, it does not prescribe a specific software development process, allowing flexibility for traditional Waterfall, Agile, or hybrid methods with appropriate adaptations for the aerospace context. This study proposes Scrum4DO178C, an Agile process based on Scrum, to meet the demanding requirements of aerospace software, including safety, robustness, reliability, and integrity. Scrum4DO178C introduces novel process enhancements specifically tailored to meet these criticality needs, while aligning with the standard. Unlike previous proposals that lack detail, this research presents a comprehensive, validated process applied in a real-world industry project at the highest criticality level (Level A - Catastrophic), offering insights beyond theoretical scenarios. The findings demonstrated that the Scrum4DO178C process improves project performance, allows frequent and manageable requirement changes, reduces Verification & Validation (V&V) effort, and increases efficiency while maintaining full compliance with DO-178C. The study also identifies areas for further improvement and suggests exploring the process in additional case studies, both within the aerospace industry and other domains with similarly stringent safety-critical requirements. Finally, it confirms that appropriate automation, namely for documentation production, is a central element to further improve the process.

2025

Agile Processes in Software Engineering and Extreme Programming - 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

Autores
Peter, S; Kropp, M; Aguiar, A; Anslow, C; Lunesu, MI; Pinna, A;

Publicação
XP

Abstract

2025

Agile Processes in Software Engineering and Extreme Programming - Workshops - XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

Autores
Marchesi, L; Goldman, A; Lunesu, MI; Przybylek, A; Aguiar, A; Morgan, L; Wang, X; Pinna, A;

Publicação
XP Workshops

Abstract

2024

ARTS EDUCATION, TECHNOLOGY, AND SOCIETY: REFLECTIONS ON THE COURSE UNIT FOR SOCIAL TRANSFORMATION FROM THE MASTER'S DEGREE IN VISUAL ARTS TEACHING

Autores
Assis, T; Ferreira, P; Aguiar, A;

Publicação
ICERI Proceedings - ICERI2024 Proceedings

Abstract