AbsInt provides tools for validation, verification and certification of safety-critical software. Key products are the aiT Worst-case Execution Time Analyzer which computes upper bounds for the worst-case execution time of tasks and can provide timing guarantees, StackAnalyzer for proving the absence of stack overflows, and the Astrée analyzer for proving the absence of runtime errors and data races. RuleChecker is a coding guideline checker supporting MISRA C, CERT C, ISO/IEC TS 17961, and CWE. TimingProfiler computes execution time estimates of programs without the need to repeatedly provide test inputs, execute, and measure. CompCert is a formally verified optimizing C compiler which helps meet the highest standards of software assurance. Qualification Support Kits are available which enable all verification tools to be automatically qualified according to current safety norms.
AbsInt GmbH, Science Park 1, 66123 Saarbruecken, Germany | www.absint.com
Assystem Germany: With 1,100 employees at 15 locations in Germany, Assystem Germany offers advanced engineering and product solutions for the automotive, aerospace, industry and transportation sectors. Assystem Germany is part of the Assystem Group.
Assystem Germany GmbH, Erwin-von-Kreibig-Str. 3, 80807 München, Germany | www.assystem-germany.com
GAIO TECHNOLOGY provides embedded development and software testing tools based on our unique technology. Recent product category extend to design and modeling tool for safety and security area. Gaio also doing high quality engineering services for MBD and overall V&V activities based on
safety standard such as ISO26262 for automobile companies and suppliers.
GAIO TECHNOLOGY CO., LTD, Tennouzu First Tower 25F, 2-2-4 Higashi-Shinagawa
140-0002 Shinagawa Tokyo, Japan | www.gaio.com
Isograph was founded in 1986 and is one of the world’s leading companies in the development and provision of integrated Reliability, Availability, Maintainability and Safety software products. Isograph software is used widely in the Automotive industry. Isograph Reliability Workbench FaultTree+ and FMECA modules have been tested and certified by SGS-TÜV as suitable for safety analyses according to ISO26262.
Isograph Ltd, The Malt Building, Wilderspool Park, WARRINGTON, WA4 6HL, UK
Silver Atena is a development partner and supplier for prototypes and small series in the area of safety-relevant systems and power electronics. As a leading independent provider in the automotive, aerospace, renewable energy and industry sectors, Silver Atena provides solutions and variable business models to maximize customer use. Around 300 employees work for the company in Germany. First-class development and consulting expertise, highly qualified employees as well as excellent reference projects enable the company to gain the most important companies in its target industries.
For more information, visit www.silver-atena.de
Validas AG is your innovation partner specialized in method and tool use in the area of development of software intensive embedded systems.
We support our customers with selection, qualification and the use of their tools and tool chains. We align the use of tool chains to the specific requirements of your organization as well as to the safety standards IEC 61508 or ISO 26262.
Concerning the usage of tools and tool chains we provide consulting services to you for the following topics:
- Analysis (TCL-Determination) and documentation
- Test & test automation
- Configuration and adaption
- Methodological support and integration into your processes
VALIDAS AG, Arnulfstraße 27, 80335 Munich, Germany | www.validas.de