****************************************************** AADL Standard AADL_V1.0 Appendix A (normative) Predeclared Property Sets 03Nov04 Updated to reflect current standard & Errata 28Jun06 ****************************************************** -------------------------------------------------- -------------------------------------------------- -------------------------------------------------- -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- thread thread group process system -------------------------------------------------- thread thread group process system -------------------------------------------------- bus processor device port connections thread thread group process system -------------------------------------------------- flow -------------------------------------------------- memory thread thread group process system processor device data port event data port port group subprogram -------------------------------------------------- processor thread thread group process system device --------------------------------------------------- server subprogram subprogram --------------------------------------------------- bus processor memory device subprogram --------------------------------------------------- flow --------------------------------------------------- port group -------------------------------------------------- bus -------------------------------------------------- bus processor device port connections thread group process system -------------------------------------------------- processor bus device port connections thread thread group process system -------------------------------------------------- bus device -------------------------------------------------- processor -------------------------------------------------- memory system processor thread thread group process system device data port event data port subprogram processor -------------------------------------------------- memory system processor thread thread group process system device data port event data port subprogram processor -------------------------------------------------- bus -------------------------------------------------- processor system -------------------------------------------------- processor system thread thread group process system device -------------------------------------------------- processor system thread thread group process system device -------------------------------------------------- server subprogram subprogram -------------------------------------------------- bus processor device subprogram thread thread group process system -------------------------------------------------- processor bus -------------------------------------------------- processor bus -------------------------------------------------- processor bus -------------------------------------------------- memory system system -------------------------------------------------- processor system system -------------------------------------------------- data memory port -------------------------------------------------- subprogram -------------------------------------------------- processor system -------------------------------------------------- processor system -------------------------------------------------- processor system -------------------------------------------------- thread device subprogram event port event data port -------------------------------------------------- thread subprogram event port event data port -------------------------------------------------- thread device subprogram event port event data port thread group process -------------------------------------------------- data -------------------------------------------------- connections -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- thread thread group process system device -------------------------------------------------- event port event data port -------------------------------------------------- device -------------------------------------- port port group -------------------------------------------------- thread -------------------------------------------------- flow -------------------------------------------------- flow -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- memory bus device processor system -------------------------------------------------- memory bus device processor system -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- thread -------------------------------------------------- flow connections bus -------------------------------------------------- process system -------------------------------------------------- process system -------------------------------------------------- memory -------------------------------------------------- data thread process system connections data thread process system connections -------------------------------------------------- event port event data port subprogram -------------------------------------------------- thread thread group process system device -------------------------------------------------- processor -------------------------------------------------- bus -------------------------------------------------- data bus -------------------------------------------------- event port event data port subprogram -------------------------------------------------- event port event data port subprogram -------------------------------------------------- memory -------------------------------------------------- thread server subprogram -------------------------------------------------- thread server subprogram -------------------------------------------------- thread -------------------------------------------------- data bus -------------------------------------------------- port -------------------------------------------------- process system -------------------------------------------------- processor -------------------------------------------------- thread processor subprogram thread thread group process system -------------------------------------------------- -------------------------------------------------- data thread thread group process system subprogram processor device -------------------------------------------------- data subprogram thread thread group process system processor device port port group -------------------------------------------------- thread subprogram -------------------------------------------------- subprogram data thread thread group process bus device processor system -------------------------------------------------- data port subprogram parameter -------------------------------------------------- thread subprogram processor device -------------------------------------------------- data port subprogram thread thread group process system memory bus device processor parameter port group -------------------------------------------------- processor system -------------------------------------------------- subprogram -------------------------------------------------- processor system -------------------------------------------------- thread thread group process system -------------------------------------------------- processor -------------------------------------------------- processor system -------------------------------------------------- flow connections ---------------------------------------------------- ---------------------------------------------------- bus ---------------------------------------------------- data port subprogram ---------------------------------------------------- port subprogram -------------------------------------------------- memory -------------------------------------------------- memory -------------------------------------------------- memory -------------------------------------------------- memory -------------------------------------------------- 0 bitsps .. value(Max_Aadlinteger) -------------------------------------------------- --------------------------------------------------