-
1
-
-
0004141256
-
Fundamental Concepts of Dependability,
-
739, Department of Computing Science, University of Newcastle upon Tyne
-
A. Avizienis, J.-C. Laprie and B. Randell, "Fundamental Concepts of Dependability," in Technical Report 739, Department of Computing Science, University of Newcastle upon Tyne, 2001.
-
(2001)
in Technical Report
-
-
Avizienis, A.1
Laprie, J.-C.2
Randell, B.3
-
3
-
-
0017983255
-
Reliability Issues in Computing System Design, in
-
B. Randell, P. Lee and P.C. Treleaven, "Reliability Issues in Computing System Design," in ACM computing Surveys, vol. 10, issue 2, pp. 123-165, 1978.
-
(1978)
ACM computing Surveys
, vol.10
, Issue.2
, pp. 123-165
-
-
Randell, B.1
Lee, P.2
Treleaven, P.C.3
-
4
-
-
0016522101
-
System Structure for Software Fault Tolerance, in
-
June
-
B. Randell, "System Structure for Software Fault Tolerance," in IEEE Trans. Software Engineering, vol. 1, no.2, pp. 220-232, June 1975.
-
(1975)
IEEE Trans. Software Engineering
, vol.1
, Issue.2
, pp. 220-232
-
-
Randell, B.1
-
5
-
-
0024663296
-
Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications, in
-
K. Kim and O. Welch, "Distributed Execution of Recovery Blocks: An Approach for Uniform Treatment of Hardware and Software Faults in Real-Time Applications," in IEEE Transactions on Computers, vol. 38, No 5, pp. 626-636, 1989.
-
(1989)
IEEE Transactions on Computers
, vol.38
, Issue.5
, pp. 626-636
-
-
Kim, K.1
Welch, O.2
-
6
-
-
0003052123
-
N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation
-
Toulouse, France
-
L. Chen and A. Avizienis, "N-Version Programming: A Fault-Tolerance Approach to Reliability of Software Operation," in Proceedings of FTCS-8, pp. 3-9, Toulouse, France, 1978.
-
(1978)
Proceedings of FTCS-8
, pp. 3-9
-
-
Chen, L.1
Avizienis, A.2
-
7
-
-
51549083748
-
Toward Integration of Major Design Techniques for Real-Time Fault-Tolerant Computer Systems,, in
-
K. Kim, "Toward Integration of Major Design Techniques for Real-Time Fault-Tolerant Computer Systems,", in Journal of Integrated Design and Process Science, vol. 6, issue 1, pp. 83-101, 2002.
-
(2002)
Journal of Integrated Design and Process Science
, vol.6
, Issue.1
, pp. 83-101
-
-
Kim, K.1
-
8
-
-
36148958074
-
BOSS /EVERCONTROL OS/Middleware Target Ultra High Dependability
-
DASIA, Edinburgh, Scotland
-
S. Montenegro and F. Zolzky, "BOSS /EVERCONTROL OS/Middleware Target Ultra High Dependability," in Proceedings of Data Systems on Aerospace -DASIA, Edinburgh, Scotland, 2005.
-
(2005)
Proceedings of Data Systems on Aerospace
-
-
Montenegro, S.1
Zolzky, F.2
-
9
-
-
84859290275
-
Dependable Software (BOSS) for the BEESat Pico Satellite
-
Berlin, Germany
-
S. Montenegro, K. Briess and H. Kayal, "Dependable Software (BOSS) for the BEESat Pico Satellite," in Proceedings of Data Systems on Aerospace - DASIA, Berlin, Germany, 2006.
-
(2006)
Proceedings of Data Systems on Aerospace - DASIA
-
-
Montenegro, S.1
Briess, K.2
Kayal, H.3
-
10
-
-
51549090906
-
HiPeRCAR: The High Performance Resilient Computer for Autonomous Robotics
-
Berlin, Germany
-
P. Massa, et al.,"HiPeRCAR: the High Performance Resilient Computer for Autonomous Robotics," in Proceedings of Data Systems on Aerospace - DASIA, Berlin, Germany, 2006.
-
(2006)
Proceedings of Data Systems on Aerospace - DASIA
-
-
Massa, P.1
-
11
-
-
0034432141
-
Adaptive fault tolerance for spacecraft
-
IEEE, 5
-
M. Hecht, H. Hecht and H. Shokri, "Adaptive fault tolerance for spacecraft," in Aerospace Conference Proceedings, IEEE 2000 , vol.5, pp.521-533 vol.5, 2000.
-
(2000)
Aerospace Conference Proceedings
, vol.5
, pp. 521-533
-
-
Hecht, M.1
Hecht, H.2
Shokri, H.3
-
12
-
-
35248828504
-
Aspect Oriented Programming
-
Proceedings European Conference on Object-Oriented Programming, ECOOP'97
-
G. Kiczales et al., "Aspect Oriented Programming," in Proceedings European Conference on Object-Oriented Programming - ECOOP'97, LNCS 1241, pp. 220-242, 1997.
-
(1997)
LNCS
, vol.1241
, pp. 220-242
-
-
Kiczales, G.1
-
13
-
-
80755170810
-
Aspect-Oriented Fault Tolerance for Real-Time Embedded Systems
-
Brussels, Belgium
-
F. Afonso, C. Silva, N. Brito, S. Montenegro and A. Tavares, "Aspect-Oriented Fault Tolerance for Real-Time Embedded Systems," in Proceedings of the 7th Workshop on Aspects, Components and Patterns for Infrastructure Software - ACP4IS, Brussels, Belgium, 2008.
-
(2008)
Proceedings of the 7th Workshop on Aspects, Components and Patterns for Infrastructure Software - ACP4IS
-
-
Afonso, F.1
Silva, C.2
Brito, N.3
Montenegro, S.4
Tavares, A.5
-
15
-
-
84980027735
-
A Reuse Framework for Software Fault Tolerance
-
San Antonio, March
-
K. Tso, E. Shokri, A. Tai and R. Dziegiel, "A Reuse Framework for Software Fault Tolerance," in Proceedings of AIAA 10th Computers in Aerospace Conference, San Antonio, March, 1995.
-
(1995)
Proceedings of AIAA 10th Computers in Aerospace Conference
-
-
Tso, K.1
Shokri, E.2
Tai, A.3
Dziegiel, R.4
-
16
-
-
51549088936
-
-
F.. Daniels, K. Kim, and M.A. Vouk, The Reliable Hybrid Pattern - A Generalized Software Fault Tolerant Design Pattern, in Proceedings of Pattern Language of Programming Conference - PLOP'97, 1997.
-
F.. Daniels, K. Kim, and M.A. Vouk, "The Reliable Hybrid Pattern - A Generalized Software Fault Tolerant Design Pattern,", in Proceedings of Pattern Language of Programming Conference - PLOP'97, 1997.
-
-
-
-
17
-
-
0034849390
-
Object-Oriented Executives and Components for Fault Tolerance
-
R. Duncan and L. Pullum, "Object-Oriented Executives and Components for Fault Tolerance," in IEEE Proceedings of Aerospace Conference, vol. 6, pp. 2849-2855, 2001.
-
(2001)
IEEE Proceedings of Aerospace Conference
, vol.6
, pp. 2849-2855
-
-
Duncan, R.1
Pullum, L.2
-
20
-
-
84981182828
-
ROAFTS: A Middleware Architecture for Real-Time Objectoriented Adaptive Fault Tolerance Support
-
Washington, D.C
-
K. Kim, "ROAFTS: A Middleware Architecture for Real-Time Objectoriented Adaptive Fault Tolerance Support," in Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium, pp. 50-57, Washington, D.C., 1998.
-
(1998)
Proceedings of the 3rd IEEE International High-Assurance Systems Engineering Symposium
, pp. 50-57
-
-
Kim, K.1
-
21
-
-
0003111004
-
An Efficient Middleware Architecture Supporting Time-Triggered, Message-Triggered Objects and an NTbased Implementation
-
K. Kim, M. Ishida and J. liu, "An Efficient Middleware Architecture Supporting Time-Triggered, Message-Triggered Objects and an NTbased Implementation," in Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, pp. 54-63, 1999.
-
(1999)
Proceedings of the 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
, pp. 54-63
-
-
Kim, K.1
Ishida, M.2
liu, J.3
|