HKSAT Introduction
Features
HKSAT validates embedded software with the following features:
- HKSAT helps detecting software errors early in the development life cycle.
- HKSAT detects errors from the source code of embedded software in many ways and provides the
results as reports.
- HKSAT automatically performs tasks from performing the analysis to generating the documentation.
- HKSAT visualizes the analysis results for user's better understanding.
- HKSAT performs various analysis on a single platform.
- HKSAT provides a convenient Graphical User Interface with many views, which display target software
information in various ways, and integrate with each other.
Usage
HKSAT can be used to
- Extract the syntax and structure of source codes
- Predict the performance of real-time software
- Ensure time-based compliance with real-time software
- Check compliance for some coding rules (API usage rules, global variable initialization)
- Detect potential implementation risks (race conditions, recursion, maximum stack usage, duplicate
code)
- Identify modules which have to be retested after changing the codes
Possible Analysis
Currently, HKSAT can perform the following analysis: