A Software Verification Technique for Ubiquitous, Situation-Aware Middleware

Wednesday, September 29, 2004 - 17:30
TH 331
Hoh Peter In, Korea University

The first half of this talk introduces an innovative embedded and ubiquitous technique Situation-Aware Middleware (SAM) Framework. SAM provides seamless, ubiquitous services by analyzing context-aware data from embedded sensors and their sensor networks. The SAM framework has the following noble characteristics: situation-awareness, automated component integration for combining crosscutting aspects, separation of aspects components and middleware core components, meta-programmable dynamic instrumentation, trade-off analysis for application and targe middleware model optimization, extended validation and verification framework, and security and survivability mechanisms utilizing software agents.

The second half of this talk focuses on a software verification technique (called, "graph-based incremental model checking technique") for the SAM applications. Unlike other software verification techniques, the proposed technique is very effective for situation-aware applications which are changed according to situations frequently. It isolates the changed states, calculates the impacts of the change, and verifies only the relevant states without verifying other remaining states using the innovative graph-based incremental model checking technique.


Hoh Peter In received his B.S. and M.S. degrees from Korea University in 1990 and 1992, and his Ph.D. from the University of Southern California (USC) in 1998, all in Computer Science. From 1999 to 2003, he was the associate director of the Software Process Improvement Lab (SPIL) and an assistant professor in Dept. of Computer Science at Texas A&M University. He is now an assistant professor in the Dept. of Computer Science and Engineering at Korea University. Between 1994 and 1998, he participated in the WinWin project under the direction of Professor Barry w. Boehm at the USC Center for Software Engineering as a graduate research assistant. He worked for an information agent project (SIMS) at USC Information Sciences Institution (ISI) from 1993 to 1994 as a student researcher. He also worked for a multi-media object-oriented database project at USC Database Lab from 1992 to 1993 as a graduate research assistant.

His current research interests include embedded and ubiquitous software engineering, mobile, wireless sensor network, distributed component architectures, requirements engineering.

He has served as the Program Chair of the 2004 EUSE (Embedded and Ubiquitous Software Engineering) workshop, Vice Chair of Software Engineering on the Internet at the 2002 SAINT (Internation Symposium on Applications and the Internet), Publication Chair of the 2001 IEEE RTES (International Workshop on Real-Time Embedded Systems), and Program Committee of the IEEE COMPSAC (International Computer Software and Applications Conference) from 2000 to 2004. His honors and awards include a Best Paper Award in IEEE International Conference on Requirements Engineering (1996), two Student Best Paper Awards in Korea International Science Society (1988, 1989) and a Student Best Paper Award in Korea Academic Promotion Foundation (Korea Research Foundation, 1988).