The Real-Time Systems Group
at The University of Pennsylvania



The Real-Time Systems Group, RTG, is a research group in the Department of Computer and Information Science of the School of Engineering and Applied Science at the University of Pennsylvania. The primary focus of the RTG is to develop formalisms for specifying real-time systems and automated techniques for testing and verifying real-time system specifications. 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.







Faculty


Visitors and Postdoctoral Fellows


Graduate Students





Current Research







Selected Recent Papers

Theory

  1. A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems, I. Lee and P. Bremond-Gregoire, Proceedings of the IEEE, Special Issue on Real-Time Systems Jan. 1994.
    Abstract - Full Postscript File

  2. The Soundness and Completeness of ACSR (Alegebra of Communicating Share Resources),
    P. Bremond-Gregoire, J.-Y. Choi, and I. Lee, Tech Report MS-CIS-93-59.
    Abstract - Full Postscript File

  3. A Process Algebra of Communicating Shared Resources with Dense Time and Priorities,
    P. Bremond-Gregoire and I. Lee, Tech Report MS-CIS-95-08.
    Abstract - Full Postscript File

Tools

  1. VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems,
    D. Clarke, I. Lee and H.-L. Xie, Journal of Computer Software Engineering, 3(2) 1995.
    Abstract - Full Postscript File

  2. VERSA: Verification, Execution and Rewrite System for ACSR,
    Real-Time Group Report D. Clarke, Technical Report, 1994.
    Abstract - Full Postscript File

  3. A Graphical Language with Formal Semantics for the Specification and Analysis of Real-Time Systems, H. Ben-Abdallah, I. Lee, and J.-Y. Choi, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.
    Abstract - Full Postscript File

Applications

  1. The Specification and Schedulability Analysis of Real-Time Systems using ACSR,
    J.-Y. Choi, I. Lee and H.-L. Xie, Proceedings of the 16th IEEE Real-Time Systems Symposium, 1995.
    Abstract - Full Postscript File

  2. Testing Real-Time Constraints in a Process Algebraic Setting, D. Clarke and I. Lee,
    Proceedings of the 17th International Conference on Software Engineering, 1995.
    Abstract - Full Postscript File

  3. Timing Analysis of Superscalar Processor Programs Using ACSR,
    J.-Y. Choi, I. Lee, and I. Kang, 11th IEEE Workshop on Real-Time Operating Systems and Software, 1994.
    Abstract - Full Postscript File

  4. Translation of Modechart Specification to Algebra of Communicating Shared Resources,
    J.-Y. Choi and I. Kang, Proceedings of the First International Workshop on Real-Time Computing
    Systems and Applications    , 1994.
    Abstract - Full Postscript File

Case Studies

  1. A Process Algebraic Method for Real-Time Systems. I. Lee, H. Ben-Abdallah, and J.-Y. Choi,
    Formal Methods for Real-Time Computing C. Heitmeyer and D. Mandrioli (eds),
    John Wiley & Sons Ltd, 1996
    Abstract - Full Postscript File

  2. A Hybrid Approach to Formal Verification Applied to an ATM Switching System, Duncan Clarke and Insup Lee, Technical Report MS-CIS-96-04, 1996.
    Abstract - Full Postscript File

Related Work

  1. State Minimization for Concurrent System Analysis Based on State Space Exploration, I. Kang and I. Lee, Proceedings of Conference on Computer Assurance, 1994.
    Abstract - Full Postscript File

  2. An Efficient State Space Generation for the Analysis of Real-time Systems, I. Kang and I. Lee, (Shoter version will appear in Proceedings of International Symposium on Software Testing and Analysis, 1996.
    Abstract - Full Postscript File




    Convenient References

    Information Services



    Insup Lee (lee@cis.upenn.edu)