Search Results for "software design tools"
Sort By:
Showing 32 open source projects for "software design tools"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
F´
A flight software and embedded systems framework
F´ (or F Prime) is a software framework for the rapid development and deployment of embedded systems and spaceflight applications. Originally developed at NASA’s Jet Propulsion Laboratory, F´ is open-source software that has been successfully deployed for several space applications. It has been used for but is not limited to, CubeSats, SmallSats, instruments, and deployable. Component architecture with well-defined interfaces. To develop applications with F´, the following requirements of... -
2
QP Real-Time Event Frameworks & Tools
Real-Time Event Frameworks based on active objects & state machines
QP real-time event frameworks (RTEFs) provide lightweight, modern, event-driven architecture based on asynchronous Active Objects (Actors) and Hierarchical State Machines. The matching QM model-based design tool and other host-based tools complement the QP frameworks by supporting graphical modeling, code generation, software tracing, and unit testing for event-driven embedded software. Visit https://www.state-machine.com for more information. The QP RTEFs can run on bare-metal microcontrollers, replacing a traditional RTOS. The frameworks contain a selection of built-in real-time kernels (RTOS kernels), such as the cooperative QV kernel, the preemptive non-blocking QK kernel, and the unique preemptive, dual-mode (blocking/non-blocking) QXK kernel. ... -
3
USBDM
Debugging and programming interfaces for Freescale microcontroller
USBDM BDM Interface for Freescale Microcontrollers USBDM consists of two components: Hardware interfaces for various target devices This includes interfaces ranging from very simple hardware to more complete and capable hardware. Software to support these interfaces This includes: - Plugins to work with Freescale's Codewarrior software under Windows - Plugins to extend the usabilty of Eclipse with USBDM and Codesourcery & ARM toolchains. This includes GDB sprites... -
4
eS
Cross-platform IDE for developing embedded solutions and desktops
Solution Editor (eS) is a free, lightweight, cross-platform, development environment (IDE) for Assembler, C or C++ programming, designed to interface with various compilers and debuggers (GDB,CDB). The environment allows you to develop and debug code for MIPS, ARM, AVR and any other processors for embedded solutions and desktop applications. It contains a minimum of settings for easy and convenient programming. The hardware debugging process is possible if you have the hardware and / or... -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
5
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. -
6
Arduino mySQM Sky Quality Meter
mySQM powered by Arduino Nano
A sky quality meter based on TLS237 and Arduino Nano. (c) Copyright Robert Brown 2014-2024. All Rights Reserved. Code or portions of code may not be copied or used without appropriate credit given to author. For a WiFi ESP32 much improved version please see https://sourceforge.net/projects/mysqmproesp32/ AUTHOR NOTE: HIGHLY RECOMMEND YOU USE AN ARDUINO MEGA FOR THIS PROJECT IF ALL OPTIONS ARE CHOSEN YOU CAN RUN OUT OF CODE SPACE ON A NANO -
7
comFramework
Framework for CAN communication interfaces including code generator
comFramework presents a flexible, widely customizable CAN communication interface for embedded applications; it covers the CAN stack down to the hardware driver. Signal based application code is linked to the frame based HW abstraction layer. The interface imposes easy to fulfill requirements on the integration environment and will fit in most embedded platforms. A powerful code generator auto-codes those parts of the interface, which depend on your specific CAN network databases;... -
8
Arduino Nano Dew Controller Pro (DIY)
Dew Controller Feature Rich
A 3-channel fully automated Dew Controller (DIY project) based on Arduino Nano for telescopes. For $48 or less. (c) Copyright Robert Brown 2014-2025. All Rights Reserved. Permission is granted for personal and Academic use only. Code or portions of code may not be copied or used without appropriate credit given to author. A very popular project with over 48,000 downloads. There is a new ESP32 WiFi version at https://sourceforge.net/projects/esp32-dew-controller/ The older... -
9
IpWay/HOST free Tcp/Ip Stack Library
Real Time Tcp/Ip Stack Library
IpWay/HOST is a real time tcp/ip stack library designed for embedded applications on 32bit microcontrollers ARM and PPC based (STM32Fx, SPC56x, SPC57x, SPC58x), where execution efficiency and compact code are important requirements. IpWay/HOST is characterized by high portability, compact size, copyless feature (also for TCP applications) and Checksum offload. Moreover, IpWay offers a 100% compatibility with AUTOSAR MCAL versions 4.13 and 4.2.x. IpWayStudio is a free ARM development... -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
pFFh
a self-contained development environment for embedded systems.
pFFh is a programming language that allows you to launch applications on embedded systems safely, quickly and comfortably. pFFh runs on the target system, combining operation as a command interpreter and code compiler. We can say that pFFh behaves like an operating system on the board under development. All pFFh needs is a serial or USB-serial channel to communicate, and through it, receive and process console commands, either from a keyboard or from files sent from a desktop computer. At... -
11
Tool to create SVF files from HEX files for Atmel microcontrollers, similar to the closed-source avrsvf.exe application available from Atmel. You should be able to compile the tool on any platform with a C compiler, like Linux, Mac OS X, FreeBSD.
-
12
clzw
Implementation of LZW compression algorithm in C
Simple, fast implementation of LZW (Lempel–Ziv–Welch) data compression algorithm in C. - Console encoder/decoder tools - OS independent - Could be used in embedded projects - Works with raw code-stream LZW features: - Hardcoded dictionary size - Variable code size - Code search is performed by hash table and embedded in dictionary linked lists (encoder) - No dynamic memory allocation -
13
CTREE Graphic Tree Generator for C
An analysis tool showing the structure of a C program
CTREE is a command line utility providing analysis tools useful to software engineers tasked with tracking down problems or verifying a program's soundness. It is also an aid to understanding the structure of unfamiliar programs. As it works with standard C it finds most of its utility in embedded systems and older software. CTREE comes with a comprehensive manual. CTREE is is released by Cleveland Engineering Design, LLC - developer of the CoRTOS cooperative RTOS https://sourceforge.net/projects/cortos-simple/ and PRTOS pre-emptive RTOS https://sourceforge.net/projects/prtos-preemptive-rtos/ V 1.01 - fixed bug that could cause lock-ups or garbage output with some coding styles. -
14
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... -
15
W-Bus library and applications
W-Bus communication library
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... -
16
lpACLib
An Open-Source Library for Low-Power Approximate Computing Modules
...In case of usage, please refer to our publication: Muhammad Shafique, Rehan Hafiz, Semeen Rehman, Walaa El-Harouni, Jörg Henkel, "Cross-Layer Approximate Computing: From Logic to Architectures", Design Automation Conference (DAC), 2016. Contributors: Authors, Vanshika Baoni, M. Abdullah Hanif http://ces.itec.kit.edu/lpACLib.php -
17
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... -
18
FlashProg
Simple USB flash memory programmer.
FlashProg is USB base flash memory programmer which is specifically design to read and program 3.3V SPI flash memory devices. -
19
The GoodFET is an open source JTAG programmer based upon the Texas Instruments Flash Emulation Tool. While retaining partial compatibility with the TI design, the eventual goal of this project is standalone firmware with no proprietary components.
-
20
Em::Blocks STM32F4-Discovery USB CDC
Template Virtual COM Port Project
Template Em::Blocks project for the STM32F4-Discovery board as USB virtual com port. Using the standard peripheral library (not the new HAL). No board specific headers are used. Get the driver here: http://www.st.com/web/en/catalog/tools/PF257938 -
21
Hydroponic Automation Platform (HAPI)
Technologies for automating food production on various scales
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. -
22
Akalon Embedded OS (RTOS)
Embedded Real-Time Operating System (RTOS)
Akalon is a Bare-Bones Embedded RTOS that's designed to be simple and portable to any Microprocessor or System (Board). Currently supports the Intel and ARM Architectures. -
23
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
-
24
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,... -
25
BitBurner
BitBurner AVR Programmer, a full and complete AVRdude GUI for Windows.
BitBurner AVR Programmer is a graphical front end for the command line program AVRdude. It is used to transfer programs and data to the Atmel AVR family of microcontrollers. BitBurner is an attempt at a single AVRdude GUI programming solution for AVR developers and experimenters by providing comprehensive device support over a broad range of programming hardware. BitBurner supports all devices, memory spaces and programming hardware protocols provided by the latest version of AVRdude,...