BaroVNAV is seen by the aviation industry as a major feature of the navigation infrastructure to support RNAV, RNP approaches and possibly precision approaches in the future. During discussions which occurred during the Navigation Systems Panel meeting, Montreal October 2005, the perspective of navigation systems experts on the limited integrity of BaroVNAV with respect to other vertical naviga...

Software changes are difficult since the impacts of the changes are not readily known in advance. For safety-critical system, the changes can even introduce hazards to bug down the system. Then impact analysis makes its way into the software process. It identifies the consequences or ripple-effects of proposed software changes. In impact analysis, identifying the change impacts is a central act...

In this paper, we develop an economic production quantity (EPQ) model under machine breakdown and two types of repair (corrective and preventive). also, study the simultaneous effect of holding safety stock and purchasing policy. In order to avoid shortages occurring as a result of the random repair time, in addition to keep safety stock, we suppose that the manufacturer could purchase some qua...

Safety analysis is an algorithm for determining if a term in an untyped lambda calculus with constants is safe, i.e., if it does not cause an error during evaluation. This ambition is also shared by algorithms for type inference. Safety analysis and type inference are based on rather different perspectives, however. Safety analysis is global in that it can only analyze a complete program. In co...

This paper describes the XSAP safety analysis platform. XSAP provides several model-based safety analysis features for finiteand infinite-state synchronous transition systems. In particular, it supports library-based definition of fault modes, an automatic model extension facility, generation of safety analysis artifacts such as Dynamic Fault Trees and Failure Mode and Effects Analysis tables. ...

In our 2008 ISSC paper we have reviewed some pragmatic challenges of incremental system safety assessment and outlined requirements for a framework to identify, track and manage design and analysis changes introduced between iterations. This ‘follow-up’ paper reports our recent work to address these issues. The paper defines an intuitive “lightweight refinement” relation between results of the ...