Titlebook: Computer Safety, Reliability, and Security; 36th International C Stefano Tonetta,Erwin Schoitsch,Friedemann Bitsch Conference proceedings 2

星星

overweight

DOL Schemes and Recurrent Words,safety properties, a design-time method to automatically generate schedules for different modes of operations from declaratively defined requirements is established. To cope with the inherent computational complexity, heuristics are developed to effectively narrow the problem space. Subsequently, th

骨

Rare Event Simulation for Dynamic Fault Treesmonstrate our approach using three parameterized sets of case studies, showing that our method can handle fault trees that could not be evaluated with either existing analytical techniques, nor with standard simulation techniques.

絆住

A Simplex Architecture for Hybrid Systems Using Barrier Certificates..Our approach of using BaCs to identify recoverable states is computationally cheaper and potentially more accurate (less conservative) than existing approaches based on state-space exploration. We apply our technique to two hybrid systems: a water tank pump and a stop-sign-obeying controller for a

鬼魂

obeisance

生銹

Rare Event Simulation for Dynamic Fault Treesommon dependability metrics, such as the system reliability and availability. A severe drawback of Monte Carlo simulation is that the number of simulations required to obtain accurate estimations grows extremely large in the presence of ., i.e., events whose probability of occurrence is very low, wh

intertwine

擁護(hù)者

木質(zhì)