Research on Formal Modeling of Safety Requirements for Airborne Electronic Warfare Software.
Jiankun XuLingling ZhengJunhu LiWentao WangPublished in: SAFEPROCESS (2023)
Keyphrases
- requirements specification
- requirements engineering
- safety critical
- software systems
- modeling language
- formal methods
- software development
- reactive systems
- case study
- development lifecycle
- dynamic aspects
- real time systems
- software tools
- software requirements
- knowledge management
- knowledge sharing and reuse
- software maintenance
- formal models
- software architecture
- test cases
- control unit
- source code
- commercial off the shelf
- e learning