Power Self Test on Modular Spacecraft Panels - Center for Space ...

A Model Based Toolset for SupportingRapid Integration and Verification ofSpacecraft ElectronicsDr. Brandon Eames Friday, February 02, 2007Dept. Of Electrical and Computer EngineeringUtah State UniversityAnand S MadhusoodananDept. Of Electrical and Computer EngineeringUtah State University

Overview‣ CASM‣ Goal: Support online verification of rapidly integratedspacecraft‣ Visual Design Environment for modeling devices‣ Platform Specific Middleware‣ On board <strong>Self</strong> – test2/2/2007 2

Challenges in Rapid Integration‣ Responsive Space Initiative: USB-based plug-n-play electronics‣ Rapid System Integration‣ xTED: Electronic Data Sheet‣ Middleware for dynamic device integration‣ Question: How to verify the integrated system?‣ Were the proper devices “plugged in”?‣ Does the system have all the necessary components?‣ Our Approach:‣ Model-based toolset for capturing integrated system‣ Synthesis of platform-specific communications middleware‣ Generation of on-board-self-test for verifying system integration2/2/2007 3

GME: Generic ModelingEnvironment‣ Visual modeling tool to create graphicalmodels‣ Capable of creating a domain – specificmodeling environment‣ It has the capabilities for rapid codegeneration2/2/2007 4

Working of the GME2/2/2007 5

Using GME for Modeling SpacecraftElectronics2/2/2007 6

Modeling Device Communication‣ Device-specific message sequences‣ Facilitate determining health status of device2/2/2007 7

USB‣ USB host controller provides devicerecognition and enumeration for plug and play‣ libusb is used to write user space drivers fordevice I/O‣ libusb gives us the capability to read and writedirectly to the endpoints of USB devices‣ libsub is cross-compiled for the targetplatform and ported onto the target platform2/2/2007 8

xTED‣ Models the USB device completely‣ Contains all information about configurations,interfaces and endpoints of the device.‣ xTED augmented to contain messagesequences for each device2/2/2007 9

Platform-Specific MiddlewareGeneration‣ Device communication middlewareautomatically generated from system models‣ Built on libusb infrastructure‣ Middleware is user-accessible for data andcontrol I/O2/2/2007 10

Program SynthesisSource Code2/2/2007 11

Process FlowActs OnMiddleware<strong>Self</strong> <strong>Test</strong>2/2/2007 12

Target platform‣ TS – 7260‣ ARM based processor‣ Linux2/2/2007 13

USB Device‣ DLP Sensor‣ Temperature Sensor‣ Re – programmable PIC‣ USB-Serial Interface2/2/2007 14

Questions2/2/2007 15