基于组件的嵌入式软件开发的形式化模型

2009 International Conference on Embedded Software and Systems Pub Date : 2009-05-25 DOI:10.1109/ICESS.2009.51

Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu

{"title":"基于组件的嵌入式软件开发的形式化模型","authors":"Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu","doi":"10.1109/ICESS.2009.51","DOIUrl":null,"url":null,"abstract":"This paper presents a formal model for specification, verification, and composition of component-based embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.","PeriodicalId":335217,"journal":{"name":"2009 International Conference on Embedded Software and Systems","volume":"83 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-05-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A Formal Model for Component-Based Embedded Software Development\",\"authors\":\"Changde Li, Xingshe Zhou, Yunwei Dong, Zhiwen Yu\",\"doi\":\"10.1109/ICESS.2009.51\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a formal model for specification, verification, and composition of component-based embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.\",\"PeriodicalId\":335217,\"journal\":{\"name\":\"2009 International Conference on Embedded Software and Systems\",\"volume\":\"83 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2009-05-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2009 International Conference on Embedded Software and Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICESS.2009.51\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2009 International Conference on Embedded Software and Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICESS.2009.51","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

本文提出了基于组件的嵌入式软件的规范、验证和组成的形式化模型。我们描述了如何从语法视图、功能视图、QoS视图和同步视图指定组件。为验证目的定义了功能、QoS和同步行为的细化规则。本发明提供了一种用于组合的轻量组合方法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A Formal Model for Component-Based Embedded Software Development

This paper presents a formal model for specification, verification, and composition of component-based embedded software. We describe how components are specified from the syntactical view, functional view, QoS view and synchronization view. The refinement rules for functionality, QoS, and synchronous behavior are defined for the verification purpose. And a lightweight composition method is provided for the purpose of composition.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2009 International Conference on Embedded Software and Systems

自引率

0.00%

发文量