Search For:

Displaying 1-8 out of 8 total
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 ...
Arguing Conformance
Found in: IEEE Software
By Patrick Graydon,Ibrahim Habli,Richard Hawkins,Tim Kelly,John Knight
Issue Date:May 2012
pp. 50-57
Conformance to software standards plays an essential role in establishing confidence in high-integrity software systems. However, standards conformance suffers from uncertainty about its meaning for three reasons: because requirements of the standard must ...
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...
A Model-Driven Approach to Assuring Process Reliability
Found in: Software Reliability Engineering, International Symposium on
By Ibrahim Habli, Tim Kelly
Issue Date:November 2008
pp. 7-16
The process can fail to deliver its expected outputs and consequently contribute to the introduction of faults into the software system. The process may fail due to ambiguous and unsuitable notations, unreliable tool-support, flawed methods and techniques ...
Challenges of Establishing a Software Product Line for an Aerospace Engine Monitoring System
Found in: Software Product Line Conference, International
By Ibrahim Habli, Tim Kelly
Issue Date:September 2007
pp. 193-202
The introduction of a software product line may pose a great organizational challenge in the domain of highintegrity systems. Project and technical managers within an organization need to be assured that the reusable assets of a product line are reliable a...
Capturing and Replaying Architectural Knowledge through Derivational Analogy
Found in: SHAring and Reusing architectural Knowledge Architecture, Rationale, and Design Intent, Workshop on
By Ibrahim Habli, Tim Kelly
Issue Date:May 2007
pp. 4
The architecture definition activity of complex systems is intellectually intensive -- consuming much of the design time and budget. Rather than being regarded merely as a collection of views, software architecture can also be regarded as a collection of d...
A Layered Model for Structuring Automotive Safety Arguments (Short Paper)
Found in: 2014 Tenth European Dependable Computing Conference (EDCC)
By John Birch,Roger Rivett,Ibrahim Habli,Ben Bradshaw,John Botham,Dave Higham,Helen Monkhouse,Robert Palin
Issue Date:May 2014
pp. 178-181
We present a model for structuring automotive safety arguments comprising four different, yet interrelated, layers of safety claims. The layered model is structured by the rationale behind safety requirements, their relationship to corresponding physical a...
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software
Found in: IEEE Transactions on Software Engineering
By Richard Baker,Ibrahim Habli
Issue Date:June 2013
pp. 787-805
Testing provides a primary means for assuring software in safety-critical systems. To demonstrate, particularly to a certification authority, that sufficient testing has been performed, it is necessary to achieve the test coverage levels recommended or man...