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
Germany
Phone: +49-681-383-600
Fax: +49-681-383-60-20
Contact us
Url: http://www.absint.com/index.html


Aldec

Featured Video
Jobs
Applications Engineer for intersil at Palm Bay, FL
Senior Formal FAE Location OPEN for EDA Careers at San Jose or Anywhere, CA
Principle Electronic Design Engr for Cypress Semiconductor at San Jose, CA
ASIC Hardware Engineer for BAE Systems Intelligence & Security at Arlington, VA
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, PA
Upcoming Events
IPC APEX EXPO 2018 at San Diego Convention Center San Diego CA - Feb 24 - 1, 2018
DVCon US 2018 at Double Tree Hotel San Jose CA - Feb 26 - 1, 2018
5th EAI International Conference on Big data and Cloud Computing Challenges at Vandalur, Kelambakkam high road chennai Tamil Nadu India - Mar 8 - 9, 2018



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