search

OpenAADL / ocarina

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
http://www.openaadl.org
Other
64 stars 29 forks source link

whether a 'processor' can have a 'data port'? #317

Closed ibertli closed 1 year ago

ibertli commented 1 year ago

Hello Sir, I have encountered a problem and need your help. In page 97 on 'SAE AS 5506D-2022.pdf', in the processor's 'Legality Rules', i can define a processor with a data port feature, just like the example:

processor p1 features p1: in data port Base_Types::integer; end p1;

What makes me confused is that 'processor' is a hardware component, how can define a port used to receive int data? I want to confirm whether the above example is correct and i can describe a 'processor' like that?

Looking forward to your reply!

jjhugues commented 1 year ago

Please use AADL open forum for these questions