RTG Home  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn

RTG Projects

Current Projects TrustForge DARPA Medical device research QTM: Quantitative Trust Management MURI Compositional Schedulability Analysis (Hierarchical Real-Time Systems) Modular Specification of Hybrid Systems: CHARON Run-time Monitoring and Checking Specification and Analysis of Real-Time Systems: ACSR, VERSA Wireless and Mobile Systems Past Projects Design, Implementation, and Validation of Embedded Software: MoBIES High Assurance Systems Tools and Environment: HASTEN Model-Based Development: Code Generation, Test Generation Timed REachability Analysis Tool: TREAT

RTG Home  |   PRECISE  |   CIS Home  |   Penn Engineering  |   Penn