High-confidence Embedded and Cyberphysical Systems

Research Teams

  • Spades - Sound Programming of Adaptive Dependable Embedded Systems
  • ConVeCS - Construction of Verified Concurrent Systems
  • CORSE - Compiler Optimizations and Runtime Systems
  • AMfoRS - Architectures and Methods for Resilient Systems
  • PACSS - Proofs and Code analysis for Safety and Security
  • Synchrone - Languages and tools for the design, simulation and verification of embedded systems
  • Tempo - Timed and Hybrid Systems
Projects may be found on the PCARRE web site.
Published on  July 12, 2016
Updated on December 2, 2016