| Due to the complexity of embedded software and the trend of large-scale development,the traditional code-center way of developing cannot meet the increasingly stringent security and reliability requirements.The model-driven software development method solves the inconsistency in different stages of development and fundamentally guarantees the correctness of embedded software and becomes the mainstream development method.Due to the high complexity of embedded software in safety-critical areas,it is very important to establish an error behavior model as early as possible in the software development process to reflect the way in which software failure behavior propagates in the system and evaluate the reliability of embedded software,which could highly improve the quality of embedded software and the effectiveness of reliability analysis.Under the circumstances,this paper proposes a model of error behavior expansion based on RTESIDDVL,aiming at its shortcomings of expressive ability of software invalidation behavior.The model clearly describes the software failure behavior of the embedded software system in both graphic and textual ways,and provides the foundation for the reliability analysis of the embedded software.Meanwhile,a modeling method is proposed for the RTESIDDVL error behavior model.The independent component method is used to model the error behavior of the embedded software independent module,and the failure propagation model method reflects the software failure propagation behavior among the module components.On this basis,this paper studies and proposes a method of reliability evaluation of embedded software based on GSPN model.The method models the target system's error behavior and use a method to obtain GSPN model through model-transform.By calculating the GSPN model,the key parameters such as the steady state availability of embedded software are obtained and the reliability of embedded software is evaluated quantitatively. |
PDF Full Text Request