icyphy / ptII
Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
☆101Updated last year
Related projects ⓘ
Alternatives and complementary repositories for ptII
- Open Source AADL2 Tool Environment☆39Updated 2 weeks ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- DARPA's Cyber Assured Systems Engineering (CASE) project named Verification Evidence and Resilient Design in Anticipation of Cybersecurit…☆40Updated 2 months ago
- Examples and case-study that use OSATE☆56Updated 3 years ago
- JKind - An infinite-state model checker for safety properties in Lustre☆52Updated 2 weeks ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆60Updated this week
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Pono: A flexible and extensible SMT-based model checker☆80Updated 2 weeks ago
- SysON: web-based graphical modelers for SysMLv2. Please visit https://mbse-syson.org and contact Obeo https://www.obeosoft.com/en/contact…☆106Updated this week
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆24Updated 7 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆66Updated 2 years ago
- Create docker image for running SysMLv2 with Jupyter☆26Updated 2 weeks ago
- ☆33Updated 5 years ago
- Reads a state transition system and performs property checking☆76Updated this week
- Library of AADL models☆43Updated this week
- Proof-of-concept pilot implementation of the SysML v2 textual notation and visualization☆127Updated this week
- Specification and Analysis for Requirements Tool☆20Updated 3 years ago
- CoreIR Symbolic Analyzer☆61Updated 4 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆22Updated 4 months ago
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- ☆20Updated last year
- KTH's Timed C compiler☆19Updated 2 years ago
- Multi-engine SMT-based automatic model checker for safety properties of Lustre programs☆86Updated last month
- KIELER Lightweight Diagams☆35Updated this week
- GUI for running the SPIN model checker☆15Updated last year
- Intuitive concurrent programming in any language☆238Updated this week
- ATL and Acceleo based transformation from SysML to Modelica☆20Updated 7 years ago
- Eclipse Modeling Framework for C++☆45Updated 3 years ago
- Python client software for the Systems Modeling API.☆38Updated 3 years ago
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆20Updated 6 years ago