OSATE-DIM is a tool for performing the backward transformation from AADL Instance to Declarative models, known as Deinstantiation. This transformation is the inverse function of the Instantiation forward transformation. The tool is designed to perform incremental backward transformations, to provide maximum information preservation in the AADL instance model view update problem. Three different de-instantiation commands cover a wide range of user requirements: from the novice, to designer, to developer.
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities
30 Day SummaryJan 18 2026 — Feb 17 2026
|
12 Month SummaryFeb 17 2025 — Feb 17 2026
|