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.

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

Currently, HKSAT can perform the following analysis:

Source Code Basic Analysis extracts source code syntax and structure information and writes Function Call Graphs and Control Flow Graphs.
Software Static Analysis Tool(SSAT) checks the function API usage rule compliance and global variable initialization. Moreover, it checks the presence of compete conditions and recursive calls.
Worst-Case Execution Time Analysis(WCETA) calculates the maximum time required to perform each process (task).
Schedulability Analysis(SCHA) analyzes whether processes can run in parallel within a given time period based on the WCET of each process.
Software Change Impact Analysis (SCIA) analyzes the impact of source code changes.
Duplicated Block of Code Analysis (DBCA) checks the source code for duplicates.
Static Stack Usage Analysis(SSUA) calculates the maximum stack usage for each function.