Development of Generic Ground Systems by the Use of a Standard Modeling Method. Takahiro Yamada JAXA/ISAS March 1, 2005

Similar documents
Advanced On-board Control Procedure

Formal Methods in Software Engineering. Lecture 07

Electrical Ground Support Equipment Verification Test Support. EGSE Verification Test Support

New Tools for Spacecraft Simulator Development

Tools for Describing Space Data Systems Reference Architecture

Orifice Flow Meter

SpaceWire-R DRAFT. SCDHA Issue September 2013

The data acquisition components, and their relationship to each other, are shown below.

CCSDS Mission Operations Services

Building Software Architecture using Architectural Design Patterns

hperry - 5/2/01 1 Real Time System Testing (MIT Lecture 31)

Solid State Recorder Data Organization Software and Functional Emulator for Mission Planning and Early Integration

Physical Simulation Experiment System of Multi-Rigid-Body Spacecraft Attitude Control Based on Micro-Gravity Floating Platform Environment

MaanavaN.Com CS1203 OBJECT ORIENTED PROGRAMMING DEPARTMENT OF COMPUTER SCIENCE AND ENGINEERING

Architectural Design

ROSESAT -- A GRAPHICAL SPACECRAFT SIMULATOR FOR RAPID PROTOTYPING

Data & Computer Communication

Goddard Mission Services Evolution Center. GSAW Demo

Nanosatellite Communication Constellation Testbed for Autonomous Scheduling Algorithms to Enable Mission Performance Analysis and Demonstration

r bulletin 96 november 1998 bull

Lesson 5 Web Service Interface Definition (Part II)

CubeSat Flight Control Software

A Pattern-based Modeling Approach for Software Product Line Engineering

Automated Generation Of Code From Simulink To An Event-Based Simulation Framework

Blue Canyon Technologies XB1 Enabling a New Realm of CubeSat Science. George Stafford BCT Range St, Suite 200 Boulder, CO 80301

CCSDS Space Link Extension Services Case Study of the DERA Implementation

6.001 Notes: Section 1.1

CCSDS Mission Operations Services are Getting Real!

Lecture (01) Digital Systems and Binary Numbers By: Dr. Ahmed ElShafee

Responsive Flight Software Development & Verification Techniques for Small Satellites

Development of a Ground Based Cooperating Spacecraft Testbed for Research and Education

Lunar Reconnaissance Orbiter (LRO)

SWIFU: SPACEWIRE INTERFACE UNIT FOR VERSATILE SENSOR

Monitoring a spacecraft from your smartphone using MQTT with Joram

Lecture (01) Introduction Number Systems and Conversion (1)

Can Harmonization be Achieved via Standardization?: New Concrete Opportunities from the CCSDS Mission Operations Services

The etrice Eclipse Project Proposal

A Packet Utilisation Standard (PUS) Model

Question & Answer #3

On-Board Control Procedures: Autonomous and Updateable Spacecraft Operator Onboard and Beyond

Simple Object Access Protocol (SOAP) Reference: 1. Web Services, Gustavo Alonso et. al., Springer

Paper SSC03-XI-6. Autonomous Telemetry Collection for Single-Processor Small Satellites

CASE TOOLS LAB VIVA QUESTION

Preliminary Payload Specification and Integration Plan

Implementing Onboard Data Compression for the Van Allen Probes

Optimizing Bandwidth Utilization in Packet Based Telemetry Systems

Octave: A Portable, Distributed, Opened Platform for Interoperable Monitoring Services

Space-to-Ground Data Viewer (S2G) & DFDL for Space Library (DFDL4S)

FOR THE DEEP SPACE PROGRAM SCIENCE:.EXPERIMENT (DSPSE) FLIGHT SOFTW ARlt" CSCI. June 1, Prepared for:

A Software-based Environment for Development & Validation of Spacecraft On-board Software


System Approach for a SpaceWire Network Template reference : C-EN

Spacecraft Monitoring & Control Systems

Unicode Support. Chapter 2:

SVIL GPSIIR Modernization Using NI Technology

0. Overview of this standard Design entities and configurations... 5

Table of Contents. Appendix. Table of Figures. Document Change Log. 1. Introduction 2. Syntax 3. Library 4. Samples. A. Acceptance

ETM-ASIC. Condensed Data Sheet

CONTENTS CHAPTER 1 INTRODUCTION

Proposed SOIS Plug-and-Play Architecture and Resulting Requirements on SpaceWire Mapping

LAT Flight Software. End-To-End Testing

NASA/GSFC s Flight Software Architecture: Core Flight Executive and Core Flight System

IS 0020 Program Design and Software Tools

Architectural Design

A SIMULATION ARCHITECTURE DESCRIPTION LANGUAGE FOR HARDWARE-IN-LOOP SIMULATION OF SAFETY CRITICAL SYSTEMS

OBJECT-ORIENTED MODELING AND DESIGN. Process Overview

NanoPower BPX. Datasheet High-capacity battery pack for nano-satellites

Web Services Annotation and Reasoning

Object Oriented Programming with c++ Question Bank

Object-Oriented Design

GDSS. A Service Oriented Architecture for Mission Operations

Spacewire related activities in JAXA & science community ~Summary~

Electrical Ground Support Equipment Overview

OCSD-A / AeroCube-7A Status Update

Small Satellite Conference 2014 Using Rules-based Statecharts to Automate Satellite Behaviors

Improving a Satellite Mission System by means of a Semantic Grid Architecture

UML 2.0 UML 2.0. Scott Uk-Jin Lee. Division of Computer Science, College of Computing Hanyang University ERICA Campus

junit RV Adding Runtime Verification to junit

Deployment of the PUS-C Standard in Projects supported by an Automatic Generation Toolset (PUS-Gen)

Proposal for Implementing Linked Open Data on Libraries Catalogue

CS201 - Introduction to Programming Glossary By

S-series Serial Interface

Computer Systems A Background Review

BitRouter s XML State Machine Technology. For Configurable Graphical User Interfaces. Abstract

Lecture 1. Chapter 6 Architectural design

Design Process Overview. At Each Level of Abstraction. Design Phases. Design Phases James M. Bieman

Integrating SysML and OWL

I. Overview. General User Interface Development Flow

HASP Payload Specification and Integration Plan

Designing Command and Data Handling (C&DH) Subsystems from Software Architectural Design Patterns

JOINT ARCHITECTURE FOR UNMANNED SYSTEMS

Les outils CNES. The «BEST» WORKBENCH. Béatrice LARZUL Danièle BOUCON Dominique HEULET. March The «BEST» Workbench

CCSDS and NASA Standards for Satellite Control Network Interoperability

STRAST. UPMSat-2 On-board computers. Grupo de Sistemas de Tiempo Real y Arquitectura de Servicios Telemáticos Universidad Politécnica de Madrid.

LUNAR RECONNAISSANCE ORBITER PROJECT CONFIGURATION CHANGE REQUEST

A Top-Down Visual Approach to GUI development

NOTES ON OBJECT-ORIENTED MODELING AND DESIGN

COP 3330 Final Exam Review

Reform: A Domain Specific Language

Towards an Integrated System Model for Testing and Verification

Transcription:

Development of Generic Ground Systems by the Use of a Standard Modeling Method Takahiro Yamada JAXA/ISAS March 1, 2005 1

Purpose of This Presentation To explain how spacecraft can be virtualized by using a standard modeling method; To introduce the basic concept of modeling spacecraft as a set of Objects; To explain how virtual spacecraft can be manipulated using the standard spacecraft model; To explain how monitor & control of spacecraft can be performed in a standard way and what role the standard spacecraft model plays in this; and To present the basic architecture of a generic system used for testing and operations of spacecraft. 2

Virtualization of Spacecraft Virtualization of spacecraft is to present the information on spacecraft as a set of parameters so that the information can be commonly used for the design, testing, and operations of spacecraft. The virtual spacecraft can also serve as an online version of the specification and the operations manual of the spacecraft. Design Spacecraft Virtual Spacecraft Information on the spacecraft presented as a set of parameters Testing Operations 3

Standard Method for Virtualizing Spacecraft If there is a standard model for describing spacecraft as a set of parameters, any spacecraft can be virtualized in the same way. If any spacecraft is virtualized in the same way, we can develop tools applicable to any virtual spacecraft and save the cost of developing tools. Standard Spacecraft Model Spacecraft A Virtual Spacecraft A Design Tool Spacecraft B Virtual Spacecraft B Testing System Spacecraft C Virtual Spacecraft C Operations System 4

Standard Spacecraft Model The standard spacecraft model provides a common framework for describing the characteristics and internal organization of spacecraft. The model specifies a standard set of elements (or objects), relationships between elements, attributes of elements, and attributes of relationships. In the first stage of this project, only the functional aspect (i.e., the functions performed by spacecraft) and the informational aspect (i.e., the information exchanged with and within spacecraft) will be modeled. Other aspects (structural, thermal, etc.) will be treated at a later stage by extending the method described here. 5

Functional Model The functions performed by spacecraft are described as Functional Objects. Each onboard subsystem or instrument has one or more Functional Objects. Note: There are Functional Objects on the ground, too, for testing and operating spacecraft. Functional Objects are characterized by their methods (operations) and attributes (parameters). Methods are actions performed by Functional Objects started with requests by other Functional Objects. Attributes are parameters that represent the status of some parts of Functional Objects. Each attribute may have a discrete value, an analog value, or a complex value like an array or a table. Methods and attributes are defined in terms of their functionality, not in terms of how they are implemented. 6

Example of Functional Objects Attitude Control Functional Object Data Handling Functional Object Methods : A, B, Attributes: p, q, Methods: D, E, Attributes: r, s, Instrument Control Functional Object Methods : G, H, Attributes: t, u, X Sensing Functional Object Methods : J, K, Attributes: v, w, Y Sensing Functional Object Methods : M, N, Attributes: x, y, 7

Behavior of Functional Objects The behavior of Functional Objects can be described as rules on how the values of attributes should change and how they should be interrelated with each other. The values of some discrete attributes can only change according to some rules Example: from Off to Standby to On, but not directly from Off to On Such rules can be specified by state transition rules and how to specify such rules should be part of the standard spacecraft model. There may be constraints on the values of a group of attributes. Such constraints can be specified with a formal language and how to specify such constraints should also be part of the standard spacecraft model. 8

Informational Model The information exchanged between Functional Objects is described as Information Objects. Information Objects are characterized by their semantics (what they mean) and syntax (how they are realized). The semantics of an Information Object can be specified based on the definition of the Functional Object that generates or consumes the Information Object. The syntax of an Information Object can be specified by showing how the semantic elements of the Information Object are expressed and organized as binary data or physical signals. 9

Example of Information Objects Data Handling Functional Object Command Packet Instrument Control Functional Object Command Signal X Sensing Functional Object Telemetry Packet Telemetry Signal 10

How to Manipulate Virtual Spacecraft Subsystem/Instrument Designers Design Tool Testing System Operations System SIB Generation Tool SIB Access Library Standard Spacecraft Model (Template for Object Definitions) Spacecraft Information Base (SIB) Definition of Functional Object A Virtual Spacecraft Definition of Information Object X 11

Interactions Between Functional Objects Most interactions between Functional Objects can be modeled in such a way that one Functional Object (Controller) monitors and controls the other Functional Object (Target). The Controller Reads the values of attributes of the Target (either by explicit requests or according to a predefined schedule), Changes the values of attributes of the Target, and Invokes methods of the Target. The Target Notifies the Controller of changes in the values of attributes. Control Controller Target Monitor 12

Monitor & Control, In Essence Controller Node Target Node Controller Controls the Target according to the given procedure Monitors the reaction of the Target Determines whether the Target is functioning correctly Target Performs what it is told by the Controller Generates data to be monitored by the Controller Testing/Operations Procedure 13

Layered Implementation of Controller Controller Node Generation of control messages, Decision on the status of the Target Application Layer: Performs functions that require knowledge of the behavior of the Target Middle Layer: Data conversion and formatting Data communications Performs functions that do not depend on the behavior of the Target but depend on the structure of the data Communications Layer: Performs communications 14

Generic Controller Controller Node Testing/ Operations Procedures Functional Object Definition Information Object Definition Generic Controller Application Data Handling Middleware Communications Protocols In order for a Controller to be used for any Target, the definition of the Target as Functional Objects and the definition of the Information Objects that the Target generates and consumes must be supplied as a database. 15

Applications of the Generic Controller The generic Controller can be used for Testing of onboard subsystems, Testing of integrated spacecraft, and Flight operations of spacecraft in orbit. The generic Controller can be used for ANY subsystem or spacecraft by supplying The definition of the Target as Functional Objects, The definition of the Information Objects that Target generates and consumes, and The communications protocols used for communications with the Target. 16

Implementation Plans ISAS is planning to prototype a SIB this year. Next year, a generic controller (with limited functionality) to be used for testing of instruments will be developed. By extending the functionality of the generic controller used for testing of instruments, a generic controller to be used for testing of integrated spacecraft will be developed. By augmenting the functionality of the generic controller used for testing of spacecraft, a generic controller to be used for flight operations of spacecraft will be developed. 17