A Methodology for Developing a Verifiable Aircraft Engine Controller from Formal Requirements.
Matt LuckcuckMarie FarrellOisín SheridanRosemary MonahanPublished in: CoRR (2021)
Keyphrases
- software requirements
- requirements specification
- control system
- requirements engineering
- real time
- closed loop
- formal model
- requirements analysis
- neural network
- process management
- development lifecycle
- feedback control
- functional requirements
- control algorithm
- case study
- information systems
- pid controller
- design methodology
- user requirements
- operating conditions
- control method
- control strategy
- development process
- life cycle
- software engineering