Showing results: 1 - 15 of 19 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
-
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.
-
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
-
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.
-
FLIR ADK™ -
Teledyne FLIR
The FLIR ADK is a cost-effective way to develop the next generation of automotive thermal vision for advanced driver assistance systems (ADAS) and autonomous vehicles (AV). Thermal infrared cameras are the best sensor technology for pedestrian detection and provide the critical data needed to improve automated decision making in vehicle safety functions including automatic emergency braking (AEB). The ADK’s rugged, IP67 rated enclosure incorporates a heated window for all-weather driving. With the GMSL, USB, and FBD-Link interfaces and drivers available form Teledyne FLIR, installation and testing is plug-and-play easy. Interested in a thermal vision enhancement system for today’s vehicles, please see PathFindIR II.
-
NI
Advanced driver assistance systems (ADAS) are introducing new technology into vehicles. They demand test systems that are adaptable and future-proof, so they can integrate all the technology used today and be ready for whatever tomorrow brings.
-
Renesas Electronics Corp.
Cars have come a long way since they first came on the road in the 19th century. The first semiconductor-based noteworthy assistance was GPS-based car navigation systems toward the end of ´80s. Today, in almost every car, ABS (Anti-Lock Braking System) and ESP (Electronic Stability Program) are also contributing toward the driver and car passenger’s safety using high quality electronics. After all, the dreams of automated cars from the ´60s are now becoming true — it is only a matter of a few years.
