Search Results for "software design tools"
Sort By:
Showing 21 open source projects for "software design tools"
View related business solutions-
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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
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
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;... -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
5
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... -
6
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... -
7
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.
-
8
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 -
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... -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
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... -
11
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 -
12
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... -
13
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.
-
14
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 -
15
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. -
16
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. -
17
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
-
18
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,... -
19
ChumbOS Launcher
ChumbOS Launcher - Native Application Launcher for Chumby
ChumbOS Launcher is a native C application that is designed to break the shackles of the Chumby, so that not only flash applications can take advantage of the cute little colour screen, touchscreen input, rotary encoder and it's majestic Chumby Button. By the way, not that it had too many shackles, don't get me wrong, but the limitation of using only flash widgets on a device having the horse power of a 450MHz full blown computer, seems to me, a bit of a waste and just a bit annoying. ... -
20
SpiffChorder
FW and HW design for a 7-key chording keyboard
Spaceman Spiff's Chording Keyboard Experiment (or SpiffChorder for short) is an experimental platform for creating a USB chording keyboard. A chording keyboard or Chorded keyboard is an input device where characters can be typed by pressing multiple keys at the same time. A popular design is the 7-key chorder, where one key is used for each of the index finger, middle finger, ring finger and pinky, and 3 keys for the thumb. This can be used with either the left or right hand (or a chorder can be used for each hand, effectively doubling the typing speed). SpiffChorder hardware is based on Atmel AVR ATmega168, using Objective Development's V-USB (a software-only implementation of a low-speed USB device). -
21
Design and implementation of silicon and software for baseband processors conforming to IEEE wireless standards. Initial focus on WiMAX and WiFi.
- Previous
- You're on page 1
- Next