| 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 interacts with students from the Logic and Computation
Group, the Distributed Systems Laboratory
(DSL),
and the General Robotics and Active Sensory Perception Laboratory
(GRASP) at Penn.