This repository contains all the relevant files, and my solutions to the individual assignments done in the course. The language and frameworks used were Lustre, Heptagon, Yakindu State Charts, Embedded C, Arduino IDE. This repository also contains the files of Team Sariro's implementation of the model-based-design of the finite state automation for the valet parking problem statement
- Rohan Rajesh Kalbag
- Sankalp Bhamare
- Rishabh Ravi
- bash to compress to tar.gz
tar -czvf foldername.tar.gz foldername
- simulate heptagon node
simulate.sh -s nodename -p filename.ept