ISO/IEC TR 15942:2000, Information technology - Programming languages - Guide for the use of the Ada programming language in high integrity systems
Free Shipping Included! ISO/IEC TR 15942:2000, Information technology - Programming languages - Guide for the use of the Ada programming language in high integrity systems by Multiple. Distributed through American National Standards Institute (ANSI) at EMS Linux. Hurry! Limited time offer. Offer valid only while supplies last. This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such applications it is usually the
This Technical Report provides guidance on the use of Ada when producing high integrity systems. In producing such applications it is usually the case that adherence to guidelines or standards has to be demonstrated to independent bodies. These guidelinesor standards vary according to the application area, industrial sector or nature ofthe risk involved.For safety applications, the international generic standard is[IEC 61508] of whichpart 3 isconcerned withsoftware.For security systems, the multi-national generic assessment guide is [ISO CD 15408].For sector-specific guidance and standards there are:Airborne civil avionics: [DO-178B]Nuclear power plants: [IEC880]Medical systems: [IEC601-4]Pharmaceutical: [GAMP] For national/regional guidance and standards there are the following:UK Defence: [DS 00-55]European rail: [EN 50128]European security: [ITSEC]US nuclear: [NRC]UK automotive: [MISRA]US medical: [FDA]US space: [NASA] The above standards and guides are referred to as Standards in this Technical Report. The above list is not exhaustive but indicative ofthe type of Standard to which this Technical Report provides guidance.The specific Standards above are not addressed individually but this Technical Report is synthesized from an analysis of their requirementsand recommendations.Within the scopeThis Technical Report assumes that a system is being developed in Ada to meet a standard listed above or one of a similar nature. The primary goal of this Technical Report is to translate general requirements into Ada specific ones. For example, a general standard might require that dynamic testing provides evidence of the execution of all the statements in the code of the application. In the case of generics, this is interpreted bythis Technical Report to mean all instantiations of the generic should be executed.This Technical Report is intended to provide guidance only, and hence there are no 'shalls'. However, this Technical Report identifies verification and validation issues which should be resolved and documented according to the sector-specific standards being employed.The following topics are within the scope of this Technical Report:the choice of features of the language which aid verification and compliance to the standards,identification of language features requiring additional verification steps,the use of tools to aid design and verification,issues concerning qualification of compilers for use on high integrity applications,tools, such as graphic design tools, which generate Ada source code which is accessible to users. Tools which generate Ada source code require special consideration. Where generated code may be modified or extended, verification of the extensions and overall system will be assisted if the guidelines have been taken into account. Even where modification is not planned, inspection and analysis of the generated code may be unavoidable unless the generator is trusted or 'qualified' according to an applicable standard. Finally, even if generated code is neither modified nor inspected, the overall verification process may be made more complicated if the code deviates from guidelines intended to facilitate testing and analysis. Potential users of such tools should evaluate their code generation against the guidance provided in this Technical Report.Out of scopeThe following topics are considered to be out of scope with respect to this Technical Report:Domain-specific standards,Application-specific issues,Hardware and system-specific issues,Human factor issues in the application (as opposed to human factors in the use of the Ada language which is in scope).
|Manufacturer:||Multiple. Distributed through American National Standards Institute (ANSI)|
|Publisher:||Multiple. Distributed through American National Standards Institute (ANSI)|
|Studio:||Multiple. Distributed through American National Standards Institute (ANSI)|
|Item Size:||0.14 x 10.5 x 10.5 inches|
|Package Weight:||0.43 pounds|
|Package Size:||8.25 x 0.14 x 0.14 inches|
Have questions about this item, or would like to inquire about a custom or bulk order?
If you have any questions about this product by Multiple. Distributed through American National Standards Institute (ANSI), contact us by completing and submitting the form below. If you are looking for a specif part number, please include it with your message.
Related Best Sellers
ean: 9781402017278, isbn: 1402017278,
Modem computer systems possess two main characteristics: their ever growing complexity and the increasing number and range of abnormal situa tions they have to cope with successfully in order to deliver the service. Developing such systems is ade...
By B Bjorner
mpn: with numerous figs., ean: 9783540102830, isbn: 3540102833,
Towards a formal description of ADA...
mpn: 1, ean: 9783540693352, isbn: 3540693351,
The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be appro...
mpn: biography, ean: 9783642702419, isbn: 3642702414,
This book is intended as a text for a course in programming languages. The pre requisites for such a course are insight in structured programming and knowledge as well as practical experience of at least one (e.g., Pascal) of the programming langua...
By Cambridge University Press
ean: 9780521392679, isbn: 0521392675,
The book presents the rationale behind the design and development of the programming language Ada. The material, incorporating corrections to its original printing by the Ada Joint Program Office (AJPO), will be essential reading for all those curren...
mpn: biography, ean: 9783642454189, isbn: 3642454186,
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Am...
By Cambridge University Press
ean: 9780521197168, isbn: 0521197163,
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time progr...
By Brand: Jones Bartlett Learning
ean: 9780763707927, isbn: 0763707929,
Programming and Problem Solving with Ada 95 provides a solid introduction to programming while introducing the capabilities of Ada 95 and its syntax without overwhelming the student. The book focuses on the development of good programming habits. Thi...
By Brand: Jones Bartlett Publishers
mpn: Illustrations, ean: 9780763737948, isbn: 0763737941,
Ada Plus Data Structures is the most up-to-date, student-friendly Ada text available. Using the newly updated Ada 2005, the text introduces and discusses such familiar topics as strings, sets, stacks, queues, lists, trees, graphs, and much more. The ...