Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by HumanISE

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 4: VISAPP, Rome, Italy, February 27-29, 2024

Authors
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (4): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 3: VISAPP, Rome, Italy, February 27-29, 2024

Authors
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (3): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 2: VISAPP, Rome, Italy, February 27-29, 2024

Authors
Radeva, P; Furnari, A; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (2): VISAPP

Abstract

2024

Proceedings of the 19th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2024, Volume 1: GRAPP, HUCAPP and IVAPP, Rome, Italy, February 27-29, 2024

Authors
Rogers, TB; Méneveaux, D; Ziat, M; Ammi, M; Jänicke, S; Purchase, HC; Bouatouch, K; de Sousa, AA;

Publication
VISIGRAPP (1): GRAPP, HUCAPP, IVAPP

Abstract

2024

Report from the 14th International Workshop on Automating Test Case Design, Selection, and Evaluation (A-TEST 2023)

Authors
Faria, JP; Verbeek, F; Fasolino, AR;

Publication
ACM SIGSOFT Softw. Eng. Notes

Abstract

2024

Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities

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

Publication
IEEE ACCESS

Abstract
Domain-specific standards and documents heavily regulate safety-critical systems. One example is the DO-178C standard for aerospace, which guides organizations to achieve system safety and evidence for their certification. Under such regulated contexts, most organizations use traditional development processes, in contrast to the massive adoption of Agile in the software industry. Among other benefits, Agile methods promise faster delivery and better flexibility to address customer needs. Adopting Agile methods and practices are possible in aerospace because the DO-178C standard does not prescribe concrete software development methods. In spite of that, Agile development is not used in DO-178C contexts. To help change that, our research aims to understand whether and how organizations engineering safety-critical software systems for aerospace may benefit from Agile methods and practices. We analyzed the DO-178C standard and confirm that it is compatible with Agile methods. Then, we present a systematic literature mapping of adopting Agile in software development for aerospace, where we identified significant concerns, recurrent issues, and several challenges. Some real industry aerospace projects provided us with important data and the perspective of domain experts about the pros and cons of Agile methods in this context. We conclude by proposing an agenda of research opportunities to improve safety-critical software development towards agility that we consider worthy of further research, application and confirmation in wider contexts.

  • 1
  • 580