Content deleted Content added
m Open access bot: doi updated in citation with #oabot. |
m Added links, citation tag. |
||
Line 65:
| doi = 10.1145/1347375.1347389| citeseerx = 10.1.1.458.3540
| s2cid = 2139310
}}</ref> of tasks in [[real-time systems]]. It directly analyzes binary executables and takes the intrinsic cache and pipeline behavior of the [[microprocessor]] into account.<ref name=RTS>{{cite journal
| first1 = Christian
| last1 = Ferdinand
Line 131:
}}</ref>
RuleChecker is a static program analyzer that automatically checks C/[[C++]] code for compliance with coding guidelines including [[MISRA C]]/C++, [[SEI CERT C]], [[Common Weakness Enumeration|CWE]], [[List_of_ISO_standards_16000–17999|ISO/IEC TS 17961:2013]], and Adaptive Autosar C++ Coding Guidelines.
TimeWeaver is a hybrid [[worst-case execution time|WCET]] analysis tool that combines static path analysis and static value analysis with non-intrusive real-time instruction-level tracing to bound the worst-case execution time ([[worst-case execution time|WCET]]). This approach works for a wide range of modern high-performance ([[multi-core]]) processors.
[[CompCert]] is a formally verified optimizing C [[compiler]]. Its intended use is the compilation of safety-critical and mission-critical software written in C and meeting high levels of assurance. It produces machine code for the [[PowerPC]], [[ARM architecture family|ARM]] and [[AArch64]], [[IA32]] ([[x86]] [[32-bit]]), [[AMD64]], and [[RISC-V]] (32- and [[64-bit]]) architectures. Since 2015 AbsInt offers commercial licenses, provides industrial-strength support and maintenance, and contributes to the advancement of the tool. For the development of CompCert, [[Xavier Leroy]] and the development team of CompCert received the 2021 [[ACM Software System Award]].
==History==
Line 152:
}}</ref> The first version of PAG was released in 1995. With PAG/WWW, a free academic version of PAG is available which has been used worldwide in numerous teaching courses.
In 2001, the StackAnalyzer product line for static [[Stack (abstract data type)|stack usage]] analysis was launched, followed by the aiT WCET Analyzer product line in 2002. In 2004, only half a year after its launch, aiT was awarded a European Information Society Technology Prize <ref>[https://web.archive.org/web/20071116120620/http://www.ict-prize.org/winners/list.html?year=2004 ict-prize.org in web.archive.org], retrieved on 29.09.2023</ref> for "groundbreaking products that represent the best of European innovation in information society technologies". In 2004, aiT was used to analyze the flight-control software of the [[Airbus A380]], the world's largest passenger aircraft.<ref name=A380>{{cite conference
| first1 = Jean
| last1 = Souyris
Line 169:
| year = 2005
| pages=21–24
}}</ref> In 2006, the Analyzers successfully passed the first [[Worst-case execution time#WCET Tool Challenge|WCET Tool Challenge]] carried out by
| first1 = C.
| last1 = Ferdinand
| |||