MXJ: Model-Centric, Safety-Critical Java for Exploration
description
Transcript of MXJ: Model-Centric, Safety-Critical Java for Exploration
![Page 1: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/1.jpg)
MXJ: Model-Centric, Safety-Critical Java for
Exploration
Matthias AnlauffKestrel Institute, Palo Alto, CA
![Page 2: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/2.jpg)
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
![Page 3: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/3.jpg)
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
![Page 4: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/4.jpg)
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
![Page 5: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/5.jpg)
Model-centric approach
Problem DescriptionDomain-Specific
Language(s)
Problem DescriptionDomain-Specific
Language(s)
Problem DescriptionDomain-Specific Language
High-level Model(s)JSL (Java Spec Language)
Operational ModelJSL
Translation
Composition & Refinement
Source/Byte CodeSCJ VM
Generator
AtmosphereModel
PlanetaryModel
Nav.,G&C Model
Land on Mars Surface at Position x,y
Precision Landing Models in JSL
Component Operation Control Models
Precision landing SCJ code
Mars Lander
Byte Code Compiler
Concrete Platform
![Page 6: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/6.jpg)
Approach Overview
![Page 7: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/7.jpg)
MXJ – Model-centric Architecture
![Page 8: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/8.jpg)
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
![Page 9: MXJ: Model-Centric, Safety-Critical Java for Exploration](https://reader036.fdocuments.in/reader036/viewer/2022062410/56815870550346895dc5cf21/html5/thumbnails/9.jpg)
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