A systematic mapping of semi-formal and formal methods in requirements engineering of industrial Cyber-Physical systems.
Farzana ZahidAwais TanveerMatthew M. Y. KuoRoopak SinhaPublished in: J. Intell. Manuf. (2022)
Keyphrases
- formal methods
- requirements engineering
- software engineering
- cyber physical systems
- requirements specification
- cyber physical
- software development
- goal oriented
- life cycle
- critical infrastructure
- safety critical
- artificial intelligence
- knowledge based systems
- development process
- cyber security
- model checking
- formal specification
- physical world
- requirements engineering process
- software requirements
- reverse engineering
- software systems
- real time
- embedded systems
- object oriented
- machine learning
- modeling language
- security requirements
- literature review
- business process
- real world