RTG Home  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn
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.

RTG Home  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn