Autonomica

Description

The goals of this project is to develop a rigorous method and toolset for architecting multi-disciplinary (e.g., GN&C, power) autonomous system behavior that can be efficiently implemented, analyzed, and tested (using simulations). The methdology adopts the State Analysis architectural pattern from JPL and formalizes it in OML.

Team

• Maged Elaasar, Ph.D., NASA JPL (PI)
• Nicolas Rouquette, Ph.D., NASA JPL
• Klaus Havelund, Ph.D., NASA JPL
• Martin Feather, Ph.D., NASA JPL
• Saptarshi Bandyodhyay, Ph.D., NASA JPL
• Alberto Garza, Ph.D., NASA JPL

Results

• Elaasar, M., Rouquette, N., Havelund, K., Feather, M., Bandyopadhyay, S., Candela, A., “Autonomica: Ontological Modeling and Analysis of Autonomous Behavior”, Proceedings of INCOSE IS 2023, Honolulu, Hawaii, July, 2023.

Sponsors