New Developments in Model-Integrated Development of High-Confidence Software

Submitted by nkottens on Mon, 02/07/2011 - 2:34pm

Slides for NSF Kickoff Meeting: Science of Integration for CPS on 11/29/2010

by, Joe Porter, Graham Hemmingway, Nicholas Kottenstette, Harmon Nine, Chris vanBuskirk, Gabor Karsai and Janos Sztipanovits

Provides steps for:

1. Design of working control system for Quadrotor Aircraft using a Simulink Based Model

2. Software design using the ESMoL Modeling Language

3. Creation of a Time-Triggered Schedule to be deployed to the TrueTime platform

4. Execution of Quadrotor Control System on TrureTime platform including Quadrotor physical model