Login / Signup

Introducing a Component Technology for Safety Critical Embedded Real-Time Systems.

Kristian SandströmJohan FredrikssonMikael Åkerholm
Published in: CBSE (2004)
Keyphrases
  • safety critical
  • embedded systems
  • embedded real time systems
  • support systems
  • formal methods
  • safety analysis
  • fault tolerant
  • agent architecture
  • case study
  • database
  • low cost
  • data model
  • learning systems