Applications of SADL

Last revised 1/4/2022. Contact us.

The Semantic Application Design Language (SADL) has a relatively long history, having begun its journey in 2007. Since that time it has been used in a variety of projects and applications, some of which are briefly summarized below. For an published overview of the concepts underpinning SADL, see

Modeling multi-level secure domains

Semantic models of smart grid

Integrated manufacturability checking

Software validation and verification

Extraction of scientific models from text and legacy code

GE Research participated in the DARPA ASKE program from 2018 to 2020. The purposes of the DARPA projects were to extract models, including equations, from unstructured text and from legacy code.

in with projects in TA1 and TA2. SADL was used as the viewer and editor for domain ontologies and for a semantic model of Java code. Both the SADL grammar and the Eclipse Xtext-based SADL IDE were extended to create the Dialog language and the ANSWER IDE. In the ANSWER environment the user can initiate extract from code and/or text, can view and refine the results as model snippets in a Dialog editor, and can ask questions requiring chaining of models (equations) together to form complex models to compute the response.

Formalized assurance cases

Meng, Baoluo, et al. “Towards Developing Formalized Assurance Cases.” 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 11-15 10 2020. IEEE Xplore, San Antonio, IEEE, https://ieeexplore.ieee.org/document/9256740. Accessed 20 12 2021.

Other?

Are there topics that should appear for which these are references?