11.6 Tripleredundant.aadl
A triple redundant system example.  It illustrates the use of modes in modeling redundant systems.
What is interesting about this example is that dealing with modes is complex. Our example was part of the white paper when we developed the mode concept for AADL a couple of years ago.  Our semantic checker finds a problem with one connection.  A data port has two incoming connections under the same mode.  It turns out the statement in error should be corrected to say s3.input_1.  We found this only after we added the modal checking for limiting incoming connections to data ports to one.
11.6.1 Running the Example
Compile the aadl file. The error is shown in the “Problems” view.  Double click and the editor will move to the line.  Correct input_2 to input_1 and save the file. Saving the file will recompile.