AbsInt Angewandte Informatik GmbH

AbsInt provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software. The embedded market of today is characterized by constantly rising software complexity and increasingly shorter time-to-market. The share of safety-critical applications is rising.

AbsInt’s tools are designed to

  • Enhance software safety
  • Speed up time-to-market
  • Lower testing and validation costs
  • Improve software efficiency to reduce system costs for embedded, real-time, safety-critical applications

Product Name: aiCache
Product Category: Embedded Processor Development

aiCache is a tool for predicting a program's intrinsic instruction cache behavior. In other words, aiCache classifies most references to the instruction memory (instruction fetches) as cache hits or misses.

Product Name: aiPop
Product Category: Debugging - Structured/Platform ASICs

The aiPop optimizer suite was developed to reduce the code size, improve the code quality, and, optionally, speed up the execution of assembly or object files produced by a C compiler.

Product Name: aiSee
Product Category: Design for Test - ASIC and IC Design

aiSee automatically calculates a customizable layout of graphs specified in GDL (graph description language). This layout is then displayed, and can be printed or interactively explored.

Product Name: aiT
Product Category: Embedded Processor Development

aiT WCET Analyzers statically compute tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. They directly analyze binary executables and take the intrinsic cache and pipeline behavior into account.

Product Name: Astrée Run-Time Error Analyzer
Product Category: Design for Test - ASIC and IC Design

Astrée is a static program analyzer that proves the absence of run-time errors (RTE) in safety-critical embedded applications written or automatically generated in C.

Product Name: a³: AbsInt Advanced Analyzer
Product Category: Design for Test - ASIC and IC Design

a³ is a wrapper application that integrates any number of AbsInt’s tools for static program ana­ly­sis in a single intuitive user interface.

Product Name: PAG
Product Category: Power Grid Analysis - ASIC and IC Design

The PAG program analyzer generator supports the implementation of static program analyzers. PAG generates efficient data flow analyzers from concise specifications.

Product Name: StackAnalyzer
Product Category: Documentation Tools - ASIC and IC Design

StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results are shown as annotations in the call graph and control flow graph.

Product Name: TimingExplorer
Product Category: Design for Test - ASIC and IC Design

TimingExplorer offers a set of parameterizable ECU core models to explore the effects of different ECUs or different ECU configurations on the worst-case execution time performance.

Product Name: ValueAnalyzer
Product Category: Design for Test - ASIC and IC Design

ValueAnalyzer is a static program analyzer for value analysis. It is particularly useful for verifying the absence of illegal accesses to an embedded software system from within third-party modules provided as object code.

Science Park 1
Saarbruecken 66123
Phone: +49-681-383-600
Fax: +49-681-383-60-20
Contact us
Url: http://www.absint.com/index.html

 True Circuits: IOT PLL

Featured Video
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, California
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Director, Business Development for Kongsberg Geospatial at Ottawa, Canada
Director, Business Development for Kongsberg Geospatial at remote from home, Any State in the USA
Upcoming Events
IPC Technical Education - PCB Layout - Place and Route at Del Mar Fairgrounds 2260 Jimmy Durante Blvd. Del Mar CA - May 2, 2018
IPC Technical Education at Wisconsin Center 400 W Wisconsin Ave. Milwaukee WI - May 8, 2018
IPC High Reliability Forum at Embassy Suites: Baltimore-At BWI Airport 1300 Concourse Drive Linthicum MD - May 15 - 17, 2018
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise