The PRECISE center is the point of convergence for several related research efforts by the affiliated faculty in the areas of cyber-physical systems, distributed, real-time, and embedded systems, formal specification and verification, control theory, and trust management.
PRECISE research is being applied to several application domains, including embedded software-intensive medical devices, embedded software design and verification, wireless sensors, and robotics.
High-Confidence Medical Device Software Systems The development and production of medical device software and systems is a critical issue as medical device software is increasingly sophisticated and medical devices are networked. Of particular importance is how to ensure such medical device systems are safe.
PRECISE weekly meetings :
PRECISE weekly meetings for Fall 2009 will be held on Wednesdays, 3 - 4pm in Levine 512. Everyone is welcome!
Fall 2009 Seminar:
The seminar schedule for Fall 2009 is up
Read More
2008 IEEE (TCRTS) Technical Achievement Award - Insup Lee received IEEE Technical Committee on Real-Time Systems (TCRTS) Technical Achievement Award for outstanding technical achievement and leadership. The award was given at the IEEE Real-Time Systems Symposium held in Barcelona, Dec 2008.
2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award Georgios Fainekos won the "2008 Frank Anger Memorial ACM SIGBED/SIGSOFT Student Award"