Search Results for "simulation software"
Sort By:
Showing 2 open source projects for "simulation software"
View related business solutions-
Our robust pre-built connectors and our no-code, drag-and-drop interface makes it easy and fast to automatically sync vendors, invoices, and invoice payment data between Tipalti and your ERP or accounting software.
-
Chat with your business data with Looker. More than just a modern business intelligence platform, you can turn to Looker for self-service or governed BI, build your own custom applications with trusted metrics, or even bring Looker modeling to your existing BI environment.
-
1
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
2
amici
AMICI enables real-time execution of cyber-physical models (Simulink)
AMICI, the Assessment platform for Multiple Interdependent Critical Infrastructures, simplifies and boosts experimentation with cyber-physical systems. AMICI enables the real-time execution of physical process models developed in Matlab Simulink, in a way that they can interact with real cyber systems, e.g., ad-hoc software or even real malware. The simulated physical models may come from a wide range of domains, e.g., power generation, power transmission, railway transportation, chemical...
- Previous
- You're on page 1
- Next