CS Department Shangping Ren CODE group

People

Collaborators

Research Focus

Coordination models for open distributed and embedded systems that support real-time, fault-tolerant and adaptive properties; high-level actor-based programming languages for the model; and interval-based runtime constraint monitoring.

Positions

Currently, we have two RA position for PhD student available. For more information (if your research interests fall in the group's scope), contact Dr. Shangping Ren.

Funded projects

  • CAREER: Behavior-Based Coordination for Open Distributed Real-Time and Embedded Applications (Funding Agent: National Science Foundation) [Info]
  • Support for Organizing First International Workshop on Physical Cyber Systems (Funding Agent: National Science Foundation) [Info]
  • Modeling and Programming Distributed Adaptive Real-Time Embedded Systems (Funding Agent: National Science Foundation) [Info]
  • Research Experience for Undergraduates Supplement: Modeling and Programming Distributed Adaptive Real-Time Embedded Systems (Funding Agent: National Science Foundation) [Info]
  • A Self-Diagnosing, Configurable Distributed System for Testing Superconducting Accelerator Magnets (Funding Agent: Fermi National Accelerator Lab)
  • Achieving Adaptation in Open Distributed Time Critical Systems (Funding Agent: ERIF, IIT)                       

Other projects

Software Download

Selected publications

    • Journals and Book Chapters:
    1. "A Role-Based Coordination Model and its Realization,Nianen Chen,Yue Yu,Shangping Ren, Informatica,vol. 32, no. 3, pp. 229--244, 2008. [PDF] [BibTex]
    2. "Satisfaction Probabilities of Interval-based Timing Constraints",Yue Yu,Shangping Ren,Ophir Frieder, IEEE Transactions on Computers,vol. 57, no. 3, pp. 418--432, March,2008. [PDF] [BibTex]
    3. "Interval-based Timing Constraints: Their Satisfactions and Applications", Yue Yu, Shangping Ren, and Ophir Frieder, IEEE Transactions on Computers, vol. 57, no. 3, pp. 418-432, 2008. [PDF] [BibTex]
    4. "A Framework for Constructing Adaptive and Reconfigurable Systems", Pierre-Etienne Poirot, Jerzy Nogiec, and Shangping Ren, IEEE Transactions on Nuclear Science (To be published in Feb., 2008). [PDF][BibTex]
    5. "Architecture Support for Behavior-based Adaptive Checkpointing", Nianen Chen and Shangping Ren, Journal of Software Engineering, vol. 3, Issue 6, 2007. [PDF] [BibTex]
    6. "Toward an Architecture of a Component-Based System Supporting Separation of Non-Functional Concerns", Jerzy Nogiec, Kelley Trombly-Freytag, and Shangping Ren, International Journal of computer and Information Science and Engineering, vol. 1, no. 3, 2007. ISSN 1307-4164. [PDF][BibTex]
    7. "The Role of Roles for Supporting Reconfigurability in Open Distributed and Embedded Systems", Shangping Ren, Yue Yu, Nianen Chen, Jeffrey Tsai, and Kevin Kwiat, ACM Transactions on Autonomous and Adaptive Systems, vol. 2, no. 3, 2007. [PDF] [BibTex]
    8. "A Coordination Model and Its Application in Distributed Voting to Improving Software System Attack-tolerance and Survivability in Open Hostile Environments", Shangping Ren, Yue Yu, and Kevin A. Kwiat, International Journal of Distributed Sensor Networks, volume 3, Issue 2, April 2007, pages 175 – 199.
    9. "Adding Context into Access Control Model for Computer Security Policy", Shangping Ren, Jeffrey J.P. Tsai, and Ophir Frieder, chapter in the book “Advances in machine learning application in software engineering”, Idea Group Publishing, 2007, ISBN 159140942-X
    10. "A Modular Approach for Programming Distributed Real-Time Systems", Shangping Ren, Gul A. Agha, and Masahiko Saito Journal of Parallel and Distributed Computing, vol. 36, no. 1, 1996 pp 4-12, 1996.[PDF] [BibTex]
    11. "RTsynchronizer: Language Support for Real-Time Specifications in Distributed Systems", Shangping Ren and Gul A. Agha, ACM SIGPLSN Notices, vol. 30, no. 11, pp 50-59, November 1995. [PDF] [BibTex]

    • Conferences:
    1. "A Metric for Judicious Relaxation of Timing Constraints in Soft Real-Time Systems",Yue Yu,Shangping Ren, Xiaobo Sharon Hu, Real-Time and Embedded Technology and Applications Symposium, IEEE,vol. 0, pp. 163-172, 2009. [PDF] [BibTex]
    2. "Adaptive optimal checkpoint interval and its impact on system's overall quality in soft real-time applications",Nianen Chen,Shangping Ren, SAC '09: Proceedings of the 2009 ACM symposium on Applied Computing,vol. 0, pp. 1015--1020, 2009. [PDF] [BibTex]
    3. "Checkpoint Interval and System's Overall Quality for Message Logging-Based Rollback and Recovery in Distributed and Embedded Computing",Nianen Chen,Yue Yu,Shangping Ren, ICESS '09: Proceedings of the 2009 International Conference on Embedded Software and Systems,vol. 0, pp. 315--322, 2009. [PDF] [BibTex]
    4. "Comparison of FieldBus Systems, CAN, TTCAN, FlexRay and LIN in Passenger Vehicles",Steve C. Talbot,Shangping Ren, The 2nd IEEE International Workshop on Cyber-Physical Systems in Conjunction with ICDCS,2009. [PDF] [BibTex]
    5. "Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints",Yue Yu,Shangping Ren, Carolyn L. Talcott,Foundations of Coordination Languages and Software Architectures (FOCLASA'08),2008. [PDF] [BibTex]
    6. "Developing Concurrent Applications on Emerging Multicore Platforms", Shangping Ren and Jerzy Nogiec, the First International Workshop on Frontiers in Complex, Intelligent and Software Intensive Systems (FCISIS-2008) in conjunction with IEEE International Conference on Complex, Intelligent and Software Intensive Systems (CICIS-2008) [PDF] [BibTex]
    7. "A Non-Intrusive Approach to Enhance Legacy Embedded Control Systems with Cyber Protection Features", Shangping Ren and Kevin A. Kwiat, the 2nd International Workshop on Secure Software Engineering,in conjunction with IEEE ARES 2008 (The Third IEEE International Conference on Availability, Reliability and Security), [PDF] [Bibtex]
    8. "Retrofitting Cyber Physical Systems for Survivability through External Coordination", Shangping Ren and Kevin A. Kwiat, the 41th Hawaii International Conference on System Sciences, HICSS 2008, [PDF][Bibtex]
    9. "Comparing Three Coordination Models: Reo, ARC, and RRD", Carolyn Talcott, Marjan Sirjani, and Shangping Ren, Foundations of Coordination Languages and Software Architectures, 2007.
    10. "A Workflow-based Non-intrusive Approach for Enhancing the Survivability of Critical Infrastructures in Cyber Environment", Kun Xiao, Nianen Chen, Shangping Ren, Limin Shen, Xianhe Sun, Kevin A. Kwiat, and Michael Macalik, Proceedings of International Conference on Software Engineering, Workshop on Software Engineering for Secure Systems, ICSEW 2007.[PDF][Bibtex]
    11. "A Time and Interaction Model for Open Distributed Timing Computation", Limin Shen, Shangping Ren, and Feng Li, Proceedings of the 7th International Conference on Algorithms and Architectures for Parallel Processing (ICA3PP’07) LNCS 4494, Springer-Verlag Berlin Heidelberg, 2007.[PDF] [BibTex]
    12. "Dynamic Composition of Web Service Based on Coordination Model", Limin Shen, Shangping Ren, and Feng Li, Proceedings of the Workshop on Emerging Trends of Web Technologies and Applications, WebEtrends’07.[PDF] [BibTex]
    13. "Expected Time for Obtaining Dependable Data in Real-Time Environment", Yue Yu and Shangping Ren, Proceedings of the 15th IEEE International Workshop on Parallel and Distributed Real-Time Systems, WPDRTS 2007.[PDF] [BibTex]
    14. "Extending the ARC Model with Generative Coordination", Kevin Marth and Shangping Ren, Proceedings of the 22nd ACM Symposium on Applied Computing, SAC 2007.[PDF] [BibTex]
    15. "Take Intelligent Risk and Optimize Decision Based on Time, Available Resources and Risk Tolerance Limits", Yue Yu, Shangping Ren, and Kevin A. Kwiat, Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2007, [PDF] [BibTex]
    16. "Building a Coordination Framework to Support Behavior-based Adaptive Checkpointing for Open Distributed Embedded Systems", Nianen Chen and Shangping Ren, Proceedings of the 40th Hawaii International Conference on System Sciences, HICSS 2007.[PDF] [BibTex]
    17. "Actors, Roles and Coordinators - A Coordination Model for Open Distributed Embedded Systems", Shangping Ren, Yue Yu, Nianen Chen, Kevin Marth, Pierre-Etienne Poirot, and Limin Shen, Proceedings of the 8th IFIP International Conference on Coordination Models and Languages, 2006 (LNCS Vol 4038, 2006).[PDF] [BibTex]
    18. "Prediction of Timing Constraint Violation for Real-Time Embedded Systems with Known Transient Hardware Fault Distribution Model", Yue Yu, Shangping Ren, and Ophir Frieder, Proceedings of the 27th IEEE Real-Time System Symposium, 2006.[PDF] [BibTex]
    19. "Using a Role-based Coordination Model to Achieve Adaptive and Quantifiable Dependability for Open Distributed Embedded Systems", Nianen Chen and Shangping Ren, the Proceedings of the 20th International Conference on Object-Oriented Programming, Systems, Languages, and Applications (Doctoral Symposium), ACM SIGPLAN, OOPSLA 2006.Shangping Ren, and Ophir Frieder, Proceedings of the 27th IEEE Real-Time System Symposium, 2006.[PDF] [BibTex]
    20. "Separating functional and non-functional concerns through coordination: an application to reliability", Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, and Jeffery Tsai, the 30th IEEE Annual International Computer Software and Application Conference, 2006.[PDF] [BibTex]
    21. "Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems", Shangping Ren, Limin Shen, and Jeffery Tsai, Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2006.Pierre-Etienne Poirot, Shangping Ren, Jerzy Nogiec, and Jeffery Tsai, the 30th IEEE Annual International Computer Software and Application Conference, 2006.[PDF] [BibTex]
    22. "A Coordination Model for Improving Software System Attack-tolerance and Survivability in Open Hostile Environments", Kevin Kwiat and Shangping Ren, Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing, 2006.[PDF] [BibTex]
    23. "Providing Fault-Tolerance through a Distributed Coordination Model for Open Distributed Embedded Systems", Nianen Chen, Pierre-Etienne Poirot, and Shangping Ren, Proceedings of the 12th IEEE Real-Time Embedded Technology and Applications Symposium (Working-in-Progress), April, 2006.
    24. "Analysis and Measurements of Software Flexibility Based on Flexible Points", Limin Shen and Shangping Ren, Proceedings of the third Software Measurement European Forum, 2006.
    25. "A Dynamic Aspect Oriented Framework for Achieving Imprecise Computing in Real Time Applications and Aspect Weaving Benchmarks", Sebastien Vallon, Nianen Chen, and Shangping Ren, AOSD Workshop on Open Aspect Language, 2006.
    26. "A Unified Object-Oriented Programming Language", Kevin Marth and Shangping Ren, MPOOL Workshop in OOPSLA'05.
    27. "A Layered Architecture for Real-Time Open Distributed Systems", Nadeem Jamali and Shangping Ren, Proceedings of the 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, 2005.[PDF] [BibTex]
    28. "Delta Changes for OO Software Adaptation: Pervasive or Invasive?", Atef Bader, Shangping Ren, and Husein Armouti, Proceedings of the 38th Hawaii International Conference on System Sciences - Adaptive and Evolvable Software Systems: Techniques, Tools and Applications, 2005.[PDF] [BibTex]
    29. "System Imposed and Application Compliant Adaptations", Shangping Ren, Mattox Beckman, and Tzilla Elrad, the 4th International Workshop on Distributed Auto-adaptive and Reconfigurable Systems, DARES'04, 2004.[PDF] [BibTex]
    30. "A Modular Approach for Programming Embedded Systems", Shangping Ren and Gul A. Agha in Frits Vaandrager and Grzegorz Rozenberg (editors), Embedded Systems, Lecture Notes in Computer Science, vol. 1494, pp 170-207, Springer-Verlag, 1998.
    31. "Specification of Real-Time Interaction Constraints", Brian Nielsen, Shangping Ren, and Gul A. Agha Proceedings of the First International Symposium on Object-Oriented Real-Time Computing, ISORC’98, pp 9-19, IEEE Computer Society, 1998.[PDF] [BibTex]
    32. "Source Code Level Infeasibility Detection on Declarative Timing Constraints Specified with RTsynchronizers", Shangping Ren and Gul A. Agha ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Real-Time Systems, pp 1-10, 1997.[BibTex]
    33. "Formalizing multimedia QoS Constraints Using Actors", Shangping Ren, Nalini Venkatasubramanian, and Gul A. Agha Proceedings of Second IFIP International Conference on Formal Methods for Open Object Based Distributed Systems, FMOODS’97, September 1997. [PDF] [BibTex]
    34. "A Modular Approach for Programming Distributed Real-Time Systems", Shangping Ren, Gul A. Agha, and Masahiko Saito Journal of Parallel and Distributed Computing, vol. 36, no. 1, pp 4-12, 1996. Also published in School on Embedded Systems, European Educational Forum, pp 52-72, 1996.

    • Submitted Papers:
    • "Semiring-Based Temporal Constraints: Their Satisfiability and Properties", Yue Yu, Shangping Ren, and Ophir Frieder, ACM Transactions on Embedded Computing System (Submitted).

      •  

    Technical Reports

    1. "A New Metric for Quantifying Similarity between Timing Constraint Sets in Soft Real-Time Systems", Yue Yu and Shangping Ren, Department of Computing Science, Illinois Institute of Technology, Tech. Rep., 2009. [PDF]
Copyright 2009, Company name. All rights reserved.