Publication | Open Access
Computing the Worst Case Execution Time of an Avionics Program by Abstract Interpretation
97
Citations
1
References
2008
Year
EngineeringAvionics ProgramTiming Analyser AitSoftware EngineeringComputational ComplexityEmpirical AlgorithmicsSoftware AnalysisFormal VerificationAit ToolTiming AnalysisSystems EngineeringPerformance PredictionRuntime VerificationAbstract InterpretationComputer EngineeringComputer ScienceProgram OptimizationPerformance Analysis ToolOptimizing CompilerStatic Program AnalysisSoftware DesignProgram AnalysisSoftware TestingFormal MethodsReal-time SystemsStatic AnalyserSystem Performance AnalysisSystem Software
This paper presents how the timing analyser aiT is used for computing the Worst-Case Execution Time (WCET) of two safety-critical avionics programs. The aiT tool has been developed by AbsInt GmbH as a static analyser based on Abstract Interpretation
| Year | Citations | |
|---|---|---|
Page 1
Page 1