Search Results for "classroom control software"

For C (and CPP obviously): Include a fast and tiny RAM-tracing feature for Real-Time (RT) debugging purposes. >> ONLY FOR DEBUGGING << Very much faster than printf-debugging, which may result in unforseen results in an RT environement.

Our take on a basic window manager for Linux which adheres to the philosophy of "do one thing and do it well." As a result, this window manager only manages windows and does not provide any supervision at all. Instead it relies on another program, such as wbar or web.de, to actually provide that functionality. And in order to keep administration to a minimum, there is only one config file that can be manipulated to change the appearance of the window chrome using css styled syntax.

This is a small library that allows comunicating with a Webasto (tm) W-Bus capable car heating system. Runs on Personal Computers or for embedded devices (slim design). Easily portable. Includes a Heater manager, heater controller program and more. The GIT repository (CVS is deprecated) also includes a control unit application to control W-Bus capable devices, a W-Bus compatible heater unit firmware application and a heater simulator for testing purposes. Also, a serial port loop back...

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 Hydroponic Automation Platform Initiative (HAPI) develops and provides hardware and software components for automating food production using hydroponic, aquaponics, and precision agriculture techniques. High-yield production in urban settings is one of the primary goals. Artifacts include hardware design (mainly Arduino-based), firmware, management software and reporting modules.

The Dragon Fire compiler takes a new, 21st century, look at the Dragon (i.e. Dragon Book). No longer impenetrable to the programmer, this compiler is open and available to them. You control the Dragon, and get Dragon insight into your programs.

Have you ever tried to control a self developed vehicle with your PC? This Project provides a GUi Controll, the schematics for the on board electroninc (including the xbee host) and the atmega 32 / 644 / 2550 software to get things work together.