manufacturing free download

Showing 4 open source projects for "manufacturing"

View related business solutions

Embedded Systems Java Clear Filters & Widen Search

MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.

MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.

Start Free
Host LLMs in Production With On-Demand GPUs
NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.

Start Free
1

autoCode4

Synthesizing embedded control software from formal specifications

autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...

Downloads: 0 This Week

Last Update: 2016-10-20
See Project
2

MGSyn

MGSyn - Automatic Synthesis for Industrial Automation

MGSyn (Model, Game, Synthesis) is an open-source tool which integrates game-based synthesis into model-driven development for industrial control and automation. It is served for research and educational purposes. MGSyn has been originally developed by Department of Informatics (Unit 6), TU München and fortiss GmbH and is now maintained by fortiss GmbH. The software is released under the GNU General Public License Version 3.0 (GPLv3). Please download the tutorial for step-by-step...

Downloads: 0 This Week

Last Update: 2016-10-19
See Project
3

openAut

Open Source Hardware For Industrial Automation

This project is aimed at producing open source hardware for real time use in industrial automation. This project will have a few sub-projects that will focus on individual hardware for various industrial purpose. Some of the sub-projects will be of type Field-IO Modules development, Analog-IO Module development etc.

Downloads: 0 This Week

Last Update: 2014-12-21
See Project
4

Model-Driven Automation

Model-Driven Embedded Systems Design Environment for the Industrial Automation Sector: The aim of this open source initiative is to provide a multi-domain model-driven embedded systems design approach for Industrial Automation and Control Systems.

Downloads: 0 This Week

Last Update: 2015-11-19
See Project
Paessler - Monitor Your Whole Network in Minutes
Auto-discovery finds your devices and deploys pre-configured sensors instantly. No project plan required, just visibility from day one.

Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.

Start Free 30-Day Trial