摘要
CADP工具包。 http://www.inrialpes.fr/vasy/cadp。 谷歌学者 
系统C。 在 http://www.systemc.org。 谷歌学者 I.13818-1。 运动图像和相关音频信息的通用编码。 2007 谷歌学者 S.Ahumada等人。使用UML指定分形和GCM组件。 在 智利计算机科学学会第二十六届国际会议（SCCC’07） 2007年11月，智利伊基克。 谷歌学者 数字图书馆 
L.Apvrille等人。TURTLE：由正式验证工具包支持的实时UML概要文件。 在 IEEE软件工程事务 ，第30卷，第473-487页，2004年7月。 谷歌学者 数字图书馆 L.Apvrille等人。基于UML的系统设计空间探索环境。 在 第13届IEEE国际电子、电路和系统会议（ICECS’2006） 2006年12月，法国尼斯。 谷歌学者 交叉引用 
I.Assayad和S.Yovine。 多处理器嵌入式系统的建模和性能分析框架：模型和优点。 在 第八届分销新技术会议记录（NOTERE’2007） 2007年6月，马拉喀什，摩洛哥。 谷歌学者 F.Balarin等人。 嵌入式系统的软硬件协同设计，POLIS方法 KLUWER学院出版社，2003年第5版。 谷歌学者 数字图书馆 J.Bengtsson和W.Yi。 时间自动机：语义、算法和工具。 在 并发和Petri网的课堂讲稿 W.Reisig和G.Rozenberg（编辑），LNCS 3098，Springer-Verlag，2004年。 谷歌学者 A.Chatelain等人，使用Esterel和C.In进行高层建筑联合模拟 程序。 IEEE/ACM软硬件协同设计研讨会 2001年4月。 谷歌学者 数字图书馆 异洛托。 基于观测行为时间顺序的形式化描述技术。 在 国际标准8807草案，国际标准化组织-信息处理系统-开放系统互连 1987年7月，日内瓦。 谷歌学者 P.Kukkala等人，《嵌入式系统UML 2.0设计的性能建模和报告》。 在 程序。 2005年系统芯片国际研讨会） ，第50-53页，2005年11月。 谷歌学者 交叉引用 实验室Soc。 TURTLE工具包。 在 http://labsoc.comelec.enst.fr/tour/ttool.html。 谷歌学者 W.Muhammad等人。系统设计空间探索的抽象应用建模。 在 数字系统设计Eromicro会议（DSD’06） 2006年8月，克罗地亚杜布罗夫尼克。 谷歌学者 数字图书馆 OMG.UML 2.0上层结构规范。 在 http://www.omg.org/docs/ptc/03-08-02.pdf ，日内瓦，2003年。 谷歌学者 T.Schattkowsky等人。可重构硬件上可执行规范的基于模型的方法。 在 程序。 欧洲设计、自动化和测试（DATE） ，第692-697页，2005年11月。 谷歌学者 数字图书馆 渡边Y。 大都市：电子系统设计的集成环境。 Cadence Berkeley实验室，2001年。 谷歌学者 P.V.D.Wolf等人。异构信号处理系统架构探索的方法。 在 1999年IEEE信号处理系统研讨会（SiPS99） , 1999. 谷歌学者
索引术语
DIPLODOCUS的TTool：一个用于设计空间探索的环境
建议
使用UML进行安全系统开发的工具 为了使基于模型的开发在实践中取得成功，它需要具有令人信服的与使用相关的附加值。 我们的目标是通过开发工具支持来针对困难的系统分析UML模型，从而提供这样的附加值。。。 使用JACK检查UML状态图 HASE’99：第四届IEEE高安全系统工程国际研讨会 状态图图提供了一种图形符号，用于描述统一建模语言（UML）中系统行为的动态方面。 本文提出了一种分支时间模型检查方法来自动验证形式。。。 基于MDA的方法从UML/MOF存储库生成嵌入式软件 SBCCI'06：第19届集成电路与系统设计年度研讨会论文集 本工作遵循MDA方法，基于应用程序和平台的独立规范，提出了一种面向嵌入式系统设计空间探索的UML/MOF元建模基础设施。 来自…的映射。。。
