Search Results for "classroom control software"

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...

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 instructions on installing and using the tool. ...

The Tumanako Project is an Open Source development effort to produce Open Source hardware and software to drive and recharge electric vehicles. Tumanako is Māori for hope & togetherness.

Enjekt! is a unique Java/C based fuel injection system for aircooled Volkswagens. Enjekt! uses software models to control fuel injection instead of relying static look up tables.