icyphy / ptIILinks
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
☆111Updated 2 years ago
Alternatives and similar repositories for ptII
Users that are interested in ptII are comparing it to the libraries listed below
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆69Updated 3 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 4 months ago
- Open Source AADL2 Tool Environment☆46Updated this week
- Intuitive concurrent programming in any language☆267Updated this week
- F Prime Prime: A modeling language for F Prime☆79Updated this week
- ☆10Updated last month
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 2 weeks ago
- Examples and case-study that use OSATE☆56Updated 4 months ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated last year
- Python for Capella☆66Updated 2 months ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated last month
- A Tool for Multi-Paradigm Modeling☆24Updated 11 months ago
- Maestro a Co-Simulation Orchestration Engine☆21Updated 2 weeks ago
- Modeling and simulation tool for continuous and hybrid systems.☆33Updated 3 weeks ago
- The OpenModelica FMI & SSP-based co-simulation environment.☆83Updated 2 months ago
- A circuit toolkit☆105Updated 5 years ago
- Toolset to capture, simulate, synthesize and verify graph models☆67Updated this week
- The front-end of the INTO-CPS tool chain☆21Updated 2 weeks ago
- Virtual Satellite Core - Baseline Framework and IDE Tools☆38Updated 3 months ago
- A Python 3 headless implementation of the Capella modeling tool.☆59Updated this week
- Specification of System Structure and Parameterization (SSP)☆18Updated last month
- Library of AADL models☆45Updated 9 months ago
- Library for rigorous verification of non-linear arithmetic☆115Updated last year
- Core OpenMETA Framework☆28Updated 2 years ago
- Simulate circuits and sketches on a virtual Arduino Uno in Modelica☆47Updated 2 years ago
- mirror of ngspice repo at git://git.code.sf.net/p/ngspice/ngspice ngspice-ngspice☆220Updated this week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 3 weeks ago
- CUDD Decision Diagram Package☆142Updated 3 weeks ago