LAVI航空电子设备开发方法

[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI:10.1109/ICCSSE.1989.72726

D. Beiser

{"title":"LAVI航空电子设备开发方法","authors":"D. Beiser","doi":"10.1109/ICCSSE.1989.72726","DOIUrl":null,"url":null,"abstract":"An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"192 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"The LAVI avionics development methodology\",\"authors\":\"D. Beiser\",\"doi\":\"10.1109/ICCSSE.1989.72726\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.<<ETX>>\",\"PeriodicalId\":448488,\"journal\":{\"name\":\"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering\",\"volume\":\"192 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-06-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCSSE.1989.72726\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCSSE.1989.72726","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

介绍了用于LAVI航空电子系统开发的方法。介绍了系统描述的方法，系统、状态、过程和消息的定义以及它们之间的关系。解释了系统描述的递归过程，强调了控制概念作为方法一部分的作用

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

查看原文本刊更多论文

The LAVI avionics development methodology

An account is given for the methodology used for the development of the LAVI avionic system. The approach to system description and the definitions of system, state, process, and message and their relations are introduced. The recursive process of system description is explained, emphasizing the role of the control concept as part of the methodology.<>

求助全文

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

来源期刊

[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering

自引率

0.00%

发文量