|RTG: Real Time Systems Group|
Real-time systems are becoming increasingly important in our society. There are many applications whose correctness are time dependent. They range from safety-critical systems such as nuclear reactors and automotive controller, to entertainment software such as games and graphics animation.
The goal of the Real-Time systems Group (RTG) at the University of Pennsylvania is to develop methods, tools and systems to facilitate the design and implementation of reliable distributed real-time systems. The current projects include the development of specification and analysis techniques for real-time systems, probabilistic modeling and analysis, schedulability analysis, run-time monitoring and checking, real-time wireless communication and hybrid systems.
The RTG is part of PRECISE Center.