2.3.7: Tool Chains
A new generation of design and analysis toolchains that can produce rigorous evidence for high-confidence system design, implementation
and evaluation.
Other Information:
For example, these would integrate discrete and continuous mathematical models and support rigorous reasoning about the interacting
behaviors of cyber and physical components. They might include frameworks that equally support evaluation, V&V, and certification
activities, in addition to design and implementation.
Indicator(s):
|
