In FASTEN, you can model Operational Design Domain ontologies, based on which you can specify the Operational Design Domain of your engineered system.Â
See here screencast about how to model ODD ontologies and specifications in FASTEN.
F A S T E N - a Formal Specification Environment
In FASTEN, you can model Operational Design Domain ontologies, based on which you can specify the Operational Design Domain of your engineered system.Â
See here screencast about how to model ODD ontologies and specifications in FASTEN.