Sign in

A Runtime Verification Tool for Detecting Concurrency Bugs in FreeRTOS Embedded Software.

Sara Abbaspour AsadollahDaniel SundmarkSigrid EldhHans Hansson
Published in: ISPDC (2018)
Keyphrases
  • embedded software
  • software architecture
  • sequence diagrams
  • embedded systems
  • software systems
  • database systems
  • source code
  • development projects
  • information systems
  • case study