Abstract
Current research activities on dependable computing and other related dependability issues in Japan are reviewed. When considering the dependable computing, an emphasis is put on architectural aspects of computing systems, though the dependable computing is not limited to them, but ranges very broadly. Not only technical issues but also some organizational activities are also touched.
Chapter PDF
Similar content being viewed by others
Key words
References
Foster, I., Kessselman, S., Nick, J. M. and Tuecke, S., 2002, Grid Services for Distributed System Integration, Computers, IEEE Computer, Vol. 35,No. 6, pp. 37–46, June 2002.
Mishia, T and Akaike, T., 2003, PREGMA: A New Fault Tolerant Cluster Using COTS Components for Internet Services, Transactions on Information and Systems, The Institute of Electronics, Information and Communication Engineers (IEICE), Vol. E86-D,No. 12, pp. 2517–2526, December 2003.
Mendelson, A. and Suri, A., 2000, Designing high-performance & reliable superscalar architecture — the out of order reliable superscalar (O3RS) approach; Proc. IEEE/IFIP International Conference on Dependable Systems and Networks, pp. 447–481, 2000.
Moskewicz, M. W., Madigan, C. F., Zhao, Y., Zhang, L, and Malik, S, 2001, Chaff: Engineering an efficient sat solver, Proc. 39 th Design Automation Conference, 2001.
Mukaidono, M., 2002, The Map on Safety — Toward to establish a new overall discipline on safety, Proc. 3 rd International Forum on Safety Engineering and Science (IFSESIII), 2002. (See http://www.sys.cs.meiji.ac.jp/~masao/kouen/safetymandala.file/frame.htm.)
Sato, T., 2003, A Transparent and Transient Faults Tolerance Mechanism for Superscalar Processors, Transactions on Information and Systems, IEICE, Vol. E86-D,No. 12, pp. 2508–2516, December 2003.
Tohma, Y., 2003, Consideration of Fault Tolerance in Autonomic Computing Environment, ibid, 2503–2507.
Yokogawa, T., Tsuchiya, T., Nakamura, M., and Kikuno, T., 2003, Feature Interaction Detection by Bounded Model Checking, ibid, 2579–2587.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this paper
Cite this paper
Tohma, Y., Mukaidono, M. (2004). Current Research Activities on Dependable Computing and Other Dependability Issues in Japan. In: Jacquart, R. (eds) Building the Information Society. IFIP International Federation for Information Processing, vol 156. Springer, Boston, MA. https://doi.org/10.1007/978-1-4020-8157-6_14
Download citation
DOI: https://doi.org/10.1007/978-1-4020-8157-6_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-8156-9
Online ISBN: 978-1-4020-8157-6
eBook Packages: Springer Book Archive