icyphy / ptIILinks
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
☆112Updated last week
Alternatives and similar repositories for ptII
Users that are interested in ptII are comparing it to the libraries listed below
Sorting:
- Intuitive concurrent programming in any language☆271Updated this week
- Open Source AADL2 Tool Environment☆47Updated 2 weeks ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 5 months ago
- ☆10Updated 2 weeks ago
- Examples and case-study that use OSATE☆56Updated 5 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆69Updated 3 years ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- A Tool for Multi-Paradigm Modeling☆25Updated last year
- CUDD Decision Diagram Package☆142Updated last month
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Updated last year
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆35Updated 2 years ago
- Python for Capella☆66Updated 3 months ago
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- Toolset to capture, simulate, synthesize and verify graph models☆67Updated this week
- F Prime Prime: A modeling language for F Prime☆79Updated this week
- Main repository of the GreatSPN framework☆50Updated 2 months ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last month
- Patmos is a time-predictable VLIW processor, and the processor for the T-CREST project☆145Updated last month
- The Git repository for the mCRL2 toolset.☆99Updated this week
- Library of AADL models☆44Updated 10 months ago
- Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models☆46Updated last year
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆24Updated 7 years ago
- Automated Analysis Framework for Simulink/Stateflow models.☆54Updated 3 months ago
- A time-predictable processor for mixed-criticality systems☆59Updated 10 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆83Updated this week
- Specify and synthesize systems using symbolic algorithms☆50Updated 10 months ago
- Core OpenMETA Framework☆28Updated 2 years ago
- netlistDB - Intermediate format for digital hardware representation with graph database API☆31Updated 4 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆25Updated this week