https://github.com/sri-csl/softagentsdiagnosis

https://github.com/sri-csl/softagentsdiagnosis

Last synced: about 1 month ago
JSON representation

• Host: GitHub
• URL: https://github.com/sri-csl/softagentsdiagnosis
• Owner: SRI-CSL
• Created: 2019-01-03T16:57:59.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2022-08-12T23:56:01.000Z (almost 3 years ago)
• Last Synced: 2025-04-13T12:57:24.059Z (about 1 month ago)
• Language: Python
• Size: 4.06 MB
• Stars: 1
• Watchers: 15
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.txt

Awesome Lists containing this project

README

        
This is the Maude implementation of the SoftAgent Framework for specification of autonomous cyberphysical agents.  The basic framework

is extended with fault models and tools for detection and diagnosis.

It includes example case studies and diagnosis scenarios.

Deviation is the implementation of the deviate tool that

using SMT constraint solving to compare events from and

execution to a protocol, looking for deviations.

Example contains sample input for testing deviate.

SA Directory structure

  Documentation  

  Lib     --- modules defining the framework 

  Models  --- specific SA models

    --- each model defines model specific knowledge, tasks, 

    --- actions, constraint solver, scenarios

    BotTeam   --- bots on a grid cooperating on a maintainence task

    Drones    --- surveillance task

    PatrolBot --- very simple example to explore ideas                 

  Runs --- output from experiments, generated by scripts 

The directory Documentation contains

overview.txt    --- a brief overview of Soft Agents

sadiagnosis.pdf --- a techreport describing the framework, 

                  --- fault models, 

                  --- detection and diagnosis algorithms and methods

                  --- three case studies

samodules.txt   --- a summary of the framework modules, sorts, functions

                --- and interface functions defined per model

runs-notes.txt  --- describes the Runs directories 

                   --- the scenarios and script input files 

script-notes.txt ---  describes the scripts used for partial automation

                 ---  of detection and diagnosis 

                 ---  (to generate files )

Using the framework

The scenario.maude file in each model directory contains definitions

of sample initial system configurations, including those used

in the experiments recorded in Runs directories.   

In the model directory you can carry out your own experiments.

% maude  

then 

red 

rew [n] 

search [n]  =>+  

search [n]  =>+  such that 

You can  cd Runs/

./run_all.sh

to repeat the experiments

or 

design your own experiments

OR

you can create your own model (in a new directory)