icyphy / ptII
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
☆103Updated last year
Alternatives and similar repositories for ptII:
Users that are interested in ptII are comparing it to the libraries listed below
- Massif is a Matlab Simulink Integration Framework for Eclipse☆19Updated 10 months ago
- Open Source AADL2 Tool Environment☆41Updated 3 months ago
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆41Updated 5 months ago
- Examples and case-study that use OSATE☆56Updated 4 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆67Updated 2 years ago
- Python client software for the Systems Modeling API.☆40Updated 3 years ago
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆129Updated this week
- Library of AADL models☆42Updated 3 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 7 years ago
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆140Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last month
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 8 years ago
- Python for Capella☆55Updated last week
- The front-end of the INTO-CPS tool chain☆19Updated 3 months ago
- Modeling and simulation tool for continuous and hybrid systems.☆30Updated 3 weeks ago
- Recipes for using the SysML v2 API☆36Updated 2 months ago
- ☆50Updated 8 years ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 7 months ago
- This add-on allows importing a set of requirements from a ReqIF file☆19Updated 5 months ago
- ☆19Updated last year
- Maestro a Co-Simulation Orchestration Engine☆20Updated last week
- Create docker image for running SysMLv2 with Jupyter☆29Updated 3 months ago
- Parallel and Real-time Embedded Executives Scheduling Method☆36Updated this week
- Proof-of-concept pilot implementation for the Systems Modeling API and Services.☆49Updated last month
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 years ago
- Repository for the HARDENS project☆21Updated 2 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆24Updated this week
- Website of System Structure and Parameterization (SSP) of components for virtual system design standard☆14Updated last month
- GUI for running the SPIN model checker☆17Updated 2 years ago