Toward strategic development of hodoyoshi microsatellite using assurance cases

Kohei Tanaka, Yutaka Matsuno, Yoshihiro Nakabo, Seiko Shirasaka, Shinichi Nakasuka

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

2 Citations (Scopus)

Abstract

As satellite technology has been highly advanced, it has become difficult to assure dependability of satellite systems. Currently, dependability of satellite systems is mainly supported by various risk analysis and verification. However, sometimes it is not clear why such analysis and verification result are required for dependability of the satellite systems. In particular for development of micro satellites, due to time and cost constraints, management of risk analysis and verification has been done in ad-hoc manner. This paper presents a strategic development of a micro satellite using assurance cases. Assurance case is a documented body of evidence that provides a convincing and valid argument that a system is adequately dependable for a given application in a given environment. In Europe, assurance cases are widely used as regulation in safety- critical areas such as defense, avionics, rails, etc. In this paper, we take "Discharge and Charge system of Hodoyoshi-3 microsatellite" as an example. We conduct a writing experiment of assurance cases for the system and report how the assurance cases are used for quality assurance of the system.

Original languageEnglish
Title of host publicationProceedings of the International Astronautical Congress, IAC
Pages8219-8224
Number of pages6
Volume10
Publication statusPublished - 2012
Event63rd International Astronautical Congress 2012, IAC 2012 - Naples, Italy
Duration: 2012 Oct 12012 Oct 5

Other

Other63rd International Astronautical Congress 2012, IAC 2012
CountryItaly
CityNaples
Period12/10/112/10/5

Fingerprint

microsatellites
assurance
Satellites
Risk analysis
avionics
Avionics
rails
Quality assurance
Rails
safety
costs
cost
Costs

ASJC Scopus subject areas

  • Space and Planetary Science
  • Aerospace Engineering
  • Astronomy and Astrophysics

Cite this

Tanaka, K., Matsuno, Y., Nakabo, Y., Shirasaka, S., & Nakasuka, S. (2012). Toward strategic development of hodoyoshi microsatellite using assurance cases. In Proceedings of the International Astronautical Congress, IAC (Vol. 10, pp. 8219-8224)

Toward strategic development of hodoyoshi microsatellite using assurance cases. / Tanaka, Kohei; Matsuno, Yutaka; Nakabo, Yoshihiro; Shirasaka, Seiko; Nakasuka, Shinichi.

Proceedings of the International Astronautical Congress, IAC. Vol. 10 2012. p. 8219-8224.

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

Tanaka, K, Matsuno, Y, Nakabo, Y, Shirasaka, S & Nakasuka, S 2012, Toward strategic development of hodoyoshi microsatellite using assurance cases. in Proceedings of the International Astronautical Congress, IAC. vol. 10, pp. 8219-8224, 63rd International Astronautical Congress 2012, IAC 2012, Naples, Italy, 12/10/1.
Tanaka K, Matsuno Y, Nakabo Y, Shirasaka S, Nakasuka S. Toward strategic development of hodoyoshi microsatellite using assurance cases. In Proceedings of the International Astronautical Congress, IAC. Vol. 10. 2012. p. 8219-8224
Tanaka, Kohei ; Matsuno, Yutaka ; Nakabo, Yoshihiro ; Shirasaka, Seiko ; Nakasuka, Shinichi. / Toward strategic development of hodoyoshi microsatellite using assurance cases. Proceedings of the International Astronautical Congress, IAC. Vol. 10 2012. pp. 8219-8224
@inproceedings{7e32e608dd5e4c92aaf22ba8d3f4f5c8,
title = "Toward strategic development of hodoyoshi microsatellite using assurance cases",
abstract = "As satellite technology has been highly advanced, it has become difficult to assure dependability of satellite systems. Currently, dependability of satellite systems is mainly supported by various risk analysis and verification. However, sometimes it is not clear why such analysis and verification result are required for dependability of the satellite systems. In particular for development of micro satellites, due to time and cost constraints, management of risk analysis and verification has been done in ad-hoc manner. This paper presents a strategic development of a micro satellite using assurance cases. Assurance case is a documented body of evidence that provides a convincing and valid argument that a system is adequately dependable for a given application in a given environment. In Europe, assurance cases are widely used as regulation in safety- critical areas such as defense, avionics, rails, etc. In this paper, we take {"}Discharge and Charge system of Hodoyoshi-3 microsatellite{"} as an example. We conduct a writing experiment of assurance cases for the system and report how the assurance cases are used for quality assurance of the system.",
author = "Kohei Tanaka and Yutaka Matsuno and Yoshihiro Nakabo and Seiko Shirasaka and Shinichi Nakasuka",
year = "2012",
language = "English",
isbn = "9781622769797",
volume = "10",
pages = "8219--8224",
booktitle = "Proceedings of the International Astronautical Congress, IAC",

}

TY - GEN

T1 - Toward strategic development of hodoyoshi microsatellite using assurance cases

AU - Tanaka, Kohei

AU - Matsuno, Yutaka

AU - Nakabo, Yoshihiro

AU - Shirasaka, Seiko

AU - Nakasuka, Shinichi

PY - 2012

Y1 - 2012

N2 - As satellite technology has been highly advanced, it has become difficult to assure dependability of satellite systems. Currently, dependability of satellite systems is mainly supported by various risk analysis and verification. However, sometimes it is not clear why such analysis and verification result are required for dependability of the satellite systems. In particular for development of micro satellites, due to time and cost constraints, management of risk analysis and verification has been done in ad-hoc manner. This paper presents a strategic development of a micro satellite using assurance cases. Assurance case is a documented body of evidence that provides a convincing and valid argument that a system is adequately dependable for a given application in a given environment. In Europe, assurance cases are widely used as regulation in safety- critical areas such as defense, avionics, rails, etc. In this paper, we take "Discharge and Charge system of Hodoyoshi-3 microsatellite" as an example. We conduct a writing experiment of assurance cases for the system and report how the assurance cases are used for quality assurance of the system.

AB - As satellite technology has been highly advanced, it has become difficult to assure dependability of satellite systems. Currently, dependability of satellite systems is mainly supported by various risk analysis and verification. However, sometimes it is not clear why such analysis and verification result are required for dependability of the satellite systems. In particular for development of micro satellites, due to time and cost constraints, management of risk analysis and verification has been done in ad-hoc manner. This paper presents a strategic development of a micro satellite using assurance cases. Assurance case is a documented body of evidence that provides a convincing and valid argument that a system is adequately dependable for a given application in a given environment. In Europe, assurance cases are widely used as regulation in safety- critical areas such as defense, avionics, rails, etc. In this paper, we take "Discharge and Charge system of Hodoyoshi-3 microsatellite" as an example. We conduct a writing experiment of assurance cases for the system and report how the assurance cases are used for quality assurance of the system.

UR - http://www.scopus.com/inward/record.url?scp=84883499165&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84883499165&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:84883499165

SN - 9781622769797

VL - 10

SP - 8219

EP - 8224

BT - Proceedings of the International Astronautical Congress, IAC

ER -