• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I.

Alexis A. AurandtPhillip H. JonesKristin Yvonne Rozier
Published in: NFM (2022)
Keyphrases
  • real time embedded systems
  • real time
  • cooperative
  • low cost
  • real time systems
  • high speed
  • fault diagnosis
  • normal operation
  • vision system
  • model checking
  • data acquisition
  • moving target