GSPN based reliability design for intellectualized system

Software reliability has been regarded as one of the most important quality attributes for software intensive systems, especially in embedded system domain. Software reliability engineering is focused on engineering techniques for developing and maintaining software systems whose reliability can be quantitatively evaluated. As most of embedded systems complicated functionalities and controls are implemented by software which is embedded in hardware systems, it became more critical to assure high reliability for software itself. At this point, there is no visible boundary between Software reliability and software safety. Although software reliability has remained an active research subject over several years, challenges and open questions still exist. In particular, vital future goals include the development of new software reliability engineering paradigms that take software architectures, testing techniques, and software failure manifestation mechanisms into consideration. In this paper, we give a paradigm of embedded system, and do some analysis about it by using Generalized Stochastic Petri Net (GSPN).