McSCert

All

16 repositories

SLIME
Public
State Learning in the Middle of Everything
Python
•
GNU General Public License v3.0
•0•1•0•0•Updated Sep 10, 2024Sep 10, 2024
SysML-to-AUTOSAR
Public
Rhapsody M2M transformation from SysML to AUTOSAR
Java
•0•0•0•0•Updated Mar 13, 2024Mar 13, 2024
Simulink-Utility
Public
MATLAB utility functions for the McSCert Simulink tool suite
utility utility-library matlab-script simulink simulink-utility
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•1•12•1•0•Updated Jul 28, 2022Jul 28, 2022
Model-Comparison-Utility
Public
Matlab command-line functions for supporting Simulink model comparison
diffing model-based-development phd-project model-comparison comparison-tool simulink-toolbox mathworks-matlab-scripts simulink
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•11•2•0•Updated Apr 3, 2022Apr 3, 2022
Flatten-Subsystem
Public
Automatically flatten a Simulink subsystem
refactoring simulink flattening model-transformations model-based-development simulink-toolbox
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•1•0•0•Updated Mar 17, 2022Mar 17, 2022
Data-Store-Rescope
Public
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
refactoring model-transformations model-based-development dataflow-analysis simulink-toolbox simulink
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•1•0•0•Updated Mar 17, 2022Mar 17, 2022
LineToGotoFrom
Public
Convert signal lines to Goto/From connections, and vice versa in Simulink
refactoring model-transformations dataflow-structure model-based-development simulink-toolbox simulink
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•7•0•0•Updated Mar 17, 2022Mar 17, 2022
Signature
Public
Extracts the interface of a Simulink subsystem
simulink model-transformations model-based-development simulink-toolbox
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•1•8•0•0•Updated Mar 17, 2022Mar 17, 2022
C2Flowchart
Public
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•1•1•0•Updated Mar 17, 2022Mar 17, 2022
Simulink-Design-Documenter
Public
Generates Software Design Descriptions of Simulink models
documentation-tool documentation-generator model-based-development simulink-toolbox simulink
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•2•6•1•1•Updated Mar 17, 2022Mar 17, 2022
Simulink-Logic-Simplifier
Public
Automatically simplify Simulink designs
refactoring model-transformations model-based-development simulink-toolbox simulink
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•2•0•0•Updated Mar 17, 2022Mar 17, 2022
Auto-Layout
Public
Automatically improve the layout of Simulink models
formatting autolayout simulink model-transformations graph-visualization model-based-development simulink-toolbox
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•1•6•0•0•Updated Mar 17, 2022Mar 17, 2022
Obfuscate-Model
Public
Obfuscate the contents of a Simulink model
obfuscation simulink model-transformations simplify privacy-protection anonymization simulink-toolbox data-anonymity
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•3•2•1•0•Updated Jan 18, 2022Jan 18, 2022
Simulink-Module
Public
Support for modular development with Simulink models
module interface decomposition software-engineering research-tool simulink modularity information-hiding model-based-development phd-project
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•1•13•0•0•Updated Jan 18, 2022Jan 18, 2022
Reach-Coreach
Public
Highlights data/control flow dependencies in Simulink models and performs model slicing
simulink model-slicing model-based-development dataflow-analysis simulink-toolbox
MATLAB
•
BSD 3-Clause "New" or "Revised" License
•0•0•0•0•Updated Jan 11, 2022Jan 11, 2022
Intersection-Navigation-and-Path-Estimation
Public
An extension of the MathWorks Automated Driving toolbox to support directed graph creation, path estimation, and vehicle to vehicle communication.
navigation path-planning autonomous-car simulink autonomous-driving vehicle-to-vehicle
MATLAB
•
MIT License
•0•1•1•0•Updated Nov 11, 2021Nov 11, 2021