AbsInt Angewandte Informatik GmbH
AbsInt provides tools for validation, verification and certification of safety-critical software. Key products are aiT WCET analyzer for obtaining timing guarantees, StackAnalyzer for proving the absence of stack overflows, RuleChecker for checking coding guidelines, Astree for proving the absence of runtime errors and data races, TimingProfiler for computing WCET estimates in early stages, and the formally verified optimizing compiler CompCert.
NEW: TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates.
Qualification Support Kits and Qualification Software Life Cycle Data reports enable automatic tool qualification according to DO-178B/C and other safety norms.
AbsInt, founded in 1998, celebrates its 20th anniversary this year. In 2003, AbsInt was awarded a European IST Prize.
Our customers are located in more than 40 countries all over the world. AIrbus used AbsInt tools for certifying A380 flight control software. Other references include MTU Friedrichshafen, Framatome, OHB, ESA, Daimler, Honda, u-blox, Helbako, ebm-papst and many more, see their success stories.
Safety-critical software can be validated/verified efficiently thanks to static code analysis tools adapted to VxWorks and Diab compilers.
Together with Wind River, we offer the following tools:
aiT WCET analyzer integrated with VxWorks and Diab compilers to provide timing guarantees regarding WCET
TimingProfiler integrated with VxWorks and Diab compilers to provide timing estimates and timing optimization in early development stages
StackAnalyzer integrated with VxWorks and Diab compilers to provide a solution for preventing stack overflows
Titanium Cloud ecosystem
Introducing Wind River Titanium Cloud, the ecosystem of products around Wind River Titanium Server for Network Functions Virtualization (NFV).
Developing and maintaining a board support package (BSP) requires a dedicated embedded software staff with expertise on the hardware, the operating system, and optional software stacks.
Wind River Partner Program Brochure
The Wind River Partner Program provides a scalable platform for our partners to optimize, validate, and market compelling joint value propositions to our existing and growing base of customers.
A Crayon Simple Look at Wind River
A three-minute video describing in simple terms what Wind River is, the extraordinary things that we helps our customers do, and why now is a particularly exciting time to be here.