{"title":"Issues with object orientation in verifying safety-critical systems","authors":"S. Subbiah, S. Nagaraj","doi":"10.1109/ISORC.2003.1199241","DOIUrl":null,"url":null,"abstract":"Primus Epicrm is an all-new integrated avionics system for business, regional and general aviation. Honeywell International Inc. follows the Object Oriented paradigm and the programming language C+ +for certain software components on systems developed for the PRIMUS EPIC system. While C++ programming language offers several advantages, it also has several features that can make it undesirable for use in airborne systems. The, Object Orientation concept has several features that, if not controlled properly, can lead to unknown configurations of object code and unverified code. This is highly undesirable for avionics software that needs certification involving statement and code coverage. This paper highlights the issues with C++ certification for avionics and provides solutions for some of the issues.","PeriodicalId":204411,"journal":{"name":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2003-05-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2003.1199241","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 8
Abstract
Primus Epicrm is an all-new integrated avionics system for business, regional and general aviation. Honeywell International Inc. follows the Object Oriented paradigm and the programming language C+ +for certain software components on systems developed for the PRIMUS EPIC system. While C++ programming language offers several advantages, it also has several features that can make it undesirable for use in airborne systems. The, Object Orientation concept has several features that, if not controlled properly, can lead to unknown configurations of object code and unverified code. This is highly undesirable for avionics software that needs certification involving statement and code coverage. This paper highlights the issues with C++ certification for avionics and provides solutions for some of the issues.
Primus Epicrm是一个全新的综合航空电子系统，用于商务、区域和通用航空。霍尼韦尔国际公司在为PRIMUS EPIC系统开发的系统上遵循面向对象范例和编程语言c++。虽然c++编程语言提供了一些优势，但它也有一些特性，可能使其不适合在机载系统中使用。面向对象概念有几个特性，如果控制不当，可能导致未知的目标代码配置和未经验证的代码。对于需要涉及语句和代码覆盖率的认证的航空电子软件来说，这是非常不可取的。本文重点介绍了航空电子设备c++认证中存在的问题，并针对其中的一些问题提出了解决方案。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
