关键词：电子信息；软件；系统
摘 要：BRIEF DESCRIPTION OF PORTFOLIO: Enable quantifiable performance evaluation of critical software systems. Manage software environments in order to preserve vital mission functions. Comprehensively understand distributed effects in large software infrastructures to predict global system failures. LIST SUB-AREAS IN PORTFOLIO: Models for Composeable Dynamic Software. Dynamic Formal Analysis and Verification. Online Assessment and Repair of Failure.
内 容：