Open Source Resources

GitHub -  Bitbucket -  Zenodo

SONAR

2023

An Adaptive Control Architecture for SOcial Norm Aware Robots. SONAR (Python 3.9) is a robot-agnostic control architecture that provides social agents (incl. robots) the capability of autonomously identifying, learning, and acting upon the environmental and social norms, while they interact with humans. SONAR can be interfaced with MQTT-Nao-Interface to control a Nao robot.

A Python 2.7 resource for interfacing with a Nao robot via the MQTT lightweight machine-to-machine network protocol.

DDNR

2022

A Java implementation of DDNR, a Data-Driven Approach to Norm Revision in Normative Multi-Agent Systems. DDNR automatically synthesises (revisions of) conditional prohibitions with deadlines based on a dataset of traces describing the behavior of the agents in the system.

Python Notebooks for the execution of the ECSER Pipeline for Evaluating Classifiers in Software Engineering Research. The repository also contains the code of two replication studies (flaky tests classification from Hay et al., 2020, and functional/non-functional requirements classification from Alshammari et al., 2021), annotated meta-data of classification-related papers published in ICSE between 2019 and 2021, and 9 datasets of requirements.

EFS4SAR

2022

A prototypical python implementation of an architecture for creative long-term personalization of Socially Assistive Robots (SARs) combining fuzzy logic control and genetic algorithms via EFS4SAR (Evolving Fuzzy system for Socially Assistive Robots). The protoype allows a SAR to autonomously evolve, via genetic algorithms, the fuzzy rules that govern its interactions, and in particular the types of activities that the SAR can suggest and conduct together, with the patient. The evolutionary process allows to perform long-term personalization in a creative way.

Sim-2APL is an extention of the Java-2APL agent programming language that can be used for simulation. It allows to program BDI agents able to reason about and act according to their beliefs and goals and about the norms enforced by an external (to the agents) institution. Sim-2APL can be combined with PanSim, a distributed pandemic simulator, to realize large-scale agent-based epidemic simulations in a distributed setting.

Python Notebooks for the automated classification of functional and quality requirements based on linguistic features such as dependency types. The resource also contains 8 datasets of requirements (1500+ requirements).

SASS

2018

A prototype of framework for the Supervision of Autonomous Software Systems. The prototype can be used to simulate the runtime revision of requirements of a software system by means of an iterative hill climbing approach. Heuristics based on runtime data are employed by using a Bayesian Network.

An extension of the traffic simulator CrowdNav+RTX. The tool introduces additional features to the simulator, such as variations of the exhisting maps, an additional navigation service and the instrumentation of the simulator to monitor its requirements and objectives satisfaction.

MIMAMP

2016

A tool for intelligent support of the human operator in defining and solving multi-UAV planning problems and visualizing flight and sensor plans. The tool transparently performs action-based planning, employing PDDL-based general purpose automated planners.

MICOP

2013

A knowledge engineering tool for the generation, management and visualization of numeric PDDL plans