Search Results for "model-builder"

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.

Controlling Model Railroad via Networks "Lanbahn" Concepts - intelligent end devices - all with a network, wlan or other sophisticated interface. - can be operated without a central station - no complex binary protocols - communications via multicast UDP messages - decoders can advertise their capabilities via zeroconf/avahi/bonjour protocol

JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. ...

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.