Topic: "model-based-development"
ctlst-tech/uas-catpilot
CatPilot is a hardware and OS agnostic drone's autopilot software stack. It is designed for faster creation of scalable distributed control systems for mission-critical applications. (UAS-CatPilot repo is a upper lever repo for sharing configurations for UAVs)
Language: Python - Size: 1.95 MB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 44 - Forks: 2

borisRadonic/ToolboxR
Discrete Time C++ Modeling Library
Language: C++ - Size: 1.1 MB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 30 - Forks: 5

ctlst-tech/c-atom
Model-based driven real-time embedded software framework for safety-critical and mission-critical application
Language: C - Size: 675 KB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 25 - Forks: 0

ctlst-tech/catpilot
CatPilot is a hardware and OS agnostic drone's autopilot software stack. It is designed for faster creation of scalable distributed control systems for mission-critical applications.
Language: C - Size: 7.32 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 17 - Forks: 0

juli1/aadl-book
Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
Language: Java - Size: 28.3 KB - Last synced at: about 2 months ago - Pushed at: almost 8 years ago - Stars: 12 - Forks: 2

McSCert/Model-Comparison-Utility
Matlab command-line functions for supporting Simulink model comparison
Language: MATLAB - Size: 7.9 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 0

McSCert/Simulink-Module
Support for modular development with Simulink models
Language: MATLAB - Size: 6.83 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 7 - Forks: 0

juli1/emfta
EMF-based Fault-Tree Analysis Tool
Size: 174 MB - Last synced at: about 1 month ago - Pushed at: about 9 years ago - Stars: 7 - Forks: 25

mehecip/mbd
C++ Model/Node Based Development/Engineering Library
Language: C++ - Size: 194 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1

gwagner57/OEMjs
A JS library for low-code app development, based on business object, event and activity classes defined with property ranges and other property constraints. OEMjs allows building business apps quickly without boilerplate code for user interfaces, constraint validation and data storage management.
Language: JavaScript - Size: 2.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 0

McSCert/Signature
Extracts the interface of a Simulink subsystem
Language: MATLAB - Size: 3.74 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 3 - Forks: 0

ODU-CGA-CubeSat/sealion-mission-architecture
SeaLion Mission Architecture - ground station & flight software architecture for the joint CubeSat mission between Old Dominion University & Coast Guard Academy
Language: Shell - Size: 27.8 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 10

303adastra/stellardynamics
An application for operating motor-controlled clock-drive systems for tracking celestial objects
Language: Smalltalk - Size: 5.4 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

McSCert/LineToGotoFrom
Convert signal lines to Goto/From connections, and vice versa in Simulink
Language: MATLAB - Size: 4.14 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

McSCert/Simulink-Design-Documenter
Generates Software Design Descriptions of Simulink models
Language: MATLAB - Size: 28 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 1

McSCert/Auto-Layout
Automatically improve the layout of Simulink models
Language: MATLAB - Size: 5.83 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 2 - Forks: 0

McSCert/Flatten-Subsystem
Automatically flatten a Simulink subsystem
Language: MATLAB - Size: 706 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

git-afsantos/feature-model-editor
Web tool to create and edit feature models
Language: TypeScript - Size: 386 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

MeghanPokorski/Engineering-Hours-Estimator
This model is intended to be used to more accurately estimate the effort required to complete model based development (MBD) activities.
Language: Jupyter Notebook - Size: 537 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

contractautomataproject/CARE
A runtime environment for implementing applications specified via Contract Automata
Language: Java - Size: 8.1 MB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0

omerfaruktekin13/HybridCarModelMATLABSimulinkSimscape
Hybrid Car Model MATLAB Simulink Simscape
Size: 2.41 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

rh122/rh122.github.io
Graph Transformation for Software Engineers (GT4SE)
Size: 790 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

McSCert/Data-Store-Rescope
Rescopes Simulink data stores (formerly the Data Store Push-Down Tool)
Language: MATLAB - Size: 3.31 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

McSCert/Simulink-Logic-Simplifier
Automatically simplify Simulink designs
Language: MATLAB - Size: 2.43 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

McSCert/Reach-Coreach
Highlights data/control flow dependencies in Simulink models and performs model slicing
Language: MATLAB - Size: 2.82 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

john-fotis/Vaccination-Monitor-Lockdown-1
Vaccination monitor application & Vaccination records bash-script generator
Language: C++ - Size: 1.29 MB - Last synced at: 9 days ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
