{"id":18422476,"url":"https://github.com/sri-csl/softagentsdiagnosis","last_synced_at":"2025-10-28T19:33:18.402Z","repository":{"id":137662419,"uuid":"164000134","full_name":"SRI-CSL/SoftAgentsDiagnosis","owner":"SRI-CSL","description":null,"archived":false,"fork":false,"pushed_at":"2022-08-12T23:56:01.000Z","size":4256,"stargazers_count":1,"open_issues_count":0,"forks_count":2,"subscribers_count":15,"default_branch":"master","last_synced_at":"2025-04-13T12:57:24.059Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/SRI-CSL.png","metadata":{"files":{"readme":"README.txt","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-01-03T16:57:59.000Z","updated_at":"2022-08-12T23:56:05.000Z","dependencies_parsed_at":null,"dependency_job_id":"2a98742e-7ed1-4b08-9e66-cb7f572b2ba0","html_url":"https://github.com/SRI-CSL/SoftAgentsDiagnosis","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2FSoftAgentsDiagnosis","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2FSoftAgentsDiagnosis/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2FSoftAgentsDiagnosis/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/SRI-CSL%2FSoftAgentsDiagnosis/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/SRI-CSL","download_url":"https://codeload.github.com/SRI-CSL/SoftAgentsDiagnosis/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248717275,"owners_count":21150389,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-06T04:30:21.107Z","updated_at":"2025-10-28T19:33:18.281Z","avatar_url":"https://github.com/SRI-CSL.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"This is the Maude implementation of the SoftAgent Framework for specification of autonomous cyberphysical agents.  The basic framework\nis extended with fault models and tools for detection and diagnosis.\nIt includes example case studies and diagnosis scenarios.\n\nDeviation is the implementation of the deviate tool that\nusing SMT constraint solving to compare events from and\nexecution to a protocol, looking for deviations.\n\nExample contains sample input for testing deviate.\n\nSA Directory structure\n  Documentation  \n  Lib     --- modules defining the framework \n  Models  --- specific SA models\n    --- each model defines model specific knowledge, tasks, \n    --- actions, constraint solver, scenarios\n    BotTeam   --- bots on a grid cooperating on a maintainence task\n    Drones    --- surveillance task\n    PatrolBot --- very simple example to explore ideas                 \n  Runs --- output from experiments, generated by scripts \n\n\nThe directory Documentation contains\n\noverview.txt    --- a brief overview of Soft Agents\nsadiagnosis.pdf --- a techreport describing the framework, \n                  --- fault models, \n                  --- detection and diagnosis algorithms and methods\n                  --- three case studies\nsamodules.txt   --- a summary of the framework modules, sorts, functions\n                --- and interface functions defined per model\nruns-notes.txt  --- describes the Runs directories \n                   --- the scenarios and script input files \nscript-notes.txt ---  describes the scripts used for partial automation\n                 ---  of detection and diagnosis \n                 ---  (to generate files )\n\n\nUsing the framework\n\nThe scenario.maude file in each model directory contains definitions\nof sample initial system configurations, including those used\nin the experiments recorded in Runs directories.   \nIn the model directory you can carry out your own experiments.\n\n% maude \u003cloadfile\u003e \n\nthen \n\nred \u003cinitState\u003e\nrew [n] \u003cinitState\u003e\nsearch [n] \u003cinitState\u003e =\u003e+ \u003cstatePattern\u003e \nsearch [n] \u003cinitState\u003e =\u003e+ \u003cstatePattern\u003e such that \u003cproperty\u003e\n\nYou can  cd Runs/\u003ccaseStudy\u003e\n\n./run_all.sh\n\nto repeat the experiments\n\nor \n\ndesign your own experiments\n\nOR\n\nyou can create your own model (in a new directory)\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsri-csl%2Fsoftagentsdiagnosis","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fsri-csl%2Fsoftagentsdiagnosis","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fsri-csl%2Fsoftagentsdiagnosis/lists"}