资源描述：
《behaviour_annex1.6》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、AS5506AEROSPACEIssuedProposedDraftSTANDARD2006-07SAETechnicalStandardsBoardRulesprovidethat:“ThisreportispublishedbySAEtoadvancethestateoftechnicalandengineeringsciences.Theuseofthisreportisentirelyvoluntary,anditsapplicabili
2、tyandsuitabilityforanyparticularuse,includinganypatentinfringementarisingtherefrom,isthesoleresponsibilityoftheuser.”SAEreviewseachtechnicalreportatleasteveryfiveyearsatwhichtimeitmaybereaffirmed,revised,orcanceled.SAEinvitesyourwrittencommentsandsuggestion
3、s.Copyright©2004SAEInternationalAllrightsreserved.Nopartofthispublicationmaybereproduced,storedinaretrievalsystemortransmitted,inanyformorbyanymeans,electronic,mechanical,photocopying,recording,orotherwise,withoutthepriorwrittenpermissionofSAE.TOPLACEADOCUM
4、ENTORDER:Tel:877-606-7323(insideUSAandCanada)Tel:724-776-4970(outsideUSA)Fax:724-776-0790Email:custsvc@sae.orgSAEWEBADDRESS:http://www.sae.organnexbehavior_specificationV1.6March30,2007SAEAS5506AnnexBehaviorLanguageComplianceandApplicationProgramInterfaceNo
5、rmativeAnnexBehavior.1Scope(1)Thepurposeofthisproposalistoenabletheexpressionofhighlevelcompositionconcepts,suchasHRT-HOODsynchronizationmodes,inAADL,extendedbybehavioralannexes.Asfaraspossible,wehavetriedtopreservethesemanticsandrulesofusedefinedintheAADLs
6、tandard.Theextensionsareintroducedeithervianewpropertiesdeclaredinapropertysetorviatheannexmechanism.(2)Thebehaviorsdescribedinthisannexareseenasspecificationsoftheactualbehaviors:theycanthereforebenon-deterministic.Theyarebasedonstatevariableswhoseevolutio
7、nisspecifiedbythetransitionsexpressedinthebehavioralannex.ThedataandtheirtypesaredescribedinAADL.(3)Sectionannexbehavior_specification.2providesthereferencematerialsupportingtheconceptsandguidelinesdefinedinthisannex.(4)Sectionannexbehavior_specification.3d
8、efineshowdatacanbespecifiedanditsuseinthebehavioralannex.(5)Sectionannexbehavior_specification.4introducesthesyntaxofthebehavioralannex.(6)Sectionannexbehavior_specification.5defineshowabehaviorcanbeat
