J. McDermid

Learn More
Ideally, a measure of the security of a system should capture quantitatively the intuitive notion of 'the ability of the system to resist attack'. That is, it should be operational, reflecting the degree to which the system can be expected to remain free of security breaches under particular conditions of operation (including attack). Instead, current(More)
During software certification various forms of testing (e.g., unit, integration, regression) are undertaken. These testing processes are very important, but are also generally accepted as expensive, leading to a desire to replace testing with more cost-effective processes, where practicable. This paper is concerned with how such technology substitution can(More)
Fundamental to the success of a product-line strategy is having some means to attain the global architecture that all products will share. Migrating to the architecture is often perceived as a difficult part of implementing the strategy. However, the technique presented here permits a low-risk, incremental development of the architecture via a process of(More)
The degree of flexibility brought to the next generation of aircraft by integrated modular avionics (IMA) concept potentially enables dynamic reconfiguration of the avionics systems, e.g. as a means of fault containment. So far, most of the research in this field has focused on real-time task scheduling and dynamic resource (re)allocation. In this paper, we(More)
As the transition towards integrated programmable systems gradually takes place in the automotive industry, there is clearly a need to ensure that new on-board systems and networks will deliver safety-related services with at least the degree of reliability that similar services have been delivered by conventional systems in the past. Current trends show(More)
We present an approach to the integration of the quantitative and qualitative aspects of safety assessment to facilitate the certification of complex systems using a quantitative criteria. The approach is based on documenting all of all of the relevant safety factors in a system safety case and then transitioning all of the qualitative factors to(More)