Towards a language for communication among stakeholders

Yutaka Matsuno, Jin Nakazawa, Makoto Takeyama, Midori Sugaya, Yutaka Ishikawa

研究成果: Conference contribution

13 被引用数 (Scopus)

抄録

Computers are now present almost everywhere and connected into ever more complex networks. This means not only that embedded systems are more complicated, but also that communication among the diverse stakeholders of systems is much harder than before. This paper introduces the D-Case approach to a systematic explanation of embedded-systems dependability. A D-Case is a structured document that argues for the dependability of a system, supported by evidence. This extends the notion of safety cases [3] commonly used in (European) safety-critical sectors. The goal is to develop the D-Case language for communication systems dependability among the stakeholders. The paper reports the experience in constructing a D-Case for the remote test surveillance system developed to demonstrate certain dependability system components. D-Case construction is shown to be an effective method in explaining how each system component contributes to the overall dependability of the system. Another experiment shows how the D-Case approach can promote dependability through the life cycle of a larger system. Finally, the paper presents some comments on the difficulties and insights for future work.

本文言語English
ホスト出版物のタイトルProceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010
ページ93-100
ページ数8
DOI
出版ステータスPublished - 2010 12月 1
外部発表はい
イベント16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010 - Tokyo, Japan
継続期間: 2010 12月 132010 12月 15

出版物シリーズ

名前Proceedings - 16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010

Conference

Conference16th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2010
国/地域Japan
CityTokyo
Period10/12/1310/12/15

ASJC Scopus subject areas

  • 計算理論と計算数学

フィンガープリント

「Towards a language for communication among stakeholders」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル