Getting Started
Installation Requirements
- Java Java11 or a newer version is needed.
- Eclipse-Xtext for DSL usage and development.
- FDR4 to run validation for rule conflict and redundancy.
Demonstration video
Case Study Models
Assisted Dressing
The an assistive dressing robot needs to dress a user with physical impairments with a garment such as an overcoat by performing an interactive process that involves finding the garment, picking it, and placing it over the user's arms and torso. This type of robot contains a suite of sensors that, for example, can track the user's motion and identify his or her posture, and actuators that allow the interaction with the user.
Firefighter Drone
Firefighter drone's model identifies 21 robotic-platform services (i.e., capabilities) corresponding to sensors, actuators, and an embedded software library of the platform. We consider scenarios in which the firefighter drone interacts with several stakeholders: human firefighters, humans affected by a fire, and teleoperators.
