close Warning: Can't synchronize with repository "(default)" (Couldn't open Subversion repository /var/repositories/svn/aadl: SubversionException: ("Failed to load module for FS type 'fsfs'", 160033)). Look in the Trac log for more information.

Changes between Version 11 and Version 12 of CaseStudies


Ignore:
Timestamp:
04/08/11 10:51:29 (6 years ago)
Author:
gardoll
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • CaseStudies

    v11 v12  
    5151The toy example illustrates the use of shared data between several threads. It illustrates the use of mutexes with AADL. This example was tested with our Ocarina code generator and works with PolyORB-HI-C and PolyORB-HI-Ada. This example is detailed [wiki:ExampleToy here]. 
    5252 
    53 == AADL + Behavior Annex (AADL-BA) == 
     53== AADL + Behavior Model Annex (AADL-BA) == 
    5454 
    55 === Multi-modal ping-pong (AADL + Behavior Annex) === 
     55=== Multi-modal ping-pong (AADL + Behavior Model Annex) === 
    5656 
    57 The [MultiModalProducerConsumer multi-modal ping-pong] example models a software architecture in which several components can either play the role of a ping component (send a "PING" message and wait for a "PONG" answer) or a pong component (wait for a "PING" message and answer "PONG"). This example illustrates the use of the behavior annex (AADL-BA) and the AADL modes. 
     57The [MultiModalProducerConsumer multi-modal ping-pong] example models a software architecture in which several components can either play the role of a ping component (send a "PING" message and wait for a "PONG" answer) or a pong component (wait for a "PING" message and answer "PONG"). This example illustrates the use of the Behavior Model Annex (AADL-BA) and the AADL modes. 
    5858 
    5959----