...
机译:扩展UML / MARTE以支持离散控制器综合,并应用于可重构芯片上系统建模
Lab-STICC, Rue de Saint-Maude, 56100 Lorient, France;
Lab-STICC, Rue de Saint-Maude, 56100 Lorient, France;
Lab-STICC, Rue de Saint-Maude, 56100 Lorient, France;
INRIA Rhone-Alpes, UMR 5217-Laboratoire LIG-Maison Jean Kuntzmann-110 av. de la Chimie-Domaine Universitaire de Saint-Martin d' Heres-BP 53-38041 Grenoble cedex 9-France;
Lab-STICC, Rue de Saint-Maude, 56100 Lorient, France;
Lab-STICC, Rue de Saint-Maude, 56100 Lorient, France;
Model-driven engineering; UML/MARTE; discrete controller synthesis; synchronous language; reactive systems; feedback loop; BZR; formal method;
机译:自动综合嵌入式软件,以评估支持内存空间分离的UML / MARTE模型中的物理实现方案
机译:离散控制器严格设计方法中的UML建模
机译:利用UML / MARTE模型综合OpenMAX多媒体异构系统的仿真和实现代码
机译:使用UML MARTE概要文件对可重配置芯片上系统进行建模:探索性分析
机译:从UML + MARTE到核心方案模型的基于规则的模型转换。
机译:UMLS在计算机化订单输入和决策支持系统中的临床应用。
机译:扩展UmL / maRTE以支持离散控制器综合,应用于可重构片上系统建模