所在位置:UML新闻 - 内容 论坛精华    
Aonix发布High-Integrity Profile for Ameos

[2004/10/13]

Aonix发布High-Integrity Profile for Ameos;并在嵌入式系统上展示了相关Demo, Demo展示了UML建模和实时命令关键Java应用的代码生成能力;

安全和任务关键全套解决方案提供商Aonix(R)今天发布了应用于实时和任务关键应用的高完全High-integrity UML profile(HIP)。这个profile是对Ameos UML和MDA建模环境的扩展,和目标语言无关、并提供经过测试的用于实时通讯及分布式开发的常用模式的实时实现;该profile由OMG的UML Profile for Schedulability、Performance and Time 规约而来。并在嵌入式系统上给出了HIP的演示,展示了符合UML2.0标准的profile包和代码生成器是如何提供基于标准J2SE源代码的实时扩展的。

HIP通过预定义的版型(stereotypes)(如HIPeriodic和HISporadic)简化了使用Java的分布式应用开发任务和远程方法调用RMI(remote method invocation)的开发。为了满足任务和安全关键应用的开发人员的要求,HIP的通讯模式,如黑板(balckboard)、缓冲区(buffer)、事件(event)等,都基于ARINC-653标准的。该标准是由Aeronautical通讯公司(ARINC)开发的用于进程或者线程异步通讯的标准。

Aonix 公司的产品市场主管Michael Benkel指出, “HIP为实时市场提供了成熟的通讯模式。使用HIP,开发人员为程序应用的模型会更加易于阅读,因此也更易于实现和维护。同样,我们也提供了一个强有力的转换引擎,以实现从模型到目标相关代码的转换,从而大大缩短了开发过程。”

通过Ameos的UML2.0 Profile Editor,HIP允许定义版型和属性,并分配给UML元模型的模型元素,并保证这些profile是设计良好的、文档化的、易于被整个项目团队所使用。Ameos的转换引擎中用到模型驱动架构来提升模型的抽象层次、减少对目标平台的依赖。通过特定的转化规则,HIP将UML模型映射到实时的Java代码,得到的Java代码是符合RTSJ的,并且可以在PERC上执行,PERC是Aonix的Java实时虚拟机。

HIP基于一个欧盟资助的项目中开发的多个profile和生成器。该项目中涵盖了实时Java工具链中的各种规约和实现,包括了实时的JVM、建模工具和模型验证工具。作为命令和安全关键领域的领头羊,Aonix的顾客必须遵循多种业界特定的标准。强大的MDA解决方案可以轻松地适应(adapt to)不同行业(例如航空电子工学、国防、汽车等)的各种标准和认证。

这个Profile中包含了UML的profile定义和应用于实时Java虚拟机的转换规则。HIP是标准Ameos产品的一部分。包括了HIP的Ameos将很快可以应用于Windows、Linux和Solaris平台。

(自tmcnet,UMLChina袁峰 摘译,不得转载用于商业用途)