Abstract
Currently, the verification procedures applied to safety related software are time-consuming, and they require highly skilled assessors. Therefore, computer aided verification methods and, eventually, an automation of the verification process is strongly advocatedWhile there are some techniques already available to realize the formal verification of programs by computer means, only very few results are known to solve the problem of computer-aided verification of the software design. The paper to be presented proposes a two-step procedure to solve this problem:-Use a computer-aided development-support system (including specification languages, analysis tools, documentation tools) for the software development. This results in a considerable improvement of reliability due to the various powerful features of fault-avoidance and fault-removal incorporated in the methods and tools of such a systemUnfortunately this does not guarantee the achievement of an error-free system nor is it a substitute for a verification of safety. But it is the prerequisite for the second step-Use an automatic verification tool for the symbolic execution of the software design specification based on design-assertions. The underlying verification procedure goes hand-in-hand with the development of a hierarchically structured software design and includes the following steps:•Identification of the system states/state sequences (of the technical process to be controlled) which are required/forbidden for the correct system function•Based on this, generation and formulation of the corresponding design-assertions. This is assisted by so-called track-charts documenting the system part to be verified by showing the different controlflow-pathes and their influences in reaching the desired system states•The computer-aided symbolic execution of the software design specification. Thereby it is determined which system states will be reached during operation and whether they are in compliance with the desired system states
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: 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.
