×

多时系统设计的元模型。 (英语) Zbl 1183.68282号

摘要:本文介绍了Gme和Eclipse框架中同步语言Signal的元模型和开源设计环境的开发。该环境旨在用作一个枢轴建模工具,用于从多个异构初始规范开始的定制、面向方面和应用程序驱动的嵌入式系统计算机辅助工程。元模型称为SignalMeta,它是在专用于信号编程的设计工作台Polychrony上定义的。为了生成、分析、静态验证和检查从高级模型获得的程序,定义并实现了自动转换。
提出的方法在一个强烈支持形式验证的框架内促进了模型驱动工程。它旨在显著降低设计成本,同时提高系统质量。我们通过考虑面向控制系统和航空电子系统的设计来证明这种方法的灵活性。我们首先在Gme中实现了核心的多时数据流概念,并通过模式自动机或集成模块化航空电子概念等特定于应用的概念展示了其模块化扩展的易用性。这项工作是首次尝试推广计算的形式化模型和Polychrony的设计哲学。

MSC公司:

2010年第68季度 计算模式(非确定性、并行、交互式、概率性等)
68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 航空电子工程委员会,ARINC规范653:航空电子应用软件标准接口,航空无线电公司,马里兰州安纳波利斯,1997年1月。;航空电子工程委员会,ARINC规范653:航空电子应用软件标准接口,航空无线电公司,马里兰州安纳波利斯,1997年1月。
[2] 航空电子工程委员会,ARINC报告651-1:综合模块化航空电子设备设计指南,航空无线电公司,马里兰州安纳波利斯,1997年11月。;航空电子工程委员会,ARINC报告651-1:综合模块化航空电子设备设计指南,航空无线电公司,马里兰州安纳波利斯,1997年11月。
[3] T.P.Amagbegnon,L.Besnard,P.Le Guernic,布尔表达式的乔木规范形式,INRIA,研究代表RR-2290,1994年6月。;T.P.Amagbegnon,L.Besnard,P.Le Guernic,布尔表达式的乔木规范形式,INRIA,研究代表RR-22901994年6月。
[4] C.André,《反应行为的表示与分析:同步方法》,载于:《系统应用中的计算工程》(CESA),里尔(F):IEEE-SMC,1996年7月,第19-29页。;C.André,《反应行为的表示与分析:同步方法》,载于:《系统应用中的计算工程》(CESA),里尔(F):IEEE-SMC,1996年7月,第19-29页。
[5] ATLAS转换语言,Eclipse联盟,2008年<http://www.eclipse.org/m2m/atl>.; ATLAS转换语言,Eclipse联盟,2008年<http://www.eclipse.org/m2m/atl>.
[6] 本德,K。;Broy先生。;I·彼得。;Pretschner,A。;Stauner,T.,混合系统的基于模型的开发:规范、仿真、测试用例生成,(混合系统的建模分析和设计。混合系统的模型分析和设计,计算机科学讲义,第279卷(2002),Springer)
[7] G.Berry,S.Ramesh,R.K.Shyamasundar,《通信反应过程》,摘自:第20届ACM SIGPLAN-SIGACT编程语言原理研讨会,ACM,1993年。;G.Berry,S.Ramesh,R.K.Shyamasundar,《通信反应过程》,载于:第20届ACM SIGPLAN-SIGACT编程语言原理研讨会,ACM,1993年。
[8] G.Berry,《Esterel的基础、证明、语言和互动:罗宾·米尔纳的论文》,麻省理工学院出版社,2000年。;G.Berry,《Esterel的基础、证明、语言和互动:罗宾·米尔纳的论文》,麻省理工学院出版社,2000年。
[9] Berry,G。;Sentovich,H.,Multiclock Esterel,第11届IFIP WG 10.5关于正确硬件设计和验证方法的高级研究工作会议,讲稿,(计算机科学,第2144卷(2001),Springer)
[10] L.Besnard,T.Gautier,P.Le Guernic,SIGNAL v4参考手册,INRIA,2008年<http://www.irisa.fr/espresso/Polychrony/doc/document/V4_def.pdf>.; L.Besnard,T.Gautier,P.Le Guernic,SIGNAL v4参考手册,INRIA,2008年<http://www.irisa.fr/espresso/Polychrony/doc/document/V4_def.pdf>.
[11] J.Bézivin,C.Brunette,R.Chevrel,F.Jouault,I.Kurtev,桥接通用建模环境和eclipse建模框架,摘自:《模型驱动软件开发最佳实践第四次研讨会论文集》,OOPSLA,2005年10月。;J.Bézivin,C.Brunette,R.Chevrel,F.Jouault,I.Kurtev,桥接通用建模环境和eclipse建模框架,摘自:《模型驱动软件开发最佳实践第四次研讨会论文集》,OOPSLA,2005年10月。
[12] C.Brunette,R.Delamare,A.Gamatié,T.Gautier,J.-P.Talpin,综合模块化航空电子设计建模范式,INRIA,研究代表RR-57152005年10月。;C.Brunette,R.Delamare,A.Gamatié,T.Gautier,J.-P.Talpin,综合模块化航空电子设计建模范式,INRIA,研究代表RR-57152005年10月。
[13] 布鲁内特,C。;塔尔平,J.-P。;贝斯纳德,L。;Gautier,T.,在通用建模环境中建模多锁数据流程序。在通用建模环境中建模多锁数据流程序,《同步语言、应用程序和编程》(SLAP’06)(2006),爱思唯尔出版社
[14] 可乐,J.-L。;巴加诺,B。;Pouzet,M.,状态机同步数据流的保守扩展,(EMSOFT'05:第五届ACM嵌入式软件国际会议论文集(2005),ACM出版社:美国纽约州纽约市ACM出版社),173-182
[15] J.-L.Colaço,A.Girault,G.Hamon,M.Pouzet。走向高阶同步数据流语言,见:嵌入式软件会议,Springer-Verlag计算机科学讲稿,2004年。;J.-L.Colaço、A.Girault、G.Hamon、M.Pouzet。走向高阶同步数据流语言,见:嵌入式软件会议,Springer-Verlag计算机科学讲稿,2004年。
[16] A.Gamatié,T.Gautier,使用S的模块化航空电子系统架构的同步建模信号语言,INRIA第4678号研究报告,2002年12月。;A.Gamatié,T.Gautier,使用S的模块化航空电子系统架构的同步建模信号语言,INRIA第4678号研究报告,2002年12月。
[17] A.Gamatié,T.Gautier,使用信号语言,摘自:RTAS’03:第九届IEEE实时和嵌入式技术及应用研讨会论文集,美国华盛顿,IEEE计算机学会,2003年5月,第144页。;A.Gamatié,T.Gautier,使用信号语言,在:RTAS'03:第九届IEEE实时和嵌入式技术与应用研讨会论文集,美国华盛顿特区,IEEE计算机协会,2003年5月,第144页。
[18] A.Gamatié,T.Gautier,P.Le Guernic,《基于IMA的嵌入式实时系统同步设计示例》,载于《第十届实时和嵌入式计算系统与应用国际会议论文集》(RTCSA’2004),第88卷,瑞典哥德堡,2004年8月。;A.Gamatié,T.Gautier,P.Le Guernic,《基于IMA的嵌入式实时系统同步设计示例》,载于《第十届实时和嵌入式计算系统与应用国际会议论文集》(RTCSA’2004),第88卷,瑞典哥德堡,2004年8月。
[19] N.Halbwachs,《工作中的同步语言:Lustre的故事》,载于:第三届ACM-IEEE国际会议关于协同设计的形式方法和模型的会议记录,MEMOCODE’2005,意大利维罗纳,2005年7月。;N.Halbwachs,《工作中的同步语言:Lustre的故事》,载于:第三届ACM-IEEE国际会议关于协同设计的形式方法和模型的会议记录,MEMOCODE’2005,意大利维罗纳,2005年7月。
[20] Harel,D.,《状态图:复杂系统的视觉形式主义》,《科学》。计算。程序。,8, 3, 231-274 (1987) ·兹比尔0637.68010
[21] Harel,D。;Pnueli,A.,《关于反应系统的发展》,(Apt,K.R.,《并发系统的逻辑和模型》,并发系统的逻辑学和模型,北约ASI系列,第F-13卷(1985年),Springer-Verlag:Springer-Verlag,纽约),477-498·Zbl 0581.68046号
[22] 英国杰克逊。;Sztipanovits,J.,《将关注点分离用于嵌入式系统设计》,(EMSOFT'05:第五届ACM嵌入式软件国际会议论文集(2005),ACM出版社:美国纽约州纽约市ACM出版社),25-34
[23] A.Ledeczi,M.Maroti,P.Volgyesi,通用建模环境,收录于:IEEE智能信号处理研讨会论文集(WISP'01),2001年5月。;A.Ledeczi,M.Maroti,P.Volgyesi,通用建模环境,收录于:IEEE智能信号处理研讨会论文集(WISP'01),2001年5月。
[24] Lee,E.A。;Sangiovanni-Vincentelli,A.,《计算模型比较框架》(IEEE Trans.Compute.Des.,第17卷(1998),IEEE出版社),第12页
[25] E.A.Lee,托勒密项目概述,技术备忘录编号UCB/ERL M03/25,加利福尼亚大学伯克利分校,美国,94720,2003年7月2日。;E.A.Lee,托勒密项目概述,技术备忘录编号UCB/ERL M03/25,加利福尼亚大学伯克利分校,美国,94720,2003年7月2日。
[26] 勒格尔尼奇,P。;Talpin,J.-P。;Le Lann,J.-C.,P多色性对于系统设计,J.Circ。系统。计算-特刊:应用特定硬件设计,12,3,261-303(2003)
[27] 刘,X。;刘,J。;Eker,J。;Lee,E.A.,控制系统的异构建模和设计,(软件启用控制:动态系统的信息技术(2002),IEEE出版社)
[28] 马兰尼奇,F。;Rémond,Y.,《模式自动机:用于开发安全关键系统的一种新的特定领域构造》,Sci。计算。程序。,46, 3, 219-254 (2003) ·兹比尔1051.68097
[29] Marchand,H。;Rutten,E。;勒博涅,M。;Samaan,M.,《SIGNAL指定程序的形式验证:应用于变电站控制器》,科学。计算。程序。,41, 1 (2001) ·Zbl 0983.68125号
[30] 马云(Ma,Y.)。;Talpin,J.-P。;Gautier,T.,《多时间计算模型中的虚拟原型AADL体系结构》,ACM-IEEE协作设计方法和模型会议(2008),IEE
[31] D.Mathaikutty,H.Patel,S.Shukla,A.Jantsch,EWD:元建模驱动的可定制多模块系统建模环境,弗吉尼亚理工学院和州立大学2004年第2004-20号研究报告。;D.Mathaikutty,H.Patel,S.Shukla,A.Jantsch,EWD:元建模驱动的可定制多模块系统建模环境,弗吉尼亚理工学院和州立大学2004年第2004-20号研究报告。
[32] T.Meyerowitz,J.Sprinkle,A.Sangiovanni-Vincentelli,描述指令集和生成解码器的可视化语言,见:第四届ACM OOPSLA领域特定建模研讨会,不列颠哥伦比亚省温哥华,2004年10月,第23-32页。;T.Meyerowitz,J.Sprinkle,A.Sangiovanni Vincentelli,描述指令集和生成解码器的可视化语言,载于:第四届ACM OOPSLA领域特定建模研讨会,不列颠哥伦比亚省温哥华,2004年10月,第23-32页。
[33] Rutten,E。;马丁内兹,F。,信号GTI:在同步数据流语言信号中实现任务抢占和时间间隔,(第七届实时系统欧洲微研讨会论文集(1995),IEEE出版社)
[34] J.Sprinkle,J.Davis,G.Nordstrom,《教学建模环境设计的范例》,载于:OOPSLA’04教育工作者研讨会(海报会议),不列颠哥伦比亚省温哥华,2004年10月,第24-28页。;J.Sprinkle,J.Davis,G.Nordstrom,《教学建模环境设计的范例》,载于:OOPSLA’04教育工作者研讨会(海报会议),不列颠哥伦比亚省温哥华,2004年10月,第24-28页。
[35] Talpin,J.-P。;布鲁内特,C。;戈蒂埃,T。;Gamatié,A.,《多时模式自动机嵌入式软件国际会议》(2006),ACM出版社
[36] F.Vernadat、C.Percebois、P.Farail、R.Vingerhoeds、A.Rossignol、J.-P.Talpin、D.Chemouil。Topcased项目–用于关键应用程序和系统开发的开源工具包。国际空间系统工程会议——航空航天数据系统。欧洲空间,2006年<http://www.topcased.org>.; F.Vernadat、C.Percebois、P.Farail、R.Vingerhoeds、A.Rossignol、J.-P.Talpin、D.Chemouil。Topcased项目–用于关键应用程序和系统开发的开源工具包。国际空间系统工程会议——航空航天数据系统。欧洲空间,2006年<http://www.topcased.org>.
[37] SAE AADL信息网站,汽车工程师学会标准,2008年<网址:http://www.aadl.info>.; SAE AADL信息网站,汽车工程师学会标准,2008年<网址:http://www.aadl.info>.
[38] 用于实时和嵌入式系统建模和分析的OMG.UML概要文件(MARTE)。OMG实时文件/05-02-062006。;用于实时和嵌入式系统建模和分析的OMG.UML概要文件(MARTE)。OMG文件实时/05-02-062006。
[39] Mathworks,Matlab的Simulink和Stateflow,2008年<http://www.mathworks.com>.; Mathworks,Matlab的Simulink和Stateflow,2008年<http://www.mathworks.com>.
[40] Syndex-分布式实时系统设计的系统级CAD软件,INRIA,2008年<www-rocq.inria.fr/syndex>。;Syndex-分布式实时系统设计的系统级CAD软件,INRIA,2008年<www-rocq.inria.fr/syndex>。
[41] Eclipse建模框架,Eclipse联盟,2008年<http://www.eclipse.org/emf>.; Eclipse建模框架,Eclipse联盟,2008年<http://www.eclipse.org/emf>.
[42] 通用建模环境(通用电气公司),范德比尔特大学,2008年<http://www.isis.vanderbilt.edu/Projects/gme/>.; 通用建模环境(通用电气公司),范德比尔特大学,2008年<http://www.isis.vanderbilt.edu/Projects/gme/>.
[43] 多时间网站,INRIA,2008年<http://www.irisa.fr/espresso/Polychrony网站>.; 多时间网站,INRIA,2008年<http://www.irisa.fr/espresso/Polychrony网站>.
[44] RNTL项目OpenEmbeDD,INRIA,2008年<http://www.openembedd.org>.; RNTL项目OpenEmbeDD,INRIA,2008年<http://www.openembedd.org>.
[45] Scade Suite,Esterel技术公司,2008年<http://www.esterel-technologies.com/products/scade-suite>.; Scade Suite,Esterel技术,2008年<http://www.esterel-technologies.com/products/scade-suite>.
[46] 空间项目,法国国家空间研究中心,2008年<http://spacify.gforge.enseeiht.fr>.; 空间项目,法国国家空间研究中心,2008年<http://spacify.gforge.enseeiht.fr>.
[47] TopCased项目,空中客车公司,2008年<网址:http://www.topcased.org>.; TopCased项目,空中客车公司,2008年<http://www.topcased.org>.
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。