Zhouyang Wang

Supervisor: Prof. Yong Cai

• Modular Avionics Partitioning Framework
  Co-author, 3rd Author – Paper accepted at SFPVV 2024:
  “A Framework for Standardized Partitioning Analysis in Integrated Modular Avionics Systems”
  Developed a five-step standardized analysis process for IMA systems based on DO-297 guidelines, including attribute identification, fault source extraction, vulnerability assessment, and mitigation validation. Investigated time/space isolation challenges due to shared resource interference (e.g., DMA, MMU, interrupts, cache coherence), contributing to experiment design and system validation diagrams.
• TIM: Multi-core Interference Analysis Tool
  Co-author, 2nd Author – Paper accepted at DASC 2025:
  “Tailored Interference Mixer: A Tool for Analyzing Single and Combined Interference Channels in a Multi-core System”
  Designed a cross-platform interference generator supporting shared resource (cache, bus, memory) attack templates. Enabled inter-core scheduling and injection via Remote Processor Messaging and analyzed PMU-based performance metrics before/after interference. Demonstrated how combined interference can significantly surpass single-channel effects in system safety analysis.

Key gains: Reinforced skills in system modeling, cross-layer design, technical documentation, and aviation-grade safety standards.

• Participated in the frontend development of an IoT management platform.
• Improved UI responsiveness and user experience by optimizing data interaction modules.
• Supported staff members in their daily tasks, reducing workload burden and allowing for increased focus on higher-priority assignments.