• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>2019 Spring Simulation Conference >A Behavior Annex For AADL Using The DEVS Formalism
【24h】

A Behavior Annex For AADL Using The DEVS Formalism

机译：使用DEVS形式主义的AADL行为附件

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

It is essential to use modeling methods for specifying real-time and safety-critical specifications and executions as a set of computational and physical components. Thus, frameworks supporting modular, hierarchical specifications at multiple levels of abstraction for software-intensive systems are needed. Models for the structures, behaviors, and relationships benefit from separating and combining external properties and internal operations of components. Together, the Architecture Analysis and Design Language (AADL) and Discrete-Event System Specification (DEVS) provide an integrated framework where the structure and behavior designs can be systematically developed and evaluated. Needs including latency and safety analyses are supported by AADL whereas behavioral verification and validation can be supported with DEVS simulation. To create the proposed AADL-DEVS framework, a DEVS behavioral annex targeted for the DEVS-Suite simulator is developed and introduced to OSATE which supports AADL. The DEVS Annex language is detailed and exemplified using an infant incubator known as the Isolette system.
机译：必须使用建模方法将实时和安全关键的规格和执行指定为一组计算和物理组件。因此，需要用于软件密集型系统的多个抽象级别支持模块化，分层规范的框架。结构，行为和关系的模型受益于分离和组合组件的外部属性和内部操作。架构分析和设计语言（AADL）和离散事件系统规范（DEVS）一起提供了一个集成的框架，可以在其中对结构和行为设计进行系统地开发和评估。 AADL支持包括延迟和安全性分析在内的需求，而DEVS仿真可以支持行为验证和确认。为了创建提出的AADL-DEVS框架，开发了针对DEVS-Suite模拟器的DEVS行为附件并将其引入支持AADL的OSATE。 DEVS附件语言使用称为Isolette系统的婴儿培养箱进行了详细说明和举例说明。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号