| Autor: |
Mendoza, Luis E., Capel, Manuel I. |
| Zdroj: |
International Journal of Critical Computer-Based Systems; 2017, Vol. 7 Issue: 4 p341-368, 28p |
| Abstrakt: |
The complexity of modern safety-critical systemstogether with the absence of appropriate software verification tools is one reason for the large number of errors in the design and implementation of these systems. A methodological approach named formal compositional verification approachthat uses model checkingtechniques to verify safety-critical systems software is presented. This approach facilitates decomposition of complex safety-critical systems software into independently verified individual software components, and establishes a compositional method to verify these systems using state-of-the-art model checkers. Our objective in this paper is to facilitate the description of a safety-critical system software as a collection of verified software components, allowing the software verification of complex safety-critical systems. An application on a real-life software project in the field of mobile phone communication is discussed to demonstrate the applicability of the proposed approach. |
| Databáze: |
Supplemental Index |
| Externí odkaz: |
|
