Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012

Source URL: www.absint.com

• Software
• Avionics
• Embedded systems
• Software testing
• DO-178B
• Astrée
• Functional Safety
• DO-178C
• Software development process
• Software development
• Safety
• Software requirements

StackAnalyzer for ERC32 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

Source URL: www.absint.com

• Compiler construction
• Compilers
• ERC32
• Call graph
• GNU Compiler Collection
• Compiler
• GNAT
• Linux
• Software
• Computing
• Programming language implementation

www.dspace.com Safely Excluding Serious Errors Translation of “Schwere Fehler sicher ausschließen” Published at: Elektronik Automotive

Source URL: www.absint.com

• Software bugs
• Abstract interpretation
• Astrée
• Embedded systems
• Program analysis
• Cross-platform software
• Worst-case execution time
• TargetLink
• Static program analysis
• Computing
• Software engineering
• Computer programming

ValueAnalyzer for RX ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system f

Source URL: www.absint.com

• Renesas Electronics
• Embedded system
• Debugging

StackAnalyzer for HCS12 StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call grap

Source URL: www.absint.com

• Freescale 68HC12
• Microcontrollers
• Programming language implementation
• CodeWarrior
• Metrowerks
• Compiler
• Call graph
• Programming tool
• Software
• Computing
• Compiler construction

ValueAnalyzer for Am486 ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software syste

Source URL: www.absint.com

• 64-bit
• Computing
• Computer engineering
• Am486
• X86
• Embedded system

absint: distilleries de provence, france Absente [55%] Grande Absente [69%] pernod, france

Source URL: www.tire-bouchon.dk

StackAnalyzer for PPC StackAnalyzer automatically determines the worst-case stack usage of the tasks in your application. The analysis results of the analyzed binary executable are shown as annotations in the call graph

Source URL: www.absint.com

• Compilers
• Programming language implementation
• GNU Compiler Collection
• Compiler
• Call graph
• Ada
• Programming tool
• Software
• Computing
• Compiler construction

aiT for MPC755 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

Source URL: www.absint.com

• Programming language implementation
• Real-time computing
• Worst-case execution time
• GNU Compiler Collection
• Programming tool
• Toolchain
• C
• Software
• Computing
• Compilers

ValueAnalyzer for PPC ValueAnalyzer is a static program analyzer for value analysis of register and memory contents. It is particularly useful for verifying the absence of illegal accesses to an embedded software system

Source URL: www.absint.com

• Cross-platform software
• Compilers
• GNU Compiler Collection
• Programming tool
• CodeWarrior
• Ada
• PowerPC
• C
• Linux
• Software
• Computing
• Computer programming