Abstract
The use of high order languages for writing software for high integrity control applications is aimed to overcome the problems of slow development, lack of visibility and machine dependence in low order languages, assembly codes and machine codes. But the use of high order languages has failed to overcome the problem of visibility especially on short word-length machines because of difficulties in identifying undesirable characteristics of the machine code generated from the high order language. These characteristics may be due to faults in complex compilers which are intrinsically error-prone; or may be properties of the “correct” operation of a compiler which generates code which may permit unchecked arithmetic overflows or excessive loss of numerical accuracy. Further, these characteristics may change between issues of a compiler and between versions for different processors. This all slows down software development and makes certification difficult. This paper discusses techniques for overcoming these problems while maintaining the familiarity and visibility of high order languages. A language designed around these techniques and capable of intrinsically safe software development and modification is discussed.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.