为了弥补这一差距，揭示了设计流程和内部结构的新建议的框架称为核实的嵌入式实时应用的框架（VERTAF），它集成了基于组件的软件复用，正式的合成，并正式验证。一个正式的基于UML的嵌入式实时对象模型，提出了组件重用。
基于12个网页-相关网页
应用推荐
模块上移
模块下移
不移动