The current version of CPSGrader is 0.1 (released Nov 2014). The download consists of a single 40 MB zip archive.
The only requirement to build the CPSGrader library is a modern C++ compiler.
An access to the development version of CPSGrader is available upon request to the developpers. Please contact us.
CPSGrader comes with a virtual lab that allows students to test programmed robots using the Gazebo simulator running on the Robot Operating System (ROS). Different test environments can be created using the scenario specification language Scenic and different runtime monitors for evaluating and debugging the solutions can be defined in MTL using the pyMTL tool and the discrete signals library. More on how to install and execute the simulator and monitors can be found on the Getting Started page.Access to the VM image of the virtual lab:
Building the CPSGrader library from sources is currently based on Makefiles and the only requirement is a modern C++ compiler.
CPSGrader download comes with CyberSim -- a robotics simulator based on NI LabView Robotics which was used in the MOOC EECS149.1x on edX. Using CyberSim only requires a computer (or Virtual Machine) running Windows OS.
Uncompressing the archive should create the following folders and files:
- README.md: Instruction on installation and getting started. - STLDriver/ CPSGrader main source code and library - Simulators/ Folders with various simulators or simulator interfaces for CPSGrader - Simulators/CPSFileGrader A simple program using CPSGrader library with trace files - Simulators/EECS149lab Simulator (CyberSim) and material used for EECS149 on-campus and MOOC offerings
STLDriver and type
make. This will create
STLDriver/lib/libcpsgrader.a (or a bunch of error messages, in which case
you'd be well advised to contact us).
make. This will create a binary called CPSFileGrader (or a bunch of errors etc).
./CPSFileGrader grading_nav_hill.stl. Note that if everything went well, this will create a file named
test_log.txt. Compare this with
traces/0001/test_log.txt. If the results are consistent, CPSGrader is working as intended.
If you run into any issues during installation, please contact us and we will respond as soon as possible.