READAPT V&V

PCA Related Links

• LM ATL READAPT V&V (public site):
  http://www.atl.external.lmco.com/proj/readapt/
  
  
• LM ATL CSIM Modeling Environment:
  http://www.atl.lmco.com/proj/csim/
  
  
• Univ. of Pennsylvania Run-time Monitoring and Checking (MaC):
  http://www.cis.upenn.edu/~rtg/mac/
  
  
• MIT RAW:
  http://www.cag.lcs.mit.edu/raw/

• DARPA IPTO PCA Project:
  http://www.darpa.mil/ipto/Programs/pca/
  
  
• Morphware Forum:
  http://www.morphware.org
  
  
• Four PCA Systems under development:
  1. MIT's Raw Architecture Workstation (RAW):
     http://cag.lcs.mit.edu/raw/
  2. Stanford Smart Memories:
     http://www-vlsi.stanford.edu/smart_memories/
  3. USC/ISI's A MOrphable Networked microARCHitecture (MONARCH):
     http://www.isi.edu/asd/monarch/
  4. Univ. of Texas at Austin Tera-op Reliable and Intelligently Adaptive Processing System (TRIPS):
     http://www.cs.utexas.edu/users/cart/trips/