马蒂

实时和嵌入式系统的建模与分析。UML®概要文件的这个规范为UML增加了实时和嵌入式系统(RTE)的模型驱动开发功能。这个扩展名为umlprofileformarte(简称MARTE),为规范、设计和验证/验证阶段提供支持。这个新的概要文件旨在取代现有的UML概要文件,以实现可调度性、性能和时间(formal/03-09-01)。MARTE包括定义基于模型的实时和嵌入式系统描述的基础。然后,这些核心概念将针对建模和分析关注点进行细化。建模部分提供从规范到详细设计系统实时性和嵌入式特性所需的支持。MARTE还关注基于模型的分析。从这个意义上说,其目的不是定义用于分析实时和嵌入式系统的新技术,而是支持它们。因此,它提供了用执行特定分析所需的信息来注释模型的工具。特别是,MARTE专注于性能和可调度性分析。但是,它也定义了一个通用的定量分析框架,旨在改进/专门化任何其他类型的分析。


zbMATH参考文献(参考 21篇文章 参考)

显示第1到第20个结果,共21个。
按年份排序(引用)
  1. 陈明帅;Ravn,Anders P.;Wang,Shuling;Yang,Mengfei;Zhan,Naijun:嵌入式系统正式与非正式设计的双向路径(2017)
  2. André,çtienne;Benmoussa,Mohamed Mahdi;Choppy,Christine:使用有色Petri网形式化并发UML状态机(2016)
  3. Ouchani,Samir;Debbabi,Mourad:基于模型的系统中安全性的规范、验证和量化(2015)ioport公司
  4. Refsdal,Atle;Runde,Ragnhild Kobro;Stølen,Ketil:具有软实时约束的序列图的逐步细化(2015)
  5. Aziz,Muhammad Waqar;Mohamad,Radziah;Jawawi,Dayang N.A.;Mamat,Rosbi:分布式嵌入式实时系统开发的基于服务的元模型(2013)ioport公司
  6. Chen,Dejiu;Feng,Lei;Qureshi,Tahir Naseer;Lönn,Henrik;Hagl,Frank:软件密集型嵌入式系统分析、验证和验证的体系结构方法(2013)
  7. Zhou,Yu;Baresi,Luciano;Rossi,Matteo:基于分层时间自动机的UML/MARTE状态机的形式语义研究(2013)
  8. Merseguer,José;Bernardi,Simona:基于MARTE和UML状态机模型的DES可靠性分析(2012)
  9. Dominique Blouin;Daniel Chillet;Senn,Eric;Bilavarn,Sébastien;Bonamy,Robin;Samoyeau,Christian:AADL扩展到soc中嵌入的经典FPGA和FPGA(2011)ioport公司
  10. 林朝生;吕春贤;林尚伟;陈妍茹;熊宝安:VERTAF/multi-core:基于SysML的多核嵌入式软件开发应用框架(2011)ioport公司
  11. Ermeson Andrade;Paulo的Maciel;Bruno的Nogueira;Carlos的Araújo;Gustavo的Callou:基于COTS的嵌入式实时系统性能和能耗评估方法(2010)
  12. Glitia,Calin;Dumont,Philippe;Boulet,Pierre:Array OL with delays,多维密集信号处理领域专用规范语言(2010)
  13. Mussbacher,Gunter;Whittle,Jon;Amyot,Daniel:面向方面场景中基于语义的交互建模和检测(2010)ioport公司
  14. Nguyen,Van;Kearney,David;Giioosa,Gianpalo:Reconfig-P中硬件源代码生成的可扩展、可维护和优雅的方法(2010)
  15. Brunette,Christian;Talpin,Jean-Pierre;Gamatie,Abdoulaye;Gautier,Thierry:多时系统设计的元模型(2009)
  16. Garousi,Vahid;Briand,Lionel C.;Labiche,Yvan:分布式实时系统中资源使用和负载早期预测的基于UML的定量框架(2009)ioport公司
  17. Quadri,Imran Rafiq;Meftali,Samy;Dekeyser,Jean-Luc:动态可重构FPGA的高层建模(2009)ioport公司
  18. Riccobene,Elvinia;Scandurra,Patrizia:UPES/UPSoC嵌入式系统开发过程中的模型转换(2009)ioport公司
  19. Selic,Bran:关于自动化、编程文化和基于模型的软件工程的个人反思(2008)ioport公司
  20. Yu,Huafeng;Gamatié,Abdoulaye;Rutten,çric;Dekeyser,Jean-Luc:MDE框架下高性能嵌入式系统的安全设计(2008)ioport公司