The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Complexity of software systems has reached the point where we need run-time mechanisms that can be used to provide fault management services. Testing and verification may not cover all possible scenarios that a system will encounter, hence a simpler, yet formally specified run-time monitoring, diagnosis, and fault mitigation architecture is needed to increase the software system's dependability. The...
Functional modeling and safety analysis are two important aspects of safety-critical embedded systems. However, they are often conducted separately. In this paper, we present an approach for integrating fault-tree-based safety analysis into statechart-based functional modeling. The proposed approach uses systematic transformation steps that maintain the semantics of both the fault tree and the statechart...
Service-oriented architecture (SOA) introduces a new paradigm where data, service, and the service composition logic are decoupled in an open environment. Software systems are built and evolved online by dynamic discovering and binding to the open services accessible through standard protocols. It requires new reliability modeling techniques to facilitate the analysis of dynamic collaborations and...
Software reliability models are used to estimation and prediction of software reliability. Existing models either use black-box approach that based on test data during software test phase or white-box approach that based on software architecture and individual component reliability, which is more suited to assess the reliability of modern software system. However, most of the reliability models based...
Aiming at the prediction precision and applicability problem for the traditional software reliability prediction models, from the point of nonlinear time sequence, this paper presented a novel software reliability prediction model using RBF neural network based on empirical mode decomposition theory. In the paper, the fault data series obtained from software reliability test phase is decomposed into...
For the software reliability testing the model of software reliability estimation, which is based on the random Poisson process, has been used, which determines and allows to forecast the software fault probability and its reliability in the set moment of time. The software environment of computer-aided testing for the verification of computational software for the solution of thermal conductivity...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.