首页> 外文OA文献 >Meta-model validation of integrated MARTE and component-based methodology component model for embedded real-time software
【2h】

Meta-model validation of integrated MARTE and component-based methodology component model for embedded real-time software

机译:嵌入式实时软件的集成MARTE和基于组件的方法学组件模型的元模型验证

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

A validation process for integrated model-based methodology for component-based embedded real-time software with a profile is presented in this paper. Unified Modeling Language for Modeling and Analysis Real-Time and Embedded System, as a newly developed profile has been introduced to overcome problems in previous profiles. Nevertheless, a sound and systematic methodology is needed in order to tackle complexity problems that arose. The objective of this paper is to validate the integrated profile and a selected component-based methodology component model for satisfying embedded real-time software requirements, thus helping engineers to model their system, enhancing the structure and component modeling. For that, this paper described a component model meta-model validation process using quality matching for the integration process, involving a profile and a methodology. Nevertheless, this paper focused more towards the validation of the integrated component model before can be implemented on Embedded Real-Time software development, whereby the proposed integration component model is applied on a case study to show its enhancements. The integration result will support to solve complexity whereby the profile is used to solve the lack of specific modeling language notation for embedded real-time system and the method can provide a systematical software process.
机译:本文介绍了一种基于集成模型的集成方法的验证过程,该方法基于组件的嵌入式实时软件具有配置文件。引入了用于实时和嵌入式系统建模和分析的统一建模语言,这是一种新开发的配置文件,旨在克服以前的配置文件中的问题。然而,为了解决出现的复杂性问题,仍需要一种完善且系统的方法。本文的目的是验证集成配置文件和选定的基于组件方法的组件模型,以满足嵌入式实时软件的需求,从而帮助工程师对其系统进行建模,从而增强结构和组件建模。为此,本文描述了使用质量匹配进行集成过程的组件模型元模型验证过程,包括配置文件和方法。尽管如此,本文还是将更多的精力集中在对集成组件模型的验证上,然后再将其应用于嵌入式实时软件开发中,从而将所提出的集成组件模型应用于案例研究以展示其增强功能。集成结果将支持解决复杂性,从而使用配置文件解决嵌入式实时系统缺少特定建模语言符号的问题,并且该方法可以提供系统的软件过程。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号