1 / 9

MXJ: Model-Centric, Safety-Critical Java for Exploration

MXJ: Model-Centric, Safety-Critical Java for Exploration. Matthias Anlauff Kestrel Institute, Palo Alto, CA ma@kestrel.edu. Project Goals. Java for flight and ground software in exploration missions Java-centric software development environment Formal representation of requirements

yanka
Download Presentation

MXJ: Model-Centric, Safety-Critical Java for Exploration

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. MXJ: Model-Centric, Safety-Critical Java for Exploration Matthias Anlauff Kestrel Institute, Palo Alto, CA ma@kestrel.edu

  2. Project Goals • Java for flight and ground software in exploration missions • Java-centric software development environment • Formal representation of requirements • Generation of certifiable mission-critical Java

  3. Background • The MXJ project has been proposed and accepted by NASA as one of 70 proposals out of 3750 entries (11/04) • MXJ will be part of the NASA Exploration Systems Mission Directorate (ESMD) Vision for Space Exploration • MXJ: Java-based, high-assurance development environment suitable for Exploration applications

  4. MXJ Team Matthias Anlauff, Principal Investigator, Kestrel Institute (KI) Bill Bush, co-Investigator, Sun Microsystems (Sun) Klaus Havelund, co-Investigator, Kestrel Technology (KT) Doug Wells, SC Java Standardization, The Open Group Meyer/Clark/Schoppers, Domain Modeling, NASA/JPL John Anton, Project Manager, KI & KT

  5. Problem Description Domain-Specific Language(s) Problem Description Domain-Specific Language(s) Planetary Model Problem Description Domain-Specific Language Atmosphere Model Translation Nav.,G&C Model Composition & Refinement Generator Byte Code Compiler Model-centric approach Land on Mars Surface at Position x,y Precision Landing Models in JSL High-level Model(s) JSL (Java Spec Language) Component Operation Control Models Operational Model JSL Precision landing SCJ code Source/Byte Code SCJ VM Concrete Platform Mars Lander

  6. Approach Overview

  7. MXJ – Model-centric Architecture

  8. High-assurance Java code • High-assurance must be enforced on all levels  implementation language VM must be precisely defined and analyzable • Exploration applications require real-time language constructs • Java-based implementation language  Safety-Critical Java

  9. Summary • MXJ aims at enabling Java to be used in safety-critical Exploration applications • High-assurance model approach using refinement and composition techniques • Safety-Critical Java will be the main target VM

More Related