search

meta-control / mc_mros_reasoner

library for metacontrol-based self-adaptation using ontological reasoning, with wrappers for robotic systems based on ROS1 and ROS2
Apache License 2.0
7 stars 10 forks source link

Replace meetNFR method for SWRL rules #145

Open Rezenders opened 1 year ago

Rezenders commented 1 year ago

The method meetNFR requires that a rule is inserted for all quality attribute types, this is not optimal. This method can be replaced by SWRL rules.

The rules that are used to set the objective status to be in IN_EROR_FR when a FG is not meeting the requirements could be used to add fds that do not meet the requirements to fd_error_log or set availability to false