形式化描述技術(shù)在嵌入式通信軟件設(shè)計中的研究與應(yīng)用.pdf

1、Y14120曲，，掌甜]婁三堂分類號：上叢12一啦＆他日—地!乳教，一向／京都孝Z彥碩士學(xué)位論文論文題目：絲蔞垡塑姿堇鲞壅叢△蔞墮焦塾掛設(shè)計中的研究與應(yīng)用學(xué)生姓名學(xué)號指導(dǎo)教師陳德輝Y040635梅杓春教授學(xué)科專業(yè)測試計量技術(shù)及儀器研究方向論文提交B期協(xié)議一致陛測試oo七年三月南京郵電大學(xué)碩士研究生學(xué)位論文摘要AbstractWiththedevelopmentofcommunication，computernetworksanddist

2、ributioncontrolsystem。Communicationprotocols，asthekeypartinthesystem，becomerisingcomplexityThetraditionalrealtimeembeddedsystemsdevelopmentmethods，likehand—codingthesoftwaresystemsinassemblyorClanguage，don’tmeettheneedsa

3、lreadyDesignersareprovidedwithahighlyefficientdevelopmenttoolsbyFDT(FormalDescriptionTechniques)Becauseofbeingprovedtobeeffectiveinprovidinganunambiguoustargetsystemandalsobeingclear，easytounderstandSecondly，languagesFDT

4、—basedCanproduceexecutablecode(1ikeC，etc)automaticallyfromgraphicalmodelsrepresentingtargetsystemstructure，behaviorsandcommunicationBesidestheyalsoallowthedesignertosimulateandverifythesystembehaviorsbasedonthedevelopedg

5、raphicalmodelsItisclearthesecallimprovequalityandreuseandmaintainofcodeSDL(SpecificationandDescriptionLanguage)isaformaldescriptionlanguage，whichisdevelopedandstandardizedbyITUT(InternationalTelecommunicationUnion)Itisah

6、i曲一levellanguageapplyingforspecificationofevent—driven，realtimeandcommunicationssystemsOneofthemostimportantareasisthedevelopmentofembeddedcommunicationsoftwaresystem，butitmaybeusedinallkindofreal—timecommunicatingsystem

7、sBesides，MDD(ModelDrivenDevelopment)，oneadvancedconceptinembeddedsystemdevelopmentareacurrently，makesdesignerfocusonpartsrelatedandothersbepoorlyconceivedintheperiodofproductlifecycleTheintegrationofthetwoaboveshortensti

8、meandenhancesutilityofdevelopmentAlltheworkabovehasbeensimulatedandvalidatedonplatformThedesignmethodanddevelopflowofembeddedsystemhavegainedgoodeffectsandcouldbeusedindevelopmentofvariousprotocolsKeyWords：FDT；SDL；cdma20