Skip to content

SystemsCyber/LangSec-SysML-Prototype

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

14 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

LangSec-SysML-Prototype

This repository provides a rudimentary proof of concept (PoC) of the feasibility of using SysML models in Cameo to define message grammars and automatically generate secure parsers using ANTLR. It follows the LANGSEC principle of making input structure explicit, verifiable, and machine-readable. Further testing for a ROS1 project is also being integrated. The current ROS deployment includes ROS integration on a BeagleBone Black, enabling integration with J1939/CAN networks as a basic parser for command and request messages.

PoC for J1939TP Grammar Rule Extractor and Parser Generation and Testing

Screen.Recording.2026-04-03.173223.mp4
Screen.Recording.2026-04-03.185554.mp4

About

Generate secure, model-driven parsers from SysML definitions using Cameo, Jython, and ANTLR

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Contributors

Languages