Sponsor Notepads & Pens
kVA by UL provides functional safety advisory and training support services for the automotive industry. As a certified independent safety expert, kVA by UL applies safety principles and processes from ISO 26262, ISO/SAE 21434, ISO/PAS 21448 (SOTIF), and IEC 61508 standards to ensure safe product development.
kVA by UL
AbsInt provides tools for validation, verification, optimization, and certification of safety-critical software. Key products are source-code analyzers RuleChecker for checking coding guidelines and Astrée for proving the absence of runtime errors and data races. The static analyzers StackAnalyzer (for proving the absence of stack overflows), aiT WCET Analyzer (for obtaining timing guarantees ), and TimingProfiler (for computing WCET estimates in early stages) run at the binary level.
TimeWeaver combines static path analysis with real-time instruction-level tracing to provide WCET estimates. Using the formally verified optimizing compiler CompCert eliminates the risk of miscompilation errors.
AbsInt’s Qualification Support Kits and Qualification Software Life Cycle Data reports enable automatic tool qualification according to all common safety norms.
Founded in 1998, AbsInt is a privately-held company in Saarbrücken, Germany. 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 www.absint.com/success.htm.
TÜV Rheinland offers a broad Functional Safety & Cybersecurity service portfolio, helping manufacturers, system integrators, and operators with their safe and secure digital transformation. Our Functional Safety Training Program has supported more than 18,000 engineers and technicians in gaining and extending their knowledge in Functional Safety according to international standards, including IEC 61508 and IEC 61511.
295 Foster St Suite 100
Littleton, MA 01460