Modeling a NvM storage but from S/W perspective

16 views
Skip to first unread message

Carlos

unread,
Jul 18, 2024, 12:55:17 PM7/18/24
to OSATE
I know we can use an AADL Memory component to model the actual memory itself, but that is a H/W component. What would this look like from a S/W perspective? Here is what I mean:

Process - Processor / Virtual Processor
in/out data port connections - bus
???? - Memory

I'm trying to use separation of concerns and do not want to mix H/W and S/W on the same diagram.

Frank Singhoff

unread,
Jul 18, 2024, 1:09:11 PM7/18/24
to os...@googlegroups.com

hello,

Le 18/07/2024 à 18:55, 'Carlos' via OSATE a écrit :
I know we can use an AADL Memory component to model the actual memory itself, but that is a H/W component. What would this look like from a S/W perspective? Here is what I mean:

what do you expect to do with your AADL model of NVM?

your AADL model would be different depending on your objectives

frank



Process - Processor / Virtual Processor
in/out data port connections - bus
???? - Memory

I'm trying to use separation of concerns and do not want to mix H/W and S/W on the same diagram.
--
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/150d5793-6ee4-4879-984c-413c0c1ac236n%40googlegroups.com.

jjhugu...@gmail.com

unread,
Jul 18, 2024, 1:24:03 PM7/18/24
to Frank Singhoff, os...@googlegroups.com

To complement Frank’s answer

 

AADL uses memory for both HW and SW, one can add properties to specify the role of memory and distinguish logical from physical memory.

See https://ieeexplore.ieee.org/document/5773407

 

The AADL standard committee considered adding virtual memory, in addition to memory, as a category to have a separate abstraction for logical memories, it could be added for a future revision of AADL. The paper above provides a solution using properties that is a solution.

 

Regards,

 

Reply all
Reply to author
Forward
0 new messages