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

Download
pdf

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

  • ESMoL
  • MATLAB
  • quadrotor control
  • Simulink
  • TrueTime
  • Aerospace
  • Avionics
  • Science of System Integration
  • Validation and Verification
  • Presentation
  • Academia
  • Model-based Integration
  • Kickoff Meeting
Submitted by Nicholas Kotte… on