T1: Tutorial on Rigorous and Agile Domain-Specific Modeling with openCAESAR
The openCAESAR project has been developed by NASA JPL to balance modeling rigor and agility. At the core of openCAESAR is the Ontological Modeling Language (OML), which supports two levels of modeling: vocabularies for defining domain-specific languages (DSLs), and descriptions for defining system models based on those languages. openCAESAR offers a framework for these languages, including editors, adapters, dependency management, semantic reasoning, and report generation. In this tutorial, participants will learn how the openCAESAR project and OML support modeling rigor and agility in systems engineering. This includes a) the development of vocabularies and descriptions in OML, b) how custom viewpoints can support modeling methodologies, b) how openCAESAR supports model federation and integration with release and dependency management, and c) how participants can set up automated model analysis with build scripts and CI/CD pipelines. We demonstrate these features in an open-source running example involving modeling a hypothetical Kepler-16b space mission, where participants will follow along with the tutorial as these features are shown. After this tutorial, Participants will be able to effectively use openCAESAR in an end-to-end fashion to define their own DSLs, use them to define system models, and run automated reasoning, verification, and reporting.
Sun 1 OctDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:30 - 11:00
|T1: Tutorial on Rigorous and Agile Domain-Specific Modeling with openCAESAR
Dr. Maged Elaasar is a Senior Computer Scientist at NASA’s Jet Propulsion Laboratory (JPL) at the California Institute of Technology (Caltech). He technically leads a JPL-wide strategic R&D program called Integrated Model Centric Engineering (IMCE). The mission of the program is to transform Systems Engineering into a rigorous, agile, and data- centric practice, and infuse it in JPL’s robotic space missions. He also leads the openCAESAR project that provides many of IMCE’s innovations not only to JPL but to the industry at large (being used by players in aerospace, defense and automotive industries). Prior to that, Maged was a Senior SoftwareArchitect at IBM, where he led the R&D of various software and systems modeling technologies for 15 years. He also represents JPL (and previously IBM) at the Object Management Group where he has led several standards (including UML).Maged is also the founder of Modelware Solutions, a consulting firm in model-based engineering (MBE). He is also a part-time professor at the CS department of the University of California, Los Angeles (UCLA). Maged holds a B.Sc. (AUC ’96) and M.Sc. (Carleton ’03) in Computer Science, and a Ph.D. (Carleton ’12) in Computer Systems Engineering. He has published over 75 peer-reviewed papers and has 12 US patents to his name.