Dyg. Norhayati Abg. Jawawi
Papers
1
Total Citations
2
H-Index
1
About
Dyg. Norhayati Abg. Jawawi is a leading researcher in software engineering, with a primary focus on formal methods, embedded real-time systems, and robotics. Her work centers on ensuring the reliability and correctness of safety-critical systems, particularly through the application of formal specification techniques. A key contribution is her pioneering use of the Z notation to formally specify a wall-climbing robot, demonstrating how rigorous mathematical models can verify timing and concurrency constraints in small-scale embedded hard real-time systems. This case study, published in 2012, highlights her ability to bridge theoretical formal methods with practical, hardware-constrained applications. While her most-cited paper has garnered 2 citations, reflecting the niche but specialized nature of her research area, her broader impact lies in advancing the dependability of software for autonomous and robotic systems. Her work is particularly valuable for researchers and students interested in the intersection of formal verification, real-time computing, and embedded system design, offering a concrete example of how formal specifications can enhance system trustworthiness.
Research Focus
Key Achievements
Top Papers
- 1