Changes between Version 20 and Version 21 of stood

Timestamp:

04/12/17 07:29:24 (7 years ago)

Author:

pdissaux

Comment:

--

stood

@@ -12 +12 @@
     }}}
     {{{#!td style="background:#ffd; width:100px"
-    [wiki:#RequirementsTraceability Requirements Traceability]
+    [wiki:stood:#RequirementsTraceability Requirements Traceability]
     }}}
     {{{#!td style="background:#ffd; width:100px"
@@ -73 +73 @@
 
 == Design Verification ==
-Stood encompasses a set of static model verification tools that are implemented with the LMP technology. These embedded tools take profit from th cross references tables that are automatically updated by Stood during the construction of the AADL and HOOD model. Available verification tools are:
+Stood encompasses a set of static model verification tools that are implemented with the [wiki:LMP LMP] technology. These embedded tools take profit from th cross references tables that are automatically updated by Stood during the construction of the AADL and HOOD model. Available verification tools are:
  * Cross references
  * Call trees and data access graphs
@@ -80 +80 @@
  * Schedulability analysis
  * Requirements coverage analysis
-In addition, user customized verification tools can be added in a "plug and play" way, so that Stood can support project specific verification activities. These plugins are powered by the [wiki:LMP LMP] technology. [[BR]]
+In addition, user customized verification tools can be added in a "plug and play" way, so that Stood can support project specific verification activities. [[BR]]
 
 [[Image(wiki:stood:img5.png, link=)]]
 
 === Remote Tools ===
-In addition to the design checkers that are included in Stood, remote model analysis tools can easily be connected to Stood thanks to its [wiki:AADL AADL] interface. Connectors to OSATE and [wiki:aadlinspector AADL Inspector] are currently available. [[BR]]
+In addition to the design checkers that are included in Stood, remote model analysis tools can easily be connected to Stood thanks to its [wiki:AADL AADL] interface. Connectors to OSATE and [wiki:inspector AADL Inspector] are currently available. [[BR]]
 
 == Documentation Generation ==