Features

HKSAT validates embedded software with the following characteristics:

• HKSAT helps detect software errors early in the development life cycle.
• HKSAT detects errors from the source code of embedded software in various ways and provides the results as reports.
• HKSAT automatically performs tasks from performing the analyses to generating the documentation.
• HKSAT visualizes the analysis results for better user's understanding.
• HKSAT performs various analyses on a single platform.
• HKSAT provides a convenient graphical user interface with various views, which display target software information in various ways in conjunction 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 with some coding rules (API usage rules, global variable initialization)
• Detect potential implementation risks (race conditions, recursion, maximum stack usage, duplicate code)
• Identify modules to be retested after code changes

Possible Analyses

Currently, HKSAT can perform the following analyses:

• 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 function API usage rule compliance and global variable initialization and checks the presence of race 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.