Search Results for "aerospace"
Sort By:
Showing 37 open source projects for "aerospace"
View related business solutions-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
1
Open Visual Traceroute
Open source cross-platform Java Visual Traceroute
Open source cross-platform (Windows/Linux/Mac) Java Visual Traceroute. Data is displayed in a 3D or a 2D map component. What is a traceroute? http://en.wikipedia.org/wiki/Traceroute If you need some help, please first check http://visualtraceroute.net/ Feel free to drop by and leave a comment on the Facebook page https://www.facebook.com/openvisualtraceroute Enjoy and share! If you want to support the development of this project, you can make a Paypal contribution at... -
2
QP Real-Time Embedded Frameworks & Tools
Real-Time Embedded Frameworks based on active objects & state machines
QP real-time embedded frameworks (RTEFs) provide lightweight, modern event-driven architecture based on 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 single-chip... -
3
BrowserBox
Remote browser isolation for all
BrowserBox is an embeddable, multiplayer browser that facilitates RBI (remote browser isolation) and zero trust protection. We've just integrated support for Tor. -
4
OpenDDS
OpenDDS is open source publish/subscribe middleware
... by organizations in the Aerospace/Defense, Manufacturing/Fabrication, Home Automation, Finance, and other domains. -
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
5
Pharos
RTOS for Secure, Safe and Real-Time Systems
Pharos is a free open-source RTOS for secure, safe and real-time systems with the following characteristics: - Memory and enhanced time partitioning (TSP) - Native support for sporadic, periodic and aperiodic threads - Fixed-priority preemptive scheduler - Execution time protection (threads are prevented from executing for more time than they are configured to) - Small size (full image has ~100 to 300KiB text, ~30KiB data) - Hard real-time determinism - Fast critical sections -... -
6
CANopen for LabVIEW
LabVIEW CANopen client library
A collection of VIs for easier interface with basic CANopen client operations such as SDO download, SDO upload and PDO messages. Helper VIs for arbitrary mapping of dictionary objects to specific PDOs are also implemented. The project includes a quite crude implementation of the DSP 402 profile for handling motor drives in velocity and/or in position mode. -
7
Scommunication
Scommunication is easy to use rs232 rs485 communication application
Scommunication is easy to use rs232 rs485, USB to serial communication application. All sent and coming data you can see ASCII HEX DECIMAL or BINARY. With timer -- timer add after version 2-- you can send data every second , half second or how you want This application written in java(fx) so you can use windows linux or mac. Tested with arduino uno,arduino nano, arduino mega, frdm-kl46z and frdm-k64f In some problem feel free to send me mail: hrasity@hotmail.com -
8
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... -
9
TER implements the CCSDS Recommendation for Image Data Compression (CCSDS 122.0-B-1). TER also adds new features to the Recommendation. TER is designed and programmed with the aim to provide a good basis to test and develop the CCSDS Recommendation.
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
10
Resistor Value Identifier
Identify electronic resistor values
This HTML utility allows the user to select standard color codes or surface mount numbers, then it identifies the resistor value. There is no need to memorize color codes or multipliers. An online working example of this program can be used at ZoomAviation.com/programs. -
11
Transistor Specifications
50 most common transistor specs
The specifications and information for the 50 most common transistors used in small electronic circuits, robots, and prototyping. -
12
An API for manipulating EDIF netlists in Java. We use this API to analyze netlists as a part of our FPGA reliability project. We intend to keep the API as general as possible to support other netlist analysis and manipulation activities. This material is based upon work supported by the National Science Foundation under Grant No. 0801876. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the...
-
13
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,... -
14
Jitendriya
Work productivity/efficiency analytics, work-life and time manager
<Purpose> 1. Make user aware of his own activities. 2. Find out how much time is wasted in which activity 3. Stick to a routine if desired 4. Avoid certain activities at certain times 5. Measure time spend on certain activity on a certain time and determine if certain habit needs to be changed 6. Condition for a routine habit, like leaving office in time or take short breaks 7. Increase awareness of time and habits 8. Increase productivity in a manner which is comfortable for the... -
15
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
16
Handles Hexahedral, Tetrahedral, Quadrilateral, and Triangle meshes. Lagrangian, Hierarchic, and Monomial finite elements. Interface to PETSc solvers, adaptive mesh refinement, and extreme portablility.
-
17
MiniKakofonix
Asterix UDP multicast recorder
This program is capable of subscribing to an UDP multicast feed containing (live) radar data in Eurocontrol Asterix format. The received UDP frames are stored in a recording file. A new (raw) Asterix recording file can be created every x minutes. The previously recorded Asterix filename contains date and timestamp. This tool can be used to do continuous 24/7 Asterix multicast recordings. -
18
MSP430-Ada
Ada compiler support for TI MSP430 processors
Compiler and device support for Ada programs on the ultra-low-power TI MSP430 microcontrollers. This project builds on the Gnu Gnat/GCC Ada compiler, the Sourceforge mspgcc back-end and MSP430 CPU support. It was inspired by the Sourceforge AVR-Ada project. -
19
STM32 LWIP QPC Ethernet DPP
Quantum Leaps (QPC) DPP example with LWIP on STM3220G eval board
This is a port of the Dining Philosopher Problem (DPP) using the Quantum Leaps (http://state-machine.com) hierarchical state machine framework with the Light Weight IP (LwIP) network stack (http://savannah.nongnu.org/projects/lwip) and an ethernet driver implemented on the STM3220G-eval board (http://www.st.com/internet/evalboard/product/250374.jsp) running on stm32f207 Arm Cortex M3 uProcessor. The project is eclipse based and uses Code Sourcery cross compiler. See... -
20
DataFinder is a data management client developed in Python that primarily targets the management of scientific technical data. The system is able to handle large amounts of data and can be easily integrated in existing working environments.
-
21
Equalizer is the standard middleware to create parallel OpenGL-based applications. Please visit https://github.com/Eyescale for current development information.
-
22
bocca is a text-based, scriptable, interactive development environment for SIDL/Babel-based development of mixed language C/C++/Fortran/Java/Python code. It manages source and build systems. Bocca automates creating SIDL/Babel code or CCA components.
-
23
-
24
Simple Lossless Ad-hoc Protocol (SLAP) is designed to be used for wireless digital data transfer on embedded systems. The program is built for uClinux, a derivative of Linux designed for embedded microcontrollers, but can be easily ported.
-
25
JeCARS (Java Extendable Contents And Rights System) is a RESTful webservice which delivers pluggable output formats, e.g. Atom feeds or HTML. Third party applications can be plugged in. A JCR (JSR-170) repository (Jackrabbit) is used for storage.