{"id":19362647,"url":"https://github.com/imdea-software/dlola","last_synced_at":"2025-02-24T12:49:28.261Z","repository":{"id":79163168,"uuid":"187649056","full_name":"imdea-software/dLola","owner":"imdea-software","description":"Decentralized Stream Runtime Verification","archived":false,"fork":false,"pushed_at":"2019-06-11T12:03:56.000Z","size":230,"stargazers_count":1,"open_issues_count":0,"forks_count":0,"subscribers_count":7,"default_branch":"master","last_synced_at":"2025-01-06T20:32:37.404Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Go","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/imdea-software.png","metadata":{"files":{"readme":"README.md","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-05-20T13:46:29.000Z","updated_at":"2021-07-04T09:29:02.000Z","dependencies_parsed_at":"2023-05-24T00:00:10.771Z","dependency_job_id":null,"html_url":"https://github.com/imdea-software/dLola","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/imdea-software%2FdLola","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2FdLola/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2FdLola/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/imdea-software%2FdLola/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/imdea-software","download_url":"https://codeload.github.com/imdea-software/dLola/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240483782,"owners_count":19808632,"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-10T07:29:48.830Z","updated_at":"2025-02-24T12:49:28.233Z","avatar_url":"https://github.com/imdea-software.png","language":"Go","funding_links":[],"categories":[],"sub_categories":[],"readme":"# dLola\nDecentralized Stream Runtime Verification\n\n## Abstract of the related paper\n\nWe study the problem of decentralized monitoring of stream\nruntime verification specifications. Decentralized monitoring consists of\norganizing a monitoring activity to be performed by distributed components that communicate using a synchronous network,\na communication setting common in many cyber-physical systems like automotive CPSs.\nPrevious approaches to decentralized monitoring were restricted to LTL\nand similar logics whose monitors compute Boolean verdicts. We present\nhere an algorithm that solves the decentralized monitoring problem for\nthe more general setting of stream runtime verification. Additionally,\nour algorithm handles network topologies while previous work assumed\na network in which all nodes can communicate directly.\nOur algorithm is able to reach verdicts efficiently by exploiting simplifiers and advanced communication strategies.\nFinally, we present the results of an empirical evaluation of an implementation and compare\nthe expressive power and efficiency against state-of-the-art decentralized\nmonitoring tools like Themis.\n\n## Tool phases\nThis implementation in Go of Decentralized Lola consists logically in 5 phases:\n- Parsing the language.\n- Semantic checking (variables definitions and matching types).\n- Well-formed specification (which imply well-defined) see paper for further explanations.\n- Creation/definition of the topology and the placement of stream variables into monitors.\n- Execution of the decentralized stream runtime verification online algorithm.","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimdea-software%2Fdlola","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fimdea-software%2Fdlola","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fimdea-software%2Fdlola/lists"}