【12/14(木)17時より】CiNiiの常時SSL化(HTTPS接続)について

Construction of multiversion software and its reliability evaluation マルチバージョンソフトウェアの構成手法とその信頼性評価

この論文をさがす

著者

    • 島, 和之 シマ, カズユキ

書誌事項

タイトル

Construction of multiversion software and its reliability evaluation

タイトル別名

マルチバージョンソフトウェアの構成手法とその信頼性評価

著者名

島, 和之

著者別名

シマ, カズユキ

学位授与大学

大阪大学

取得学位

博士 (工学)

学位授与番号

乙第7124号

学位授与年月日

1997-02-20

注記・抄録

博士論文

14401乙第07124号

博士(工学)

大阪大学

1997-02-20

12828

目次

  1. Abstract / p1 (0003.jp2)
  2. Contents / p6 (0006.jp2)
  3. 1 Introduction / p1 (0007.jp2)
  4. 1.1 Multiversion software / p1 (0007.jp2)
  5. 1.2 Outline of thesis / p3 (0008.jp2)
  6. 2 Preliminaries / p5 (0009.jp2)
  7. 2.1 N-Version Programming / p5 (0009.jp2)
  8. 2.2 Use of checkpoints / p7 (0010.jp2)
  9. 2.3 Correlated failure / p9 (0011.jp2)
  10. 3 Software Breeding:A New Method for Multiversion Software / p11 (0012.jp2)
  11. 3.1 Preliminary definitions / p12 (0013.jp2)
  12. 3.2 Overview of SB algorithm / p14 (0014.jp2)
  13. 3.3 Example / p31 (0022.jp2)
  14. 4 Modeling the Reliability of Multiversion Software / p34 (0024.jp2)
  15. 4.1 Independent failure / p36 (0025.jp2)
  16. 4.2 Correlated failure / p39 (0026.jp2)
  17. 5 Numerical Results / p41 (0027.jp2)
  18. 5.1 Effects of the number of modules / p41 (0027.jp2)
  19. 5.2 Effects of the reliability of program versions / p47 (0030.jp2)
  20. 5.3 Effects of the reliability of drivers and checkpoints / p52 (0033.jp2)
  21. 5.4 Effects of correlated failures / p54 (0034.jp2)
  22. 5.5 Summary / p58 (0036.jp2)
  23. 6 A Method of using Software Breeding for Real-time System / p60 (0037.jp2)
  24. 6.1 A new method / p61 (0037.jp2)
  25. 6.2 Experimental evaluation / p64 (0039.jp2)
  26. 7 Conclusion / p74 (0044.jp2)
  27. 7.1 Summary of major results / p74 (0044.jp2)
  28. 7.2 Future work / p77 (0045.jp2)
2アクセス

各種コード

  • NII論文ID(NAID)
    500000150096
  • NII著者ID(NRID)
    • 8000001060950
  • DOI(NDL)
  • NDL書誌ID
    • 000000314410
  • データ提供元
    • 機関リポジトリ
    • NDL-OPAC
    • NDLデジタルコレクション
ページトップへ