Messages

For an OSEK implementation to be compliant, message handling for intra processor communication has to be offered. The minimum functionality required is CCCA as described in the OSEK COM specification. CCCB is the only other acceptable class as it is a superset of CCCA.

#!python

module MESSAGE
{
  signature
  {
    [ Message ]
  }
}

If an implementation offers even more functionality which is specified in other conformance classes described in the OSEK COM specification, the implementation shall use the syntax and semantic of the respective OSEK COM functionality.

Please note that for messages the rules stated in the OSEK COM specification are valid. For example, OSEK COM system interfaces do not call ErrorHook. However, if the OSEK COM functionality internally calls OS system services like ActivateTask, if necessary ErrorHook is called from ActivateTask. For more details, refer to the OSEK COM specification. 

#!python

module RECEIVE
{
  imports {
    pr(COMPLEMENT)
    ex(TRANSITION)
    pr(MESSAGE)
  }
  signature {
    op receive : Message -> Transition
  }
}