[vc_row css=”.vc_custom_1527065439268{margin-top: 25px !important;}”][vc_column][vc_column_text]

Verified Compiler

CompCert is a formally verified optimizing C com­piler for safety-critical and mission-critical soft­ware. Unlike any other produc­tion compiler, it is mathe­ma­tic­ally proven to be exempt from mis­compila­tion issues. Such confi­dence in the correct­ness of the compila­tion process is un­prece­dent­ed and helps meet the highest levels of soft­ware assurance

Know more..

[/vc_column_text][/vc_column][vc_column css=”.vc_custom_1527065483226{margin-top: 25px !important;}”][vc_column_text]

WCET Software

aiT automatically computes tight upper bounds for the worst-case execu­tion time of tasks in real-time systems. It direct­ly analyzes bina­ry execut­ables and takes cache and pipe­line behavior into account. No testing or measuring is necessary, the analysis results hold for all in­puts and execu­tion scena­rios. Special kits simpli­fy the quali­fica­tion for DO-178C, ISO 26262, and other safety stan­dards.

Know more..

[/vc_column_text][/vc_column][vc_column css=”.vc_custom_1527065994453{margin-top: 25px !important;}”][vc_column_text]

Stack Analyzer

StackAnalyzer automatically determines the worst-case stack usage of the tasks in embed­ded applications. It directly ana­lyzes binary execut­ables and considers all possible execution scenarios. Tight inte­gration with TargetLink and SCADE is avail­able, as well as qualifi­cation kits for standards such as ISO 26262, DO-178B, and IEC 61508.

Know more..

[/vc_column_text][/vc_column][vc_column css=”.vc_custom_1527066003261{margin-top: 25px !important;}”][vc_column_text]

Run Time Error Analysis

Astrée automatically proves the absence of runtime errors and invalid con­current behavior in C appli­ca­tions. It is sound for floating-point compu­tations, very fast, and excep­tionally precise. The analyzer also checks for MISRA coding rules and supports quali­fi­cation for ISO 26262, DO-178C level A, and other safety standards. Jenkins and Eclipse plugins are available.

Know more..

[/vc_column_text][/vc_column][vc_column css=”.vc_custom_1527066013227{margin-top: 25px !important;}”][vc_column_text]

Reliability Software

Reliability Software from Isograph, UK. Isograph was founded in 1986 and is now 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 in all industries when Reliability, Availability and Safety are paramount. It is also used at universities throughout the world to teach undergraduate and postgraduate courses in engineering.

Know more..

[/vc_column_text][/vc_column][/vc_row]