Towards a Model-Based Toolchain for High Confidence Design.pptVIP

* Towards a Model-Based Toolchain for High Confidence Design Peter Volgyesi Gabor Karsai Janos Sztipanovits Sandeep Neema Harmon Nine Joe Porter Ryan Thibodeaux Vanderbilt University/ISIS Recap:Focus Area 2:Model-based Software Design and Verification Foundations of model-based software design for high-confidence, networked embedded systems applications: Semantic foundations for modeling languages and model transformations, Precisely architected software and systems platforms that guarantee system properties via construction, Methods for static source code verification and testing,