iStar for Safety-Critical Systems.

Moniky Ribeiro Jaelson Castro João Pimentel

Published in: iStar@ER (2019)

Keyphrases

safety critical
formal methods
safety analysis
embedded systems
support systems
agent architecture
fault tolerant
regulatory requirements
nuclear power plant
learning systems
distributed systems
adaptive systems
cooperative
load balancing
decision support
low cost
multi agent systems
multi agent