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


Featured Video
Jobs
Currently No Featured Jobs
Upcoming Events
SRTC-2018 at The Leela Ambience Gurugram NEW DELHI India - Jul 25 - 26, 2018
MPSoC Forum 2018 at The Cliff Lodge 9320 South Cliff Lodge Drive Snowbird UT - Jul 29 - 3, 2018
CDNLive China 2018 at Kerry Hotel Pudong, Shanghai 1388 Hua Mu Road, Pudong Shanghai China - Aug 10, 2018
CDNLive Taiwan 2018 at Ambassador Hotel Hsinchu Taiwan - Aug 14, 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