Share 'CHESS Project'

Executive Summary The CHESS project seeks to improve Model Driven Engineering practices and technologies to better address safety, reliability, performance, robustness and other extra-functional concerns while guaranteeing correctness of component development and composition for embedded systems. System development costs will be reduced through extensive use of provable automation and model trans…