Login / Signup

Shared-Memory-Based Lock-Free Queues: The Key to Fast and Robust Communication on Safety-Critical Edge Devices.

Michael PöhnlChristian EltzschigTobias Blass
Published in: CPS-IoT Week Workshops (2023)
Keyphrases
  • safety critical
  • embedded systems
  • safety analysis
  • fault tolerant
  • formal methods
  • nuclear power plant
  • agent architecture
  • knowledge base
  • multi agent
  • software engineering
  • low cost
  • support systems