CS Store Search
Displaying 1-5 out of 5 total
Assisted Assignment of Automotive Safety Requirements
By Luis da Silva Azevedo,David Parker,Martin Walker,Yiannis Papadopoulos,Rui Esteves Araujo
Issue Date:January 2014
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
Availability, Reliability and Security, International Conference on
By Nidhal Mahmud,Martin Walker,Yiannis Papadopoulos
Issue Date:August 2011
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
Dependable Systems and Networks Workshops
By Nidhal Mahmud, Yiannis Papadopoulos, Martin Walker
Issue Date:July 2010
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
Dependability of Computer Systems, International Conference on
By Ian Wolforth, Martin Walker, Yiannis Papadopoulos
Issue Date:June 2008
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
Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures (SPAA '93)
By Martin Walker, Wilfried Oed
Issue Date:June 1993
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...
Original Search Engine
Need a Web Account?
Become a Member
This site and all contents (unless otherwise noted) are Copyright ©2008, IEEE, Inc. All rights reserved.