Login / Signup

Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems.

Jens Braband
Published in: Applicable Formal Methods for Safe Industrial Products (2023)
Keyphrases
  • safety critical
  • safety analysis
  • formal methods
  • fault tolerant
  • embedded systems
  • nuclear power plant
  • support systems
  • agent architecture
  • adaptive systems
  • regulatory requirements
  • low cost
  • distributed systems