Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety

Source URL: www.absint.com

• Technology
• Avionics
• Safety
• Software requirements
• Pharmaceutical industry
• Astrée
• DO-178B
• Worst-case execution time
• Formal verification
• Embedded systems
• Software development
• Computing

SOFTWARE-TEST, -QUALITÄTSSICHERUNG Echtzeitanalyse für ­Softwaregesteuerte ­Systeme (Bild: Ovidiu Iordachi – Fotolia)

Source URL: www.absint.com

Qualification Support Kit The Qualification Support Kit provides the specification of the functional requirements of AbsInt tools in their operational context as well as a set of test cases showing the correct implementa

Source URL: www.absint.com

• Safety
• Electronics
• Computing
• Technology
• Software testing
• DO-178B
• DO-178C
• Verification
• Requirement
• Software requirements
• Avionics
• Embedded systems

Qualification Software Life Cycle Data The Qualification Software Life Cycle Data provides a set of reports addressing the development process of AbsInt tools. These reports are particularly useful for certification acco

Source URL: www.absint.com

• Electronics
• Computing
• Embedded systems
• Software requirements
• Systems engineering
• DO-178B
• Avionics software
• Life-critical system
• Verification
• Avionics
• Software development
• Safety

COMPUTING THE WORST CASE EXECUTION TIME OF AN AVIONICS PROGRAM BY ABSTRACT INTERPRETATION Jean Souyris* ([removed]), Erwan Le Pavec* ([removed]), Guillaume Himbert* (guillaume.himbert@airbus.

Source URL: www.absint.com

• Technology
• Worst-case execution time
• CPU cache
• Parallel computing
• Computer
• Central processing unit
• Pointer
• Out-of-order execution
• Real-time computing
• Computing
• Electronics

´ for C Astree Astr´ee analyzes safety-critical structured C programs with complex memory usage conforming to the C99 standard. This targets embedded applications as found in earth transportation, nuclear energy, medic

Source URL: www.absint.com

• C programming language
• Cross-platform software
• Abstract interpretation
• Astrée
• MISRA C
• Source code
• C
• SQL
• Pointer
• Computing
• Software engineering
• Computer programming

manuscript No. (will be inserted by the editor) Lili Tan The Worst Case Execution Time Tool Challenge 2006:

Source URL: www.absint.com

• Computing
• Programming language implementation
• WCET
• Benchmark
• Usability
• Compiler
• Electronics
• Technology
• Real-time computing
• Worst-case execution time

aiT Worst-Case Execution Time Analyzer Timing Validation for Real-Time Systems aiT WCET Analyzer computes tight bounds for the worst-case execution time of tasks in safety-critical systems. These bounds are safe, i.e. th

Source URL: www.absint.com

• Technology
• Real-time computing
• Worst-case execution time
• Central processing unit
• CPU cache
• DO-178B
• Debugging
• Cache
• Pipeline
• Computing
• Embedded systems
• Electronics

Evaluation License Agreement This limited non-exclusive non-transferable License Agreement is between AbsInt Angewandte Informatik GmbH Science Park 1 D[removed]Saarbr¨ucken

Source URL: www.absint.com

• Proprietary software
• Strategic management
• Free software
• License
• Copyright law of the United States
• Business
• Free software licenses
• Software licenses
• Computer law
• Law

PDF Document

Source URL: www.absint.com

• Programming language implementation
• Compiler optimizations
• Real-time computing
• Worst-case execution time
• Infinite loop
• Control flow
• For loop
• Pointer
• Parallel computing
• Computing
• Software engineering
• Computer programming