Make your embedded code safe with Static Analysis Tools
Explore how Static Analysis tools can transform your development process, qualify for integral safety certifications, and protect your products from liability.
Our tools can solve problems
for safety-critical embedded software
Astrée
A static code analyzer that proves the absence of runtime errors and invalid concurrent behavior in safety-critical software written or generated in C/C++.
Binary Code Level Tools
StackAnalyzer
Automatically determines the worst-case stack usage of the tasks in your application. Finds stack overflows.
aiT WCET Analyzer
Statically computes tight bounds for the worst-case execution time (WCET) of tasks in real-time systems. The tool analyzes binary executables and takes the intrinsic cache and pipeline behaviour into account.
TimeWeaver
Combines static path analysis with timing measurements to provide WCET estimates.
TimingProfiler
Helps identify application parts that cause unsatisfactory execution times. Delivers results as soon as code is compiled, so it can be used very early in the development process, when measurements on physical hardware are costly or plain impossible.
Explore our product line
as part of your
development process:
Download graphic HERE.
Qualification Support
Formal verification with complete & reliable results.
Usage of our tools can be qualified according to ISO 26262, DO-178B/C, IEC-61508, and other safety standards
About Our Services
Joral Technologies offers a wide range of static program analysis tools that are designed to help developers create safe, reliable, and cost-effective embedded systems. These tools are specifically designed for validation, verification, and certification of safety-critical software. They are compatible with C and C++ programs and provide means to reduce testing and validation costs by analyzing the software at compile time.
The underlying theory of these tools is based on abstract interpretation, which is a sound method of program analysis. This means that the results of the analysis hold for any program execution and any possible input scenario. This is particularly important in the development of real-time systems, where the correctness of the software depends not only on its logical correctness but also on the timeliness of the results.
The tools that Joral Technologies offers such as aiT, StackAnalyzer, and Astrée provide formal verification with 100% complete and reliable results. They are therefore perfectly suited to be used for certification and comply with safety standards such as ISO 26262, DO-178B/C, IEC-61508, EN-50125 and others. These standards require identifying potential functional and non-functional hazards and demonstrating that the software does not violate the relevant safety goals. These tools are essential for ensuring the safety and reliability of embedded systems in various industries.
