System and contract examples for the ACTIVE tool.
- active-demo: a small aircraft system with analyses from this paper. Instantiate a system implementation in aircraft.aadl and run ACTIVE on the instance.
- collision_detection_aadl: a self-driving car with a collision detection system. Available in a separate repository.