Search Results for "development"
Sort By:
31 projects for "development" with 2 filters applied:
-
Find Hidden Risks in Windows Task SchedulerWindows Task Scheduler might be hiding critical failures. Download the free JAMS diagnostic tool to uncover problems before they impact production—get a color-coded risk report with clear remediation steps in minutes.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
1
Ficl is a lightweight, embeddable scripting language designed to be incorporated into other programs, and especially embedded systems that may have memory and OS constraints. Applications include scripting, hardware bring-up, rapid prototyping, and system extensions. Unlike Lua or Python, Ficl acts as a component of your system - you feed it stuff to do, it does the stuff, and comes back to you for more. You can export compiled code to Ficl, execute Ficl code from your compiled code, or...
-
2
amforth: Interpreter on Microcontrollers
amforth is an extendible interpreter on microcontrollers
amforth is an extendable command interpreter running on AVR ATmega and TI MSP430 microcontrollers. The Risc-V and ARM architectures are ascending. Turnkey actions for IoT workloads are possible as well. The command language is close to the Forth 2012 standard. -
3
Active Object real-time OS
AO RTOS is small real time OS based on Active Object concurrency model
AO-RTOS is a pure object-oriented small footprint real-time operating system for embedded devices. The project is using Active Object (or Actor) concurrency model and finite state machine (FSM) design template as implementation base. -
4
MenuDesigner
A GUI system for embedded systems.
A small GUI system for monochrome and color LCDs suitable for embedded systems with very limited system resources (like 8 bit microcontrollers). Comes with a graphical editor for creating a menu. Runs on Linux and Windows (Cygwin is recommend for using all features). Samples showing the usage on a PC, AVR, and STM32 microcontrollers are included. -
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
5
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...
-
6
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
...The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
7
Terminal-BASIC
BASIC-like language interpreter for embedded systems
Terminal-BASIC is a BASIC-like language interpreter, works on a set of single board embedded systems (i.e. famous AVR uc based boards). Terminal-BASIC: * suports real numbers, multidimensional arrays and Darthmouth BASIC-style matrix operations; * written in C++11; * has modular structure (can save uc storage, instantiating only used modules); * works through different i/o devices, using vt100 commands; * on systems with multiple i/O devices can work as simple time-sharing... -
8
GCDebRTrc
Debug Facility for Real-Time issues
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. -
9
RKH - State Machine Framework
State machine framework for reactive embedded systems
RKH is a generic, flexible, modular, highly portable, ANSI-C compliant, and open-source development tool for implementing hierarchical state machines based on modern state machine concepts. This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. ... -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
10
freedomotic
Open IoT Framework
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. -
11
autoCode4
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... -
12
GDBServer Extender (gdbx)
Extend GDB Server feature, OS Aware Debugging, Thread Stack Checking
GDBServer Extender（gdbx）顾名思义就是为GDB调试扩展一些本来没有的功能。例如线程（任务）感知调试（OS Aware）、线程（任务）堆栈检查等。支持FreeRTOS、eCos。支持OpenOCD、J-Link、QEMU。支持Cortex-M、i386。 请移步https://code.csdn.net/zoomdy/gdbx获得更多内容。 -
13
Serial Wire Debug (SWD) Open Library for low level Debug Access Port (DAP) on new ARM Cortex CPU devices. PROJECT HAS MOVED TO https://GitHub.com/CeDeROM/LibSWD PLEASE UPDATE YOUR LINKS! :-)
-
14
-
15
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
-
16
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
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,... -
17
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.
-
18
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
19
SERiaM
Unified desktop and embedded Serial port API
A simple API, written in C, for accessing the Serial ports in a consistent way across Multiple desktop and embedded platforms. This has allowed programs for embedded devices to be mainly developed on the desktop, where test and debug is much easier. It can also be used to write serial port programs that are portable across different desktop platforms. -
20
openAut
Open Source Hardware For 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. -
21
dasm430
A disassembler and a simulator for the MSP430 CPU
A disassembler and a simulator for the MSP430 CPU. Both programs only read TI-TXT files. Licensed under the Simple Public License (SimPL) 2.0. For full license information, please read license.txt. Compiled executables are available for Windows and Mac OS X. Linux users will have to compile their own binaries. Instructions for compilation are included in README.txt. A Qt-based GUI is available for sim430. Binaries only for OS X, for now. Source files can be found in src/qt folder. -
22
The embedded Single Timer Wheel (eSTW) is a timer wheel facility that can be used at task and interrupt level. The number of wheel spokes is user configured. The timer granularity is determined by the task signal or hardware interrupt source.
-
23
The embedded Buffer Pool Manager (eBPM) supports the creation of pools of fixed buffer sizes. The user may allocate a buffer from the pool and queue to any other pool. A freed buffer is returned to its original pool.
-
24
fxSTL is a C++ container library. fxSTL stands for the Fixed Standard Template Library. fxSTL is not a replacement for the STL, but is rather an extension of the STL that provides implementations of fixed size containers.
-
25
This project is about enhancing user experience in wireless 802.15.4 chips through open source programmer, bootloader, flashing over the air, and viral flashing over WSN. Current development is done over CC2430 and STM32.
