欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Component Integrated ACE ORB
CIAO 最新版:0.6 , 下载最新版: http://download.huihoo.com/ace-tao/
Real-time CCM with CIAO (Component Integrated ACE ORB)
组件整合的ACE ORB(Component-Integrated ACE ORB -- CIAO)是建立在TAO基础上的CORBA 组件模型(CORBA Component Model - CCM)的具体实现。CIAO目前的目标是为开发者提供分布、实时、嵌入式面向组件系统的范例,它将分布式实时嵌入系统的系统特征因素(DRE- critical systemic aspects),例如QoS的要求、RT策略,抽象成组件框架支持的可安装可配置的单元。将这些特征和要求提升为第一层的元数据,将应用系统逻辑中这些非功能性方面的代码分离出来,使得DRE系统的开发更加灵活。同时,因为支持各种各样的非功能性方面的机制很容易被识别出来,因此CIAO同样使得配置和管理系统特征和要求变得更加简单。
CIAO将会成为由CoSMIC 支持的缺省的平台具体化模型。CoSMIC是支持一系列模型整合计算(MIC)和OMG的模型驱动架构(MDA)的一系列工具。因为很多的非功能性方面能够通过以组件元数据的方式来定义和实现,因此CoSMIC可以很容易并且很正确地实现这些非功能性需求,而不必去过多担心分布式实时嵌入系统非功能性代码正确性的验证问题。
CoSMIC和CIAO的结合给下一代软件开发提供了一个很好的范例。
完整的中文介绍:http://www.huihoo.com/ace_tao/ciao/ciao.html
组成部分
- Daemon:一个CIAO的Daemon是每个主机一个的Daemon进程,它的功能是用来创建和产生ComponentServer。
- ComponentServer:ComponentServer是CIAO的核心部分。它负责组件/Home的创建。
- AssemblyDeployer:AssemblyDeployer负责开启组件编译的过程。
- AssemblyManager:AssemblyManager是组件编译过程的核心部分。
- Static Configurator:CIAO的Static Configurator扮演一个预处理器的角色,讲XML描述的文件解析成主应用能够理解的中间语言。这减少的静态编译应用程序的初始化时间。其主要目标是RTOS,就像VxWorks一样,但是因为需要共享对象或DLL而缺乏灵活性。