Search Results for "computer-aided software engineering" - Page 2
Sort By:
Showing 50 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
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,... -
2
ADS1115 I2C XBee
ADS1115 component for XBee Codewarrior
The project's main goal is to create a component, capable of being added to Freesacle's Codewarrior environment with XBee stack, in order for adding a complete implementation of the ADS1115 functionalities to Digi's XBee radios -
3
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.
-
4
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
microDispatch
Microcontroller Task Scheduler
Super lightweight task scheduler aimed at 8 bit AVR ATmega micro-controllers (perfect for Arduino), although it can easily be used on other hardware like Microchip PIC. It uses simple round-robin scheduling so no priority levels can be set. You choose the time interval by calling dispatchTick(), this is usually in a timer interrupt. Range for number of tasks: 0 to 255 tasks Range for delay: 0 to 65535 ticks Each task only uses 5 byte of RAM. The one task LED blink example only uses... -
6
LiteASM
Light Weight & Customizable Assembly Compiler & Virtual Machine
LiteASM is a light weight and reconfigurable Assembly language compiler and Virtual Machine. It is specially design for embedded systems to use as a portable script interface. -
7
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. ... -
8
AVRILOS
Simple AVR OS
A simple Embedded System Framework that allows rapid development of applications build for AVR family. System is based on a super-loop architecture with check and skip (no-wait) flag event driver system. Supports: UART, SysTick Timer, ADC, SPI, EEPROM, PWM. Also supports: Xilinx FPGA configuration, FPGA SSI interface, smart card reader etc. Tested partially (different modules in each case) on ATMega163/16/32/323/8. Awards CodeProject 2010, Third Prize, Hardware and Device... -
9
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... -
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
This software supports programming of Atmel microcontrollers 89Sxx ('51), ATtiny, ATmega and 90Sxx (AVR). It can erase built-in Flash and EEPROM memories as well as read and program them. ISP Programmer also supports serial Atmel DataFlash memories.
-
11
Specter - Abstract Arithmetics Library (AAL) is a library coded in native C which is able to do operations with numbers of virtually unlimited length. Specter is targeting mainly cryptography and big integer maths though.
-
12
uTask is a simple library for 32 bit microcontrollers (uCs) providing easy to use coroutines.
-
13
The Dragon Fire compiler takes a new, 21st century, look at the Dragon (i.e. Dragon Book). No longer impenetrable to the programmer, this compiler is open and available to them. You control the Dragon, and get Dragon insight into your programs.
-
14
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.
-
15
Have you ever tried to control a self developed vehicle with your PC? This Project provides a GUi Controll, the schematics for the on board electroninc (including the xbee host) and the atmega 32 / 644 / 2550 software to get things work together.
-
16
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.
-
17
Project has moved. http://rhyduino.codeplex.com
-
18
Working with microprocessors is one of the most creative, challenging and rewarding areas of electronic and software engineering. Open-USB-IO makes learning this process fun and easy.
-
19
The C-Bus Module is used to provide a C-code API between a Clipsal C-Bus PCI interface, and an application program. Application programs can be on small embedded micros with no OS and only a few K of RAM, thru to Windows & Linux.
-
20
K-OS is an open-source realtime-operating-system based on the OSEK/VDX standard aimed at compiler and microcontroller independence. Currently we support Motorola (Freescale) HC12/HCS12/HCS12X targets.
-
21
PXC is a new C-Crosscompiler-Project, based on PCC the UNIX(TM)-Original. Aimed at ISO-9899:99/201x Feature-Completness and easy retargeting. The Toolchain will consist of an Assembler, Linker, Librarian and an integrated MISRA-C-Checker.
-
22
Lightweight matrix lib, especially good for micro-blaze or other embedded processor which needs to do matrix operations. Supports Add, Subtract, Multiply, Transpose, and Invert (Cholesky Method). Compiles to 15kbs using -0s and is ISO C compliant.
-
23
Data logger software to interface with the B&B Electronics IO module. You can see more info about these modules here: http://bb-elec.com The 232SDA12 has 11 analog inputs, 4 digital inputs, and 4 digital outputs. Use the installer here: http://jimroal.com/exe/SDA232/publish.htm
-
24
KinectStreamer
Streams data from 3D cameras over a network.
This is an application that streams data from the Microsoft Kinect or cameras like it over a network. The program is Intended to be used in robotics applications where the controller cannot use such cameras directly due to hardware/software limitations--such as lacking usb ports or appropriate drivers--or in situations where the camera is not in close proximity to the device that needs to access it. Given that the controller can accept data from over the network, another embedded controller... -
25
Design and implementation of silicon and software for baseband processors conforming to IEEE wireless standards. Initial focus on WiMAX and WiFi.
