Open Source Java Embedded Systems Software

CPU tuner for android. Saves battery by interfacing cpufreq and turning on/off services.

The wolfSSL embedded SSL library (formerly CyaSSL) is a lightweight, portable, C-language-based SSL/TLS library targeted at IoT, embedded, and RTOS environments primarily because of its size, speed, and feature set. It works seamlessly in desktop, enterprise, and cloud environments as well. wolfSSL supports industry standards up to the current TLS 1.2 and DTLS 1.2, is up to 20 times smaller than OpenSSL, offers a simple API, an OpenSSL compatibility layer, OCSP and CRL support, is backed by the robust wolfCrypt cryptography library, and much more. wolfSSL relies on the FIPS 140-2 validated wolfCrypt library for all cryptographic functionality. Visit http://wolfssl.com/wolfSSL/fips.html for more info!

Freedomotic is an open source, flexible, secure Internet of Things (IoT) development framework, useful to build and manage modern smart spaces. It is targeted to private individuals (home automation) as well as business users (smart retail environments, ambient aware marketing, monitoring and analytics, etc). Freedomotic can interact with well known standard building automation protocols as well as with "do it yourself" solutions. It treats the web, social networks and branded frontends as first class components of the system. [GITHUB REPOSITORY] https://github.com/freedomotic/freedomotic [USERS' MANUAL] http://freedomotic-user-manual.readthedocs.io/ [DEVELOPERS' MANUAL] http://freedomotic-developer-manual.readthedocs.io/ [INTERNATIONAL COMMUNITY] https://groups.google.com/forum/#!forum/freedom-domotics [ITALIAN COMMUNITY] https://groups.google.com/forum/#!forum/freedomotic-it [REPORT AN ISSUE] https://github.com/freedomotic/freedomotic/issues

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.

A new version has been uploaded. Filename is "filesearch4.apk". This new version allows to delete files, rename files, delete directories, rename directories, and view text files when the file extension is : txt, xml, htm, html, xsl, xslt, text, ascii, ini, asp, aspx, java, kt, cs, js, jsp, php, bat, css, csv, kml, svg (feel free to ask for more file extensions, that should be a setting in the application in the future). The application starts browsing from the internal storage of the Android device ("/storage/emulated/0") so you can browse your data file (pictures, alarms, documents, downloads, movies, music, ringtones...). This version also allows you to view the first 1024 bytes of any clicked file in hex format if it is not a text file.

JemBench is an open-source Java benchmark suite for constrained embedded systems. JemBench covers the benchmarking of vital bytecodes, computational kernels, control applications, and multithreaded applications. It even runs on CLDC platforms.

LOPEZ - Low Power Efficient Zigbee Sensor Networks

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. It is advised to use 32-bit version (Eclipse) associated in the "MGSyn supplementary files", as the 64-bit version will by default demand huge memory, which may lead to Java exceptions.

SimpleTimer is a Java-based, freeware tool, you can use as a countdown timer on your mobile device. This software is compiled and tested on devices with OS Symbian S60 2nd FP3 edition e.g. on NOKIA N70. Should work on other platforms too!!!

A system that allows people to open doors by using a Bluetooth enabled phone or other device.

WSNFuse provides an abstraction layer for wireless sensor networks, allowing to expose one or many WSNs by means of different access technologies(e.g.: filesystem, JMS, RMI, Smart-Spaces, etc.).Its plugin-based architecture allow users to develop and adopt thei own plugins and configure WSN fuse to better suit their needs. This project has been partially supported by the CHIRON EU research project co-financed by the artemis joint undertaking (http://www.chiron-project.eu/) .

Android tools for MediaTEK MT53XX Serial Chips

NOTE: This project is marked with 'Status: Abandoned' on SourceForge because not enough time can be dedicated to this project. However it may still get sporadic commits to the repository. eCxx is a library for AVR and NodeMCU tailored for micro LED displays and lighting effects. eCxx is utilizing Makefile build system. Java and Python based applications/tools are also included to ease the development and debugging process using the host PC. On one side, eCxx supports the original megaAVR series (ATmega328P, ATmega1284P, ATmega2560, ATmega32U4, AT90USB1286, etc.) as well as the new megaAVR 0-Series (ATmega4808, ATmega4809, etc.). On the other side, while eCxx is primarily designed to work in NodeMCU, it should also support other ESP-12 based design as well as ESP-01 based design. The Makefile build system and some of the tools would only run on Linux. However, the library source code should be portable enough to be built using other build systems for AVR and NodeMC

AndroidCam is an Android App which provides the ability to turn a mobile device into an intervalometer for collecting time-lapse images. Image capture can be triggered using time based scheduling or in response to data thresholds monitored by the app (e.g. temperature, location, windspeed, etc) Data collection is performed via IOIO connection and the new ADK. Remote synchronization upload of images can be scheduled and performed via SCP.

This project includes both the libraries and applications created by Anturi Technology to communicate with Tag4M devices provided by Cores Electronic LLC. We want integrators and developers have the tools to build their own developments with Tag4M.

Vehicle Automation Modules Simulation

CSQL - suite of three products, embedded relational database / stand alone Main Memory Database / updateable bi-directional table level cache. All are exposed via standard SQL interfaces such as ODBC/JDBC.

DarSens is about distributed activity recognition based on acceleration data.

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.

FAMOUSO is an event-based publish/subscribe middleware written in C++ for systems ranging from 8Bit micro-controllers up to 32Bit PC/Workstations.

GDBServer Extender（gdbx）顾名思义就是为GDB调试扩展一些本来没有的功能。例如线程（任务）感知调试（OS Aware）、线程（任务）堆栈检查等。支持FreeRTOS、eCos。支持OpenOCD、J-Link、QEMU。支持Cortex-M、i386。 请移步https://code.csdn.net/zoomdy/gdbx获得更多内容。

Open Source project for the development of the IEEE 11073-20601 reference implementation.

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. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)

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. - raspberry pi as one hardware platform - tinkerforge IO bricklets for turnout and signal control