Below is a sampling of publications covering the formal methods and tools that will form the basis of our AADL analysis tools. A more complete list of publications can be found on the University of Pennsylvania Real-Time Group website.

The Furness Toolset

• [CS05] The Montana Toolset: Formal Analysis of AADL Specifications. A presentation to the SAE-AS2C Working Group, Seal Beach, California, 27 January 2005.
  PPT File

ACSR / VERSA

• [LBG94] A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems, Insup Lee, Patrice  Bremond-Gregoire and Richard Gerber, Proceedings of the IEEE, Special Issue on Real-Time Systems Jan. 1994.
  Abstract - Full Postscript File - PDF File
• [BrLe97] A Process Algebra of Communicating Shared Resources with Dense Time and Priorities, Patrice  Bremond-Gregoire and Insup Lee, Theoretical Computer Science , 189 1997.
  Abstract - Full Postscript File - PDF File
• [LPS02] Process Algebraic Modeling and Analysis of Power-Aware Real-Time Systems, Insup Lee, Anna Philippou, and Oleg Sokolsky,  Computing and Control Engineering Journal, Vol 13, Number 4, pp. 180-188
  Abstract - Word Document
• [BCC98] A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems, Hanêne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young Si Kim, Insup Lee and Hong-Liang Xie, Real-Time Systems , 15 1998
  Abstract - PDF File
• [PSL01] Hiding Resources that Can Fail, Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and Scott Smolka, Information Processing Letters Volume 80, Issue 1, Oct 2001
  Abstract - Full Postscript File - PDF File
• [CLX95a] VERSA: A Tool for the Specification and Analysis of Resource-Bound Real-Time Systems, Duncan Clarke, Insup Lee and Hong-Liang Xie, Journal of Computer Software Engineering, 3(2) 1995.
  Abstract - Full Postscript File - PDF File

Charon

• [AGH00] Modular specifications of hybrid systems in CHARON, Rajeev Alur, Radu Grosu, Yerang Hur, Vijay Kumar, and Insup Lee,   Hybrid Systems: Computation and Control, LNCS 1790, pp. 6-19, 2000
  Abstract - Full Postscript File - PDF File
• [ADE01] Hierarchical Hybrid Modeling of Embedded Systems,  Rajeev Alur, Thao Dang, Joel Esposito, R. Fierro, Yerang Hur, Franjo Ivancic, Vijay Kumar, Insup Lee, Pradyumna Mishra, George Pappas, and Oleg Sokolsky, Proceedings of EMSOFT'01: First Workshop on Embedded Software, Tahoe City, California, USA, Oct 8 - 10, 2001.
  Abstract - Full Postscript File - PDF File
• [HL02] Distributed Simulation of Multi-Agent Hybrid Systems, Yerang Hur, Insup Lee,  IEEE International Symposium on Object-Oriented Real-time distributed Computing (ISORC), Crystal City, Virginia, USA, April 29-May 1, 2002
  Abstract - Full Postscript File - PDF File
• [LCTES03] Generating Embedded Software from Hierarchical Hybrid Models, Rajeev Alur, Franjo Ivancic, Jesung Kim, Insup Lee and Oleg Sokolsky,   Proceeding of ACM SIGPLAN Languages, Compilers, and Tools for Embedded Systems (LCTES'03), San Diego, California, June 11-13, 2003
  Abstract - Full Postscript File - PDF File