Tool-suite commander cleanup and update - Githubissues

GaloisInc / BESSPIN-Tool-Suite

The core tool of the BESSPIN Framework.

Other

5 stars 2 forks source link

Tool-suite commander cleanup and update #1261

Closed podhrmic closed 2 years ago

podhrmic commented 3 years ago

TLDR; the purpose of this PR is to bring the demonstrator to a functional state without the hearbeat/system monitor feature.

Quick summary:

make tool-suite single-threaded for the purpose of Cyberphys mode
make tool-suite work on two separate computers with different targets (3xFreeRTOS, 3xDebian) at the same time
Add reset button to the infotainment
Massive code cleanup & performance improvements
Test suite for the kiosk/scenarios

Fixes #1064 #1262 #1253

podhrmic commented 2 years ago

Merging as is, as it addresses the issues mentioned.