https://github.com/clearsy/system-monitoring
Support for the article "Use of certified industrial tools for formal analysis and monitoring of Communications-Based Train Control Systems"
Science Score: 26.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
Found .zenodo.json file -
○DOI references
-
○Academic publication links
-
○Academic email domains
-
○Institutional organization owner
-
○JOSS paper metadata
-
○Scientific vocabulary similarity
Low similarity (10.9%) to scientific vocabulary
Repository
Support for the article "Use of certified industrial tools for formal analysis and monitoring of Communications-Based Train Control Systems"
Basic Info
- Host: GitHub
- Owner: CLEARSY
- Default Branch: main
- Size: 132 KB
Statistics
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
- Releases: 0
Metadata Files
README.md
system-monitoring
This repository contains supporting material for the article "Use of certified industrial tools for formal analysis and monitoring of Communications-Based Train Control Systems" submitted to RSSRail2025, which describes a methodology for formally analysing and monitoring CBTC (Communications-Based Train Control) systems using the CLEARSY Safety Platform (CSSP) — a set of certified industrial tools tailored for safety-critical applications.
About the Methodology
The methodology introduced in the article enables the formal specification, testing, and runtime monitoring of CBTC safety requirements by reusing B specifications developed using the Atelier B toolchain.
It provides: - Strong traceability between requirements, specifications, and tests. - Continuous monitoring of system behavior based on formalized safety properties. - A lightweight integration into CBTC systems without altering their architecture.
The approach builds upon existing certified assets, ensuring deployability and certifiability, and leverages the CSSP to enforce safety properties both during testing and operation.
Repository Contents
This repository includes: - 🧠 B Projects (.arc files): Formal models developed in Atelier B, directly usable with the CSSP. - The abstract machine logic and the implementation logic_i contain the specification used in the article. - These examples mirror the case study presented in the paper. - 🛠 Installer for the latest version of the CLEARSY Safety Platform (not yet publicly available on the CLEARSY website). - Provided here for reviewers and replicability purposes.
📄 Note: A detailed explanation of the methodology and its rationale can be found in the article. The case study presented in the models illustrates how CBTC system safety requirements can be specified and monitored using the CSSP.
Shield: 
This work is licensed under a Creative Commons Attribution 4.0 International License.
Owner
- Name: CLEARSY
- Login: CLEARSY
- Kind: organization
- Email: contact@clearsy.com
- Location: CLEARSY
- Website: https://www.clearsy.com/
- Repositories: 2
- Profile: https://github.com/CLEARSY
CLEARSY Systems Engineering
GitHub Events
Total
- Push event: 5
Last Year
- Push event: 5