AbsInt Angewandte Informatik GmbH
AbsInt is a privately-held company located in Saarbruecken, Germany. It provides advanced development tools for embedded systems, and tools for validation, verification and certification of safety-critical software.
Background and mission
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
The tools are based on a generic and generative framework which allows an extremely quick, sound and flexible response to customer needs. This has been proven in a series of successful projects and by outstanding customer satisfaction.
Analysis and verification tools
Software testing accounts for a major part of development costs. This is especially true for real-time systems, where correctness not only depends on logical correctness, but also on the timeliness of the results. Timing properties are hard to establish; measuring and time-stopping methods are error-prone and time-consuming.
Static program analyses provide means to reduce testing and validation costs. The underlying theory of abstract interpretation enables the systematic derivation of provably correct analyses. The analyses are performed at compile-time and provide results which hold for any program execution and any possible input scenario.
(Extracted from www.absint.com, approved by Christian Ferdinand on 2013-01-29)
EMPHYSIS – Embedded systems with physical models in the production code software
Affordable Safe & Secure Mobility Evolution
Timing Model - TOols, algorithms, languages, methodology, USE cases