A Tool for Requirements Analysis of Safety-Critical Cyber-Physical Systems.
Freek van den BergBoudewijn R. HaverkortPublished in: MMB (2020)
Keyphrases
- safety critical
- requirements analysis
- cyber physical systems
- embedded systems
- goal oriented
- agent architecture
- formal methods
- fault tolerant
- intelligent agents
- low cost
- information systems
- artificial intelligence
- development process
- machine learning
- decision support
- software development
- knowledge intensive
- data analysis
- cyber security
- knowledge base