Open Source Java Embedded Systems Software for Windows

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

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.

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)

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.

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.

Platform providing the support for Wireless Sensor Networks in the domain of Natural Hazards as a Service. The objective of the WSN platform is monitoring the behaviour of rockfall barriers, rockfall netting, rock sheds and other protection systems

Nginx module for embedding Clojure or Java or Groovy programs, typically those Ring based handlers. Compatible with Ring and obviously supports those Ring-based frameworks, such as Compojure, etc. HTTP Services by using Clojure / Java / Groovy to write simple handlers for HTTP services. A build-in Jersey container to support java standard RESTful web services (JAX-RS 2.0). Tomcat 8 embedding support (so servlet 3.1/jsp/sendfile/JSR-356 WebSocket work within nginx!). Dynamic proxying by using Clojure / Java / Groovy to write a simple nginx rewrite handler to set var or return errors before a proxy pass or content ring handler. The non-blocking coroutine-based socket is Compatible with Java Socket API and works well with largely existing java libraries such as apache HTTP client, mysql jdbc drivers. With this feature, one java main thread can handle thousands of connections. Handle multiple sockets parallel in sub coroutines.

OOBD supports a self-programable Tool for Vehicle Onboard Diagnostics (OBD) for various platforms like the Windows-Desktop, mobile Phones and Smartphones Please note that we are actual moving this project over to oobd.googlecode.com. The software source code repository is already moved, other areas will follow.

PerLa project aims at defining a full declarative high level language that allows to query a pervasive system, hiding the difficulties related to the need of handling different technologies.

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

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

Titan allows service-oriented processing of context recognition applications on Wireless Sensor Networks. It includes an execution environment developed for TinyOS and a Java ME (Personal Profile) Network Manager intended to be run on a mobile phone.

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

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

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.

Aim of embKernel is to produce an unified C++ source for embedded devices (cortex-M uC for the time being) which includes: -RTOS -TCP/IP stack -TLS (Work in progress) -FAT32 file system -USB stack -Drivers for common uControllers peripherals See the wiki pages for more information.

This project is aimed at producing open source hardware for real time use in industrial automation. This project will have a few sub-projects that will focus on individual hardware for various industrial purpose. Some of the sub-projects will be of type Field-IO Modules development, Analog-IO Module development etc.

ztex is a Firmware Kit with a corresponding Driver API for EZ-USB based hardware. The Firmware is written in C and assembled using a powerful macro processor. The Driver API allows the development of platform-independent device drivers.