Pattern-Based Information Flow Control for Safety-Critical On-Chip Systems.

Tobias Dörr Florian Schade Jürgen Becker

Published in: SAFECOMP (2023)

Keyphrases

safety critical
embedded systems
safety analysis
formal methods
low cost
fault tolerant
nuclear power plant
agent architecture
adaptive systems
artificial intelligence
decision making
ambient intelligence
support systems