Data

Tools

Indexes

Applications

Experiments

Open Source Science

https://github.com/cpslabgu/furnacerelay

https://github.com/cpslabgu/furnacerelay

Science Score: 13.0%

This score indicates how likely this project is to be science-related based on various indicators:

  • ○
    CITATION.cff file
  • ✓
    codemeta.json file
    Found codemeta.json file
  • ○
    .zenodo.json file
  • ○
    DOI references
  • ○
    Academic publication links
  • ○
    Academic email domains
  • ○
    Institutional organization owner
  • ○
    JOSS paper metadata
  • ○
    Scientific vocabulary similarity
    Low similarity (6.7%) to scientific vocabulary
Last synced: 9 months ago · JSON representation

Repository

Basic Info
  • Host: GitHub
  • Owner: CPSLabGU
  • Default Branch: main
  • Size: 6.66 MB
Statistics
  • Stars: 0
  • Watchers: 1
  • Forks: 0
  • Open Issues: 0
  • Releases: 0
Created over 1 year ago · Last pushed over 1 year ago
Metadata Files
Readme

README.md

FurnaceRelay

This repository contains the source files for the FurnaceRelay example provided in Chapter 5 of my PhD. The folder structure contains the machine source files within FurnaceRelay.machine and images of the Kripke structure within the verification folder. . ├── FurnaceRelay.machine │   ├── data.dat │   ├── model.json │   └── output.json ├── README.md └── verification ├── graph.dot ├── graph.pdf ├── graph.png ├── graph.svg └── spec.tctl The FurnaceRelay.machine folder contains 3 files — data.dat, model.json, and output.json. The model.json file represents the user-input from the LLFSM editor and is the core source file that is modified during the machine design. The data.dat file represents the binary-encoded Kripke structure transferred from the FPGA, and output.json is the decoded form.

The verification folder contains visual representations of the Kripke structure defined in data.dat and output.json. You will find images called graph accross multiple respective image formats. The graph.dot file specifies the original image as a graphviz graph. Lastly, the spec.tctl shows a dummy specification written in TCTL which is then parsed and verified using the LLFSM Model Checker. You may perform the verification after installing the llfsm-verify binary via:

llfsm-verify --machine FurnaceRelay.machine verification/spec.tctl

Owner

  • Name: CPSLabGU
  • Login: CPSLabGU
  • Kind: organization

GitHub Events

Total
  • Push event: 2
  • Create event: 2
Last Year
  • Push event: 2
  • Create event: 2