[aadl]: question

[Peter Feiler]

The SEI property set has two properties related to MIPS: MIPSCapacity and MIPSBudget.

They are used for resource budget analysis.

An example use can be found at https://github.com/osate/examples/tree/master/core-examples/aircraft-example

 

The equivalent of MIPSCapacity has recently been added to the predeclared standard properties as

Processor_Capacity in the TimingProperties set. See https://wiki.sei.cmu.edu/aadl/index.php/SAE_AADL_AS5506B_Errata#Scaling_Factor for rationale.

 

Peter

 

From: sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu [mailto:sae-aadl-users-bounces+phf=sei.cmu.edu at lists.sei.cmu.edu] On Behalf Of Mohsen Fazelinia
Sent: Friday, December 13, 2013 3:18 PM
To: sae-aadl-users at lists.sei.cmu.edu
Subject: [aadl]: question

 

how to define MIPS property in OSATE 2?

can write any example with MIPS?

-------------- next part --------------
HTML attachment scrubbed and removed
-------------- next part --------------
A non-text attachment was scrubbed...
Name: PGP.sig
Type: application/pgp-signature
Size: 474 bytes
Desc: not available
URL: <http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20131216/52ad727e/attachment.sig>