mySQM powered by Arduino Nano
A sky quality meter based on TLS237 and Arduino Nano. (c) Copyright Robert Brown 2014-2018. All Rights Reserved. YOU MAY NOT SELL CONTROLLERS OR PCB's BASED ON THIS PROJECT to anyone without express written permission granted from the author. Schematics, Code, Firmware, Ideas, Applications, Layout are protected by International Copyright Law. Permission is NOT granted to any person to redistribute, market, manufacture or sell the mySQM products, ideas, PCB's, circuits, builds, variations and units described or discussed herein or on this site. Permission is granted for personal and Academic use only. THIS MEANS THAT YOU CANNOT RE-DESIGN AND MAKE AVAILABLE KITS OR PCB BASED ON THIS PROJECT AND OFFER THOSE KITS FOR SALE TO OTHERS. THAT IS A BREACH OF COPYRIGHT. Code or portions of code may not be copied or used without appropriate credit given to author.
Bootloader for STM32, XMC, HCS12 and other microcontroller targets.
OpenBLT is mostly used as an STM32 bootloader, due to the popularity of STM32 microcontrollers. However, the bootloader’s architecture is such that it can work with any microcontroller and use any type of communication interface to perform firmware updates.
The event based Real-Time Operating System (RTOS) for Arduino
RTuinOS, the event based Real-Time Operating System (RTOS) for Arduino, is now hosted at SourceForge. In this revision, 1.0, the event concept has been generalized. Events can now be broadcasted events, semaphores or mutexes. This permits to implement all the usual inter-task communication patterns. Please refer to the user guide and the diverse code samples for details. The second technical change is a complete revision of the makefile. It has been improved in many aspects and it now supports three host operating systems; the RTuinOS samples (as well as your applications) can be built under Linux, Windows and Mac OS. RTuinOS 1.0 is distributed as setup (a ZIP archive), which contains all source files and the complete documentation, also with source files. Building the samples can be started immediately after unzipping and setting a single environment variable. Thank you for your kind interest in RTuinOS.
Allows executing code on MIPS32 EmbeddedLinux devices (WLAN routers)
This tool is used to develop small applications that can run on MIPS-based embedded Linux devices - mainly WLAN routers. It is possible to debug these applications using GDB with the GDB backend provided by this tool.
Pinguino VB IDE
Pinguino VB basic compiler envirionment for MicroChip PIC computers
RoboDude is a programming tool for AVR microcontrollers. The graphical interface is easy to use, because it works with xhex-files (xml files containing ihex and srec sections, mcu information and fuse bit settings). The GUI uses the avrdude library. The binary files are included in the NiboRoboLib Package!
A system for programming LPC, STM32 and possible others devices.
This project provides three different interfaces for programming embedded chips: a GObject based library (for developers), an executable binary (for computer geeks) and a GTK+3 front-end (for less geeky users). Actually NXP LPC and STM32 based chips are supported.
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures and functions to represent and maintain locally in KP code all ontology classes, relations, properties, and individuals. Since 2012 the project is supported by grant KA179 of Karelia ENPI programme, http://kareliaenpi.eu/ More information about project: http://oss.fruct.org/wiki/SmartSlog Smart-M3 on Wikipedia: http://en.wikipedia.org/wiki/Smart-M3
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 the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. A step-by-step tutorial is available within the software package.