Theory Formal Verification of Concurrent Real-Time Systems, Hardware-Software Coverification, Petri Net Analysis of Hardware Synthesis Hardware/Software Codesign Methodology for Distributed/Embedded Systems, Coverification Techniques, Hardware System-Level Design Automation, Multiprocessor Architecture Design, Object-Oriented Technology Transfer Software Model-Checking Tool Development, Real-Time Application Development, Object-Oriented Application Framework Design