资源描述:
《嵌入式软件系统架构设计与构件化分析方法》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、嵌入式软件系统架构设计与构件化分析方法一、摘要:5二、SAEAADL概述52.1.构件抽象52.2.构架分析6三、AADL语言抽象83.1.构件83.2.构件类型93.3.包、属性集和附录10四、AADL系统模型和规范104.1.AADL文本规范114.2.图形化表示134.3.例子详述134.4.类型声明164.5.实现声明174.6.包声明194.7.属性集声明194.8.附录库声明194.9.命名空间204.10.部分规范204.11.扩展、重定义和部分规范20五、软件组件215.1.进程215.1.1
2、.文本表示225.1.2.图形化表示235.1.3.属性235.1.4.约束245.2.线程245.2.1.文本表示245.2.2.图形化表示255.2.3.线程实施265.2.4.属性275.2.5.约束285.3.线程组285.3.1.文本表示285.3.2.图形化表示295.3.3.属性305.3.4.约束315.4.数据315.4.1.文本表示325.4.2.图形化表示33management,logisticalorganizationdepartments,asplanemanagementfen
3、pianbaoganmanagementmeasures.ConstructionsiteaccordingtocIcriteriaset"six-figure".Qualitypolicy,engineering,constructionscheduleandcivilizedconstructioninfenpianbaogandistrict,thequalitycontrolmachinery,...5fromthegeneralcontractor,construction,waterandelec
4、tricitysourcesspecifythelocationstotheconstructionarea,settheoutlet,locatedbelowthewaterprofessionalwatercontainervolumein2M3forwater,topreventspills,waterforbothconstructionandcanmeettherequirements.Powersupplyfromaprofessionallockboxout,andestablishedasec
5、ondaryboxset,constructionfromasecond-tierbox,wireshangingtotheconstructionarea.1)erectionofextension(1)cabledistributionboxesshallhavesleeves,wireinandoutwithoutconfusion.Largecapacityelectricboxupperinletanddroppipe.(2)extensiongoodinsulation,non-aging,dam
6、ageandleakage.(3)extensionshouldbelaidalongthewallorpoleoverhead,fixedwithinsulators.(4)aislewirecanbeburiedandmarkwithhardprotectivecasing.(5)rubberlineoverheadoutdoorextensionapplication,jointsintensionandtocomplywiththeinsulationrequirements.2)lighting(1
7、)Generalplaces220Vvoltage.Lightinginhazardous,wetplaces,andmetalcontainersandportablelighting,voltageshouldbeusedtomeettherequirementsofsafety.(2)lightingwiresinsulatorfixed.Prohibitedtheuseofflowersorplasticresinline.Tiewiresnotpulledoranywhereonthescaffol
8、d.(3)lightingthemetalcasingmustbegroundedorneutral.Lightingswitchboxmustbeinstalledwithinthesinglephasecircuitprotector.(4)outdoorlightingfromthegroundshallnotbelessthan3M:Interiorfromthegroundshallnot