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 and formalizes it in OML.

Team

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

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.