how do you model a mode transition that depends on two events?

[Carlos]

I am trying to model a scenario where there are two discretes that need to be evaluated in order to go into a certain mode.

event1 event2 next mode

=======================

true  false   M1

false true    M2

true  true    M1

=======================

Basically, I'm saying that the event "event1" has priority no matter what "event2" is, the mode needs to go to "M1" anytime "event1" is true.

[jjhugu...@gmail.com]

Please review the definition of events in AADL. An event is a pure signal. It is either absent or present; not true or false.

 

What you can do is have two _data_ ports that you sample, and depending on the value, you trigger the corresponding mode change. This is the most likely implementation in the HW world anyway.

--
You received this message because you are subscribed to the Google Groups "OSATE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to osate+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/osate/8aca904e-e68d-48b0-867b-0733ca6adab5n%40googlegroups.com.