Search For:

Displaying 1-5 out of 5 total
Assisted Assignment of Automotive Safety Requirements
Found in: IEEE Software
By Luis da Silva Azevedo,David Parker,Martin Walker,Yiannis Papadopoulos,Rui Esteves Araujo
Issue Date:January 2014
pp. 62-68
ISO 26262, a functional-safety standard, uses Automotive Safety Integrity Levels (ASILs) to assign safety requirements to automotive-system elements. System designers initially assign ASILs to system-level hazards and then allocate them to elements of the ...
Compositional Synthesis of Temporal Fault Trees from State Machines
Found in: Availability, Reliability and Security, International Conference on
By Nidhal Mahmud,Martin Walker,Yiannis Papadopoulos
Issue Date:August 2011
pp. 429-435
Dependability analysis of a dynamic system which is embedded with several complex interrelated components raises two main problems. First, it is difficult to represent in a single coherent and complete picture how the system and its constituent parts behav...
A translation of State Machines to temporal fault trees
Found in: Dependable Systems and Networks Workshops
By Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker
Issue Date:July 2010
pp. 45-51
State Machines (SMs) are increasingly being used to gain a better understanding of the failure behaviour of safety-critical systems. In dependability analysis, SMs are translated to other models, such as Generalized Stochastic Petri Nets (GSPNs) or combina...
A Language for Failure Patterns and Application in Safety Analysis
Found in: Dependability of Computer Systems, International Conference on
By Ian Wolforth, Martin Walker, Yiannis Papadopoulos
Issue Date:June 2008
pp. 47-54
Components and families of components in mechatronic systems often exhibit failure characteristics that are independent of system context and repeatable across applications. In this paper, we show that it is possible to capture and reuse such patterns for ...
An overview of Cray research computers including the Y-MP/C90 and the new MPP T3D
Found in: Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures (SPAA '93)
By Martin Walker, Wilfried Oed
Issue Date:June 1993
pp. 271-272
We propose a new design for highly concurrent Internet services, which we call the staged event-driven architecture (SEDA). SEDA is intended to support massive concurrency demands and simplify the construction of well-conditioned services. In SEDA, applica...