Search Results for "computer-aided software engineering"
Sort By:
24 projects for "computer-aided software engineering" with 2 filters applied:
-
Wiz: #1 Cloud Security Software for Modern Cloud ProtectionUse the Wiz Cloud Security Platform to build faster in the cloud, enabling security, dev and devops to work together in a self-service model built for the scale and speed of your cloud development.
-
IT Asset Management (ITAM) SoftwareEZO AssetSonar is a comprehensive IT asset management platform that provides real-time visibility into your entire digital infrastructure. Track and optimize hardware, software, and license management to reduce risks, control IT spend, and improve compliance.
-
1
A20_sdk
A simple armv7h sdk
This is my sdk for usage with slackware on A20 devices like bananapi, cubietruck and olimex-som. For more info see https://github.com/tjohann/a20_sdk . -
2
P89 Serial Programmer
Program NXP P89V51RD2 from your favorite Unix system
P89 Serial Programmer (p89pgm) is a simple command-line based serial In-System Programmer for Philips (NXP) P89V51RD2 microcontroller. This programmer is designed to be minimal, and has no external software dependency. Supported input formats are Intel HEX and raw binary file. This programmer is designed for GNU/Linux and Unix-like platforms; but it also runs on Microsoft Windows as well, thanks to Cygwin porting library. -
3
-
4
PK2Aux is a library and suite of command-line utilities for using the Microchip PICkit2 programmer device for purposes other than programming (such as the generic pin controls, serial UART, and logic analyzer modes provided by the Windows software).
-
Run applications fast and securely in a fully managed environmentRun frontend and backend services, batch jobs, deploy websites and applications, and queue processing workloads without the need to manage infrastructure.
-
5
NtdIsp
A system for programming LPC, STM32 and possible others devices.
This project provides three different interfaces for programming embedded chips: a GObject based library (for developers), an executable binary (for computer geeks) and a GTK+3 front-end (for less geeky users). Actually NXP LPC and STM32 based chips are supported. -
6
MGSyn
MGSyn - Automatic Synthesis for Industrial Automation
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... -
7
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. -
8
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
-
9
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,... -
Save up to 90% off rates for USPS, UPS, DHL Express, and more with the best multi-carrier shipping software for e-commerce businesses.Whether you're established or just getting started, Shippo is the best shipping software for growing e-commerce brands that need to save time and money, fulfill and ship at scale, and delight customers. Create shipping labels for all carriers & save money with discounted rates. See all your online sales channels in one place and automatically access discounted USPS and DHL Express rates, or use your own carrier accounts. Sign up is free and there are no monthly fees or cancellation fees.
-
10
FreeOSEK RTOS
Project has been move to https://github.com/ciaa/Firmware
The project is not more active, we have fix a lot of issue and perform many improvements. These are now deliverd as part of a new project: https://github.com/ciaa/Firmware ---- FreeOSEK is a scalable solution for embedded system. FreeOSEK OS is based on OSEK RTOS specification (OSEK-VDX). visit us in: http://opensek.sourceforge.net -
11
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.
-
12
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
13
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... -
14
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.
-
15
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.
-
16
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.
-
17
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.
-
18
This is a simple command line tool to customize CP2103 USB to UART bridge controllers in home-grown hardware. VID, PID, product name string, serial number string, and release version of the device can be changed next to GPIO port modes.
-
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
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.
-
21
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.
-
22
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... -
23
Design and implementation of silicon and software for baseband processors conforming to IEEE wireless standards. Initial focus on WiMAX and WiFi.
-
24
A free/libre/open-source firmware library (previously known as libopenstm32) for various ARM Cortex-M3 microcontrollers, including ST STM32, Toshiba TX03, Atmel SAM3U, NXP LPC1000 and others. Sourcecode and bugtracker can be found at http://github.com/libopencm3
- Previous
- You're on page 1
- Next
