{"title":"Ada 95和安全关键软件","authors":"C. Holloway","doi":"10.1109/DASC.1995.482944","DOIUrl":null,"url":null,"abstract":"The revised Ada standard (ISO/IEC-8652:1995, commonly referred to as Ada 95) was released by the International Standards Organization (ISO) in February 1995. One of the unique features of this standard is that it is divided into a Core Language, which must be fully implemented, and several Specialized Needs Annexes, which provide standard definitions for additional features for particular application areas. Of particular interest to developers of safety-critical software is Annex H: Safety and Security. This Annex specifies detailed documentation requirements and facilities to support enhanced understanding of program execution paths and for reviewing object code. It also provides facilities for restricting the use of certain language constructs. This paper will discuss Annex H and will also present the charter of the recently formed Annex H Rapporteur Group.","PeriodicalId":125963,"journal":{"name":"Proceedings of 14th Digital Avionics Systems Conference","volume":"233 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"ADA 95 AND SAFETY-CRITICAL SOFTWARE\",\"authors\":\"C. Holloway\",\"doi\":\"10.1109/DASC.1995.482944\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The revised Ada standard (ISO/IEC-8652:1995, commonly referred to as Ada 95) was released by the International Standards Organization (ISO) in February 1995. One of the unique features of this standard is that it is divided into a Core Language, which must be fully implemented, and several Specialized Needs Annexes, which provide standard definitions for additional features for particular application areas. Of particular interest to developers of safety-critical software is Annex H: Safety and Security. This Annex specifies detailed documentation requirements and facilities to support enhanced understanding of program execution paths and for reviewing object code. It also provides facilities for restricting the use of certain language constructs. This paper will discuss Annex H and will also present the charter of the recently formed Annex H Rapporteur Group.\",\"PeriodicalId\":125963,\"journal\":{\"name\":\"Proceedings of 14th Digital Avionics Systems Conference\",\"volume\":\"233 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-11-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 14th Digital Avionics Systems Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/DASC.1995.482944\",\"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 14th Digital Avionics Systems Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/DASC.1995.482944","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
The revised Ada standard (ISO/IEC-8652:1995, commonly referred to as Ada 95) was released by the International Standards Organization (ISO) in February 1995. One of the unique features of this standard is that it is divided into a Core Language, which must be fully implemented, and several Specialized Needs Annexes, which provide standard definitions for additional features for particular application areas. Of particular interest to developers of safety-critical software is Annex H: Safety and Security. This Annex specifies detailed documentation requirements and facilities to support enhanced understanding of program execution paths and for reviewing object code. It also provides facilities for restricting the use of certain language constructs. This paper will discuss Annex H and will also present the charter of the recently formed Annex H Rapporteur Group.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
