一种aadl建模工具的设计与实现

《一种aadl建模工具的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、密级分类号ＵＤＣ编号中种挺义省幸硕±学位论文■＞一种ＡＡＤＬ遠辕工具的化计与类现学位申请人姓名；卢金申请学位学生类别：工程项壬申请学位学科专业；计乂机故术指导教师姓名；叶後氏ｉ乂换？学位论文ｖＭＡ＇＾ＩＭＳＴＥＲＳＴＨＥＳＩＳ＾硕±学位论文－种ＡＡＤＬ建模工具的设计与实现论文作者：卢蠢指导教师：叶俊民教授学科专业：计算＊１投术研究方向：软件建模华中师范大学计算祝学院２０１６年５月硕壬学位论文ＭＡＳＴＥＲＳＴＨＥＳＩＳｙＤｅｓ

2、ｉｎａｎｄＩｍｌｅｍｅｎｔａｔｉｏｎｏｆａｎｇｐＡＡＤＬＭｏｄｅｌｉｎＴｏｏｌｇＡＴｈｅｓｉｓＳｕｂｍｉｔｅｄｉｎＰａｒｔｉａｌＦｕｌｆｉｌｌｍｅｎｔｏｆｔｈｅＲｅｑｕｉｒｅｍｅｎｔＦｏｒｔｈｅＭ．Ｔ．ＳＤｅｇｒｅｅｉｎＣｏｍｐｕｔｅｒｅｃｈｎｏｌｏｇｙＢｙＬｕＸｉｎＰｏｓｔｒａｄｕａｔｅＰｒｏｒａｍｇｇＳｃｈｏｏｌｏｆＣｏｍｐｕｔｅｒＣｅｎｔｒａｌＣｈｉｎａＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙＳｕｐｅｒｖｉｓｏｒ：ＹｅＪｕｎｍｉｎ么Ａｃａｄｅｍｉｃ

3、Ｔｉｔｌｅ：ＰｒｏｆｅｓｓｏｒＳｉｇｎａｔｕｒｅ＾ＡｐｐｒｏｖｅｄＭａ，２０１６ｙ硕ｉ学位论文ＭＡＳＴｍｒＳＴＨＥＳＩＳ华中巧洽大学学住冷文々舍Ｊ巧夫巧和使巧援权化巧居准１牲京巧本人郑重声明：所呈交的学位论文，是本人在导师指导下，独立进行研巧工。作所取得的研究成果除文中己经标明引用的内容外，本论文不包含任何其他个人或集体已经发表或撰写过的研巧成果。对本文的研究做出贡献的个人和集体，均己在文中Ｗ明痛方式标明。本声明的法律结果由本人承担。作者签名：曰期：心年占月曰斧ｆ学化冷文敕权使用授权书学位论文

4、作者完全了解华中师范大学有关保留、使用学位论文的规定：，即研巧生在校攻读学位期间论文工作的知识产权单位属华中师范大学。学校有权保留并向国家有关部口或机构送交论文的复印件和电子版，允许学位论文被查阅和、借阅，；学校可Ｗ公布学位论文的全部或部分巧容可允许采用影印缩印或其它复制手段保存、汇编学位论文。（保密的学位论文在解密后遵守此规定）保密论文注释，在：本学位论文属于保密年解密后适用本授权书。＿＿非保密论文注释：本学位论文不属于保密范围，适用本授权书。作者签名：导师签名：争矣ｆ日期：Ｗ６年（月日日期：＞（《年＜＾月日

5、ｆ＂＂已经认真阅读ＣＡＬＩＳ高校学位论文全文数据库发布章程本人，同意将本人＂＂＂的学位论文提交ＣＡＬＩＳ高校学位论文全文数据库中全文发布，并可按章＂一二年中的规定享受相关权益＝□半；□；□程。同意论文提交后滞后年年发布。作者签名：导师签名：ｂ＞－？＆曰期：年＾月日日期；＆年／＞／么月日硕ｉ学位ｉ它文‘ＭＡＳＴＥ反ＳＴＨＥＳＩＳｙ巧要随着计算机技术的应用领域的不断扩展，计算机软件开发规模成几何式的増长，同时软件开发的复杂性不断提高。这导致软件开发的难度不断増大，开发成本及开发周期增加，，软件行业面

6、临严峻的挑战。基于Ｗ上的问题对象管理组织（ＯｂｊｅｃｔＭａｎａｇｅｍｅｎｔＧｒｏｕｐ）提出模型驱动结构的方法（ＭｏｄｅｌＤｒｉｖｅｎＡｒｃｈ一ＤＡｉｔｅｃｔｕｒｅ）作为种解决方案。Ｍ方法是把实现和模型分离，Ｗ模型设计为核也，用建立软件系统的业务逻辑模型来代替软件开发的过程，建好的模型可Ｗ自动生成特定的计算平台代码。在实时系统建模领域，工业界基于ＭＤＡ的理念，提出了结构化分析和设计语言（ＡｒｃｈｉｔｅｃｔｕｒｅＡｎａｌｙｓｉｓａｎｄＤｅｓｉｇｎＬａｎｇｕａｇ句，ＡＡＤＬ能够对实时关键系统的软硬件协同进斤设计。

7、并且ＡＡＤＬ能够精确描述系统，因此ＡＡＤＬ逐渐成为嵌入式开发领域的标准。基于ＡＡＤＬ语言能够对实时性关键系统建模，并且能详细且精确的描述系统等特性，我们准备应用ＡＡＤＬ语言对实时性关键系统的子集安全攸关软件系统进行建模。本文主要研究了ＡＡＤＬ建模语言的语法，总结出建模组件的语法规约，在此一ＡＡＤＬ语言的建模工具的设计和实现基础上完成种。并应用该工具对安全攸关软件系统进行建模。本文做的主要工作：首先，研究了ＡＡＤＬ标准语法和安全攸关系统模型，根据安全攸关软件系统建模需求选取ＡＡＤＬ子集。并且详细的介绍选取的ＡＡＤＬ

8、子集的语法。其次，根据我们选取的ＡＡＤＬ子集，使用ＪａｖａＡｗｔ技术设计并实现ＡＡＤＬ。语言建模