HKSAT 2 User Manual

2025-09-17

Contents

• HKSAT Introduction
• Preparation
• Graphic User Interface (GUI)
• Command-Line Interface (CLI)
• Project Management
• Module Management
• Analysis Management
• Other Information
• Duplicated Block of Code Analysis (DBCA)
• SCHedulability Analysis (SCHA)
• Software Change Impact Analysis (SCIA)
• Software Static Analysis Tool (SSAT)
• Static Stack Usage Analysis (SSUA)
• Worst-Case Execution Time Analysis (WCETA)