Showing results: 1 - 12 of 12 items found.
-
GNAT Pro -
AdaCore Technologies, Inc.
GNAT Pro is a robust and flexible Ada development environment. It comprises a full Ada compiler (Ada 83, Ada 95, and Ada 2005 features) based on the GNU GCC technology, an Integrated Development Environment (GNAT Programming Studio), a comprehensive toolsuite including a visual debugger, and a set of libraries and bindings.
-
CodePeer -
AdaCore Technologies, Inc.
CodePeer is an Ada source code analyzer that detects run-time and logic errors. It assesses potential bugs before program execution, serving as an automated peer reviewer, helping to find errors efficiently and early in the development life-cycle. It can also be used to perform impact analysis when introducing changes to the existing code, as well as helping vulnerability analysis. Using control-flow, data-flow, and other advanced static analysis techniques, CodePeer detects errors that would otherwise only be found through labor-intensive debugging.
-
VectorCAST/Ada -
Vector Software Inc.
An integrated software test solution that significantly reduces the time, effort, and cost associated with testing Ada software components necessary for validating safety- and mission-critical embedded systems. VectorCAST/Ada parses your source code and invokes code generators to automatically create the test code (stubs and drivers) required to construct a complete, executable test harness.
-
RapiTask -
Rapita Systems Ltd.
*Examine Ada, C or C++ applications via scheduling visualization*Locate rare timing events that need attention*Identify bottlenecks in your application by analyzing capacity issues*Compare scheduling algorithms from different RTOSs
-
RapiTime -
Rapita Systems Ltd.
*Timing analysis (inc. WCET) for Ada, C & C++ on-target & host**Identify code to optimize for worst-case behavior*Debug rare timing events*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
RapiTest -
Rapita Systems Ltd.
*Requirements-based testing for Ada, C & C++ on-host & target*Reduce test authoring effort through easy-to-use test formats*Manage project artifacts with requirements traceability*Simplify verification through integration with your CI tool*Produce evidence for DO-178 and ISO 26262 certification
-
RapiCover -
Rapita Systems Ltd.
* Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target* Reduce test builds needed for analysis on constrained targets* Save time with efficient merge and mark verification workflow* Simplify verification by integrating with your CI tool* Produce evidence for DO-178 and ISO 26262 certification
-
ADA-8XR -
Prism Sound Ltd.
The Pinnacle of audio performance, the ADA-8XR has found itself home in some of the world’s most iconic recording facilities (Metropolis, British Grove etc) and utilised in high profile projects including Star Wars & Lord of the Rings.
-
Nanotronics Imaging
Nanotronics uses artificial intelligence to give our customers’ unprecedented freedom and control for defect detection. We offer an AI based Anomaly Detection Algorithm (ADA) toolkit that automates the work of writing computer vision algorithms to detect and classify defects on bare substrate and epi wafers as well as on thin films, glass and any other material with a uniform background.
-
GNATcoverage -
AdaCore Technologies, Inc.
GNATcoverage performs coverage analysis on both object code instruction and branch coverage and Ada and C language source code statement, decision and Modified Condition/Decision Coverage (MC/DC). Unlike most current technologies, the tool works without requiring instrumentation of the executable. Instead, it runs directly on an instrumented version of GNATemulator, a lightweight and efficient emulator tool. GNAT Pro add-on.
-
DREAM ADA-128 -
Prism Sound Ltd.
The Dream ADA-128 redefines flexibility, capacity, and performance standards in professional audio conversion. In creating it, we ripped up the rule book and started again, using all our 30+ years of ADC and DAC development experience. Building on the legacy of the Prism Sound Dream ADA-8XR, the resulting Dream ADA-128 architecture is so capable that it is set to meet the needs of the most demanding facilities for years to come.
-
AD8-16 (ADA-8) -
Acces I/O Products, Inc.
Model AD8-16 (alternate part number ADA-8) is an economical, multiplexed, eight-bit Analog-to-Digital Converter (A/D) and Counter-Timer card for ISA-bus computers. It accepts up to eight differential or 16 single-ended analog inputs (jumper configured). AD8-16 requires a full-size expansion slot. All connections are made through a standard 50-pin connector. Base I/O address selection is via dip switch.Analog inputs are multiplexed, amplified, held by a sample and hold amplifier, and then digitized by an eight-bit A/D converter. Amplifier gain is selected by software and can differ from channel to channel.
