Search For:

Displaying 1-5 out of 5 total
Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal
Found in: 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)
By Ewen Denney,Ganesh Pai,Josef Pohl
Issue Date:July 2012
pp. 199-208
We describe a method for the automatic assembly of aviation safety cases by combining auto-generated argument fragments derived from the application of a formal method to software, with manually created argument fragments derived from system safety analysi...
Perspectives on software safety case development for unmanned aircraft
Found in: 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
By Ewen Denney,Ganesh Pai,Ibrahim Habli
Issue Date:June 2012
pp. 1-8
We describe our experience with the ongoing development of a safety case for an unmanned aircraft system (UAS), emphasizing autopilot software safety assurance. Our approach combines formal and non-formal reasoning, yielding a semi-automatically assembled ...
Towards Measurement of Confidence in Safety Cases
Found in: Empirical Software Engineering and Measurement, International Symposium on
By Ewen Denney,Ganesh Pai,Ibrahim Habli
Issue Date:September 2011
pp. 380-383
Safety cases capture a structured argument linking claims about the safety of a system to the evidence justifying those claims. However, arguments in safety cases tend to be predominantly qualitative. Partly, this is attributed to the lack of sufficient de...
Bayesian Networks applied to Software IV&V
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Ganesh Pai, Joanne Bechta-Dugan, Khalid Lateef
Issue Date:April 2005
pp. 293-304
<p>In this paper, we describe how Bayesian networks can be used to merge quantitative and qualitative information to support IV&V of use cases. Essentially, simple metrics from the use cases are computed, which are then input to a Bayesian networ...
An overview of CIM enterprise modeling methodologies
Found in: Proceedings of the 28th conference on Winter simulation (WSC '96)
By David B. Pratt, Ganesh Pai Kateel, Manjunath Kamath
Issue Date:December 1996
pp. 1000-1007
This paper describes the CONVERSIM simulation language. CONVERSIM is a developmental general-purpose, discrete-event language which has been used in the classroom to introduce the use and operation of simulators prior to the introduction of languages such ...