Weaving Agility in Safety-Critical Software Development for Aerospace: From Concerns to Opportunities.
J. Eduardo Ferreira RibeiroJoão Gabriel SilvaAdemar AguiarPublished in: IEEE Access (2024)
Keyphrases
- safety critical
- software development
- formal methods
- software systems
- software engineering
- embedded systems
- agile methods
- nuclear power plant
- safety analysis
- fault tolerant
- agent architecture
- case study
- development process
- regulatory requirements
- formal specification
- software architecture
- model checking
- software components
- software projects
- support systems
- artificial intelligence
- real time
- business process
- knowledge based systems
- requirements engineering
- object oriented
- reverse engineering
- data warehouse
- multi agent systems