icyphy / ptIILinks
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
☆113Updated 2 weeks 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☆70Updated 3 years ago
- Open Source AADL2 Tool Environment☆49Updated this week
- ☆10Updated last month
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 5 months ago
- Intuitive concurrent programming in any language☆274Updated this week
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated last week
- Python for Capella☆65Updated 4 months ago
- Maestro a Co-Simulation Orchestration Engine☆21Updated last month
- Core OpenMETA Framework☆28Updated 2 years ago
- A Python 3 headless implementation of the Capella modeling tool.☆61Updated last week
- The front-end of the INTO-CPS tool chain☆21Updated last week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆44Updated last year
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago
- A Tool for Multi-Paradigm Modeling☆25Updated last year
- Massif is a Matlab Simulink Integration Framework for Eclipse☆20Updated last year
- Library of AADL models☆45Updated 11 months ago
- F Prime Prime: A modeling language for F Prime☆80Updated this week
- Cyber-Physical V&V Challenges for the Evaluation of State of the Art Model Checkers☆12Updated 5 years ago
- CAPD library☆14Updated 3 months ago
- Web-based Generic Modeling Environment☆166Updated 8 months ago
- Parallel and Real-time Embedded Executives Scheduling Method☆37Updated this week
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆33Updated 3 years ago
- Specification of System Structure and Parameterization (SSP)☆19Updated 3 months ago
- Modeling and simulation tool for continuous and hybrid systems.☆33Updated 2 months ago
- The main development version of the PRISM model checker.☆178Updated last week
- Main repository of the GreatSPN framework☆50Updated 3 months ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated last year
- This add-on allows importing a set of requirements from a ReqIF file☆22Updated 5 months ago
- Robotics with Ada, ARM, and Lego☆17Updated last year
- A third-party Simulink tool to generate FMUs from models using the C-API☆41Updated last year