A5102888017- Advanced Sensor and Control Systems
- Software Engineering Research
- Software Reliability and Analysis Research
- Real-Time Systems Scheduling
- Advanced Algorithms and Applications
- Software Testing and Debugging Techniques
- Distributed systems and fault tolerance
- Higher Education and Teaching Methods
- Advanced Computational Techniques and Applications
- Embedded Systems Design Techniques
Microsoft (United States)
2024
Missouri University of Science and Technology
2018
Hefei University of Technology
2010
Rust is a general-purpose programming language designed for performance and safety. Unrecoverable errors (e.g., Divide by Zero) in programs are critical, as they signal bad program states terminate abruptly. Previous work has contributed to utilizing KLEE, dynamic symbolic test engine, verify the would not panic. However, it difficult engineers who lack domain expertise write code correctly. Besides, effectiveness of KLEE finding panics production been evaluated. We created an approach,...
Many real-time systems are safety-critical, where reliability is crucial. Under traditional scheduling mechanism, the execution patterns of tasks on such system can be easily derived from side-channel attacks, that attackers launch short high-priority at critical instants which may cause deadline miss for high-critical tasks. In order to protect kind this paper proposes roulette wheel scheduler (RWS) randomize task pattern. RWS, probabilities will assigned each predefined points, and choice...