K. Hoyme and K. Driscoll. SAFEbus. IEEE Aerospace and Electronic Systems Magazine, 8:34--39, Mar. 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Time-Triggered Architecture - Kopetz, Bauer (1988) (18 citations) (Correct)
.... the design of the STAR computer [2] and the two projects SIFT [3] and FTMP [4] These projects were carefully evaluated and gave rise to new designs about ten years later: FTPP [5] MAFT [6] and the architectural concepts of the AIRBUS flight control system [7] In 1992 the first paper on SAFEbus [8] the architecture that was later deployed in the Boeing 777 aircraft for flight control, became available. In excellent publications by Lala [9] Avizienis [10] and the books by Rechtin [11] and Laprie [12] the fundamental concepts and architectural principles for the design of dependable ....
K. Hoyme and K. Driscoll. SAFEbus. IEEE Aerospace and Electronic Systems Magazine, 8(3):34--39, 1993.
A Comparison of Bus Architectures for Safety-Critical Embedded.. - Rushby (2001) (17 citations) (Correct)
....in the margin by keywords that are intended to aid navigation. 2.1 The Four Buses We describe the general characteristics of each of the bus architectures considered. 2.1. 1 SAFEbus SAFEbus TM was developed by Honeywell (the principal designers are Kevin Driscoll and Ken Hoyme [HDHR91,HD92,HD93] to serve as the core of the Boeing 777 Airplane Information Management System (AIMS) SD95] which supports several critical functions, such as cockpit displays and airplane data gateways. The bus has been standardized as ARINC 659 [ARI93] and variations on Honeywell s implementation are being ....
Kenneth Hoyme and Kevin Driscoll. SAFEbus TM . IEEE Aerospace and Electronic Systems Magazine, 8(3):34--39, March 1993.
Systematic Formal Verification for Fault-Tolerant Time-Triggered.. - Rushby (1999) (19 citations) (Correct)
....are kept close together, processors perform their actions at speci c times, and tasks and messages are globally and statically scheduled. The buses and operating systems used in these contexts are specialized and dedicated to satisfaction of the synchrony hypothesis [4] The Honeywell SAFEbus TM [5,6] that provides the safety critical backplane for the Boeing 777 Airplane Information Management System (AIMS) 7, 8] the control system for the Shinkansen (Japanese Bullet Train) 9] and the Time Triggered Protocol (TTP) for safety critical automobile functions [10] all use this approach. A ....
Kenneth Hoyme and Kevin Driscoll, \SAFEbus TM ," IEEE Aerospace and Electronic Systems Magazine, vol. 8, no. 3, pp. 34-39, Mar. 1993.
Systematic Formal Verification for Fault-Tolerant Time-Triggered.. - Rushby (1997) (19 citations) (Correct)
....build on mechanisms that are not merely synchronous but synchronized and time triggered: the clocks of the different processors are kept close together, processors perform their actions at specific times, and tasks and messages are globally and statically scheduled. The Honeywell SAFEbus TM [1,17] that provides the safety critical backplane for the Boeing 777 Airplane Information Management System (AIMS) 31,39] the control system for the Shinkansen (Japanese Bullet Train) 16] and the TimeTriggered Protocol (TTP) proposed for safety critical automobile functions [21] all use this latter ....
Kenneth Hoyme and Kevin Driscoll. SAFEbus TM . IEEE Aerospace and Electronic Systems Magazine, 8(3):34--39, March 1993.
Virtual Networks in an Integrated Time-Triggered Architecture - Obermaisser, Peti, Kopetz (2005) (Correct)
No context found.
K. Hoyme and K. Driscoll. SAFEbus. IEEE Aerospace and Electronic Systems Magazine, 8:34--39, Mar. 1993.
Formal Methods and the Certification of Critical Systems - Rushby (1993) (50 citations) (Correct)
No context found.
Kenneth Hoyme and Kevin Driscoll. SAFEbus . IEEE Aerospace and Electronic Systems Magazine, 8(3):34--39, March 1993.
Partitioning in Avionics Architectures: Requirements, Mechanisms, .. - Rushby (2000) (11 citations) (Correct)
No context found.
Kenneth Hoyme and Kevin Driscoll. SAFEbus . IEEE Aerospace and Electronic Systems Magazine, 8(3):34--39, March 1993.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC