因果关系作为表达安全关键系统要求的一种手段

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance Pub Date : 1994-06-27 DOI:10.1109/CMPASS.1994.318450

A. Coombes, J. Mcdermid, Philip Morris

{"title":"因果关系作为表达安全关键系统要求的一种手段","authors":"A. Coombes, J. Mcdermid, Philip Morris","doi":"10.1109/CMPASS.1994.318450","DOIUrl":null,"url":null,"abstract":"The development of requirements for software systems has long been identified as an important and difficult part of software development. This is much more so for safety-critical systems. In this paper we identify one approach which we believe, forces the developer to concentrate upon requirements rather than initial design concepts (as often happens). This approach uses causality as its main abstraction, primarily because causality is intrinsic to many systems, and is intuitive to developers.<<ETX>>","PeriodicalId":137767,"journal":{"name":"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Causality as a means for the expression of requirements for safety critical systems\",\"authors\":\"A. Coombes, J. Mcdermid, Philip Morris\",\"doi\":\"10.1109/CMPASS.1994.318450\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The development of requirements for software systems has long been identified as an important and difficult part of software development. This is much more so for safety-critical systems. In this paper we identify one approach which we believe, forces the developer to concentrate upon requirements rather than initial design concepts (as often happens). This approach uses causality as its main abstraction, primarily because causality is intrinsic to many systems, and is intuitive to developers.<<ETX>>\",\"PeriodicalId\":137767,\"journal\":{\"name\":\"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPASS.1994.318450\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPASS.1994.318450","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

长期以来，软件系统需求的开发一直被认为是软件开发的一个重要而困难的部分。对于安全关键型系统更是如此。在本文中，我们确定了一种我们相信的方法，它迫使开发人员专注于需求，而不是最初的设计概念(这经常发生)。这种方法使用因果关系作为其主要抽象，主要是因为因果关系是许多系统固有的，并且对开发人员来说是直观的

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

查看原文本刊更多论文

Causality as a means for the expression of requirements for safety critical systems

The development of requirements for software systems has long been identified as an important and difficult part of software development. This is much more so for safety-critical systems. In this paper we identify one approach which we believe, forces the developer to concentrate upon requirements rather than initial design concepts (as often happens). This approach uses causality as its main abstraction, primarily because causality is intrinsic to many systems, and is intuitive to developers.<>

求助全文

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

来源期刊

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance

自引率

0.00%

发文量