ESMoL

file

Visible to the public New Developments in Model-Integrated Development of High-Confidence Software

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