Design improvement of system administrative operations for certification

Kumiko Tadano, Jiangwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

For mission critical systems, many companies and governmental organizations require certified software products and/or development processes. Companies developing such systems need to achieve certain system availability requirements by domain-specific certification standards or informal assurance techniques at competitive cost and time. System availability is an important metric for certification of the systems, and it is affected by design of operation procedures for the systems. To improve system availability to the required level with the minimal effort, it is essential to find the operations whose improvements can achieve the system availability requirements. This paper proposes a method to identify the operations whose improvements are necessary to achieve desired system availability in operation procedures, and to recommend means to improve the operations. We demonstrate a case study of applying the proposed method to an operation procedure of a real database. We succeeded in identifying operations to be improved to achieve certain system availability requirements in an operation procedure and providing a reasonable recommendation to improve system availability.

Original languageEnglish
Title of host publicationProceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011
Pages31-36
Number of pages6
DOIs
Publication statusPublished - 1 Dec 2011
Event2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011 - Hiroshima, Japan
Duration: 29 Nov 20111 Dec 2011

Publication series

NameProceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011

Conference

Conference2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011
CountryJapan
CityHiroshima
Period29/11/111/12/11

Keywords

  • availavility
  • design improvement
  • Petri net
  • stochastic reward net
  • system operations

Fingerprint Dive into the research topics of 'Design improvement of system administrative operations for certification'. Together they form a unique fingerprint.

  • Cite this

    Tadano, K., Xiang, J., Machida, F., Maeno, Y., Osaki, T., & Kobayashi, A. (2011). Design improvement of system administrative operations for certification. In Proceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011 (pp. 31-36). [6118517] (Proceedings - 2011 1st International Workshop on Software Certification, WoSoCER 2011 - In Conjunction with the 22nd International Symposium on Software Reliability Engineering, ISSRE 2011). https://doi.org/10.1109/WoSoCER.2011.12