Model-Driven approach to Integrate Requirements for Safety-Critical Systems.

Khushbakht Iqtidar Farooque Azam Muhammad Waseem Anwar Anam Amjad

Published in: ICCCM (2019)

Keyphrases

safety critical
formal methods
regulatory requirements
safety analysis
fault tolerant
embedded systems
support systems
nuclear power plant
agent architecture
real time
control system
artificial intelligence
open source
distributed systems
intelligent systems
learning systems
knowledge base
decision making