講演名 2003/11/20
システム開発で対象とする安全性
小林 洋,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 最近, システム開発において安全性(safety)の観点(アスペクト:aspect)からのアプローチに関心が高まっている. ところが, 安全性という用語は, システム開発の分野でも場合によって様々な意味で用いられている. 今後開発の自動化が進んでいくと, 多様な情報管理のためのリポジトリ(repository)が必要になって来るため, 従来は開発者が場面により使い分けていた用語の意味を明確にし, 概念体系の構築が必要になって来るものと思われる. 本稿では, その第一歩としてまず安全性という用語についての様々な意味の記述と検討を行う. まず, 要求仕様レベルでは, 安全性は何らかの共通の基準(criteria)に準拠しているのではないかと考え, その基準の記述を試みると共に, 人間の活動という観点から安全性について検討する. 次に, 要求仕様レベルとは違う意味で用いられているように見受けられるプログラム(仕様)レベルでの様々な安全性の性質について示す. また, 従来は安全性の研究では工業系システム中心だったが, 業務系システムでの意味考え, データの安全性という観点から性質を示す. 最後に, ユーザから見た場合の安全性の意味について考え, 安全性(safety)とセキュリテイ(security)を併せたトラスト(trust)なシステムという考え方を提案する.
抄録(英) The aspect of safety in system development has been much concerned recently. Safety, however, has various meaning according to its usage in system development. The construction of ontology for repository will be needed for various information management in a system development in the future. This paper presents the various meaning of safety and discusses these in system development. First, we try to describe safety criteria considered as common features in requirements, and discuss these from human activities viewpoint. Next, we show the properties of safety in program specifications or program in which meaning of safety differs from those in requirements Moreover, we consider the meaning of safety not only in industrial systems but also in business systems, in which attention has not been paid to safety explicitly so far. Finally, we propose a trust system in which we consider both safety and security from user's viewpoint.
キーワード(和) システム開発 / 安全性 / 要求仕様 / プログラム仕様 / トラストなシステム
キーワード(英) system development / safety / requirements / program specification / trust system
資料番号 SS2003-20,KBSE2003-23
発行日

研究会情報
研究会 KBSE
開催期間 2003/11/20(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Knowledge-Based Software Engineering (KBSE)
本文の言語 JPN
タイトル(和) システム開発で対象とする安全性
サブタイトル(和)
タイトル(英) Safety Concern in System Development(Knowledge-Based Software Engineering)
サブタイトル(和)
キーワード(1)(和/英) システム開発 / system development
キーワード(2)(和/英) 安全性 / safety
キーワード(3)(和/英) 要求仕様 / requirements
キーワード(4)(和/英) プログラム仕様 / program specification
キーワード(5)(和/英) トラストなシステム / trust system
第 1 著者 氏名(和/英) 小林 洋 / Hiromi KOBAYASHI
第 1 著者 所属(和/英) 東海大学電子情報学部情報メディア学科
Department of Information Media Technology, Tokai University
発表年月日 2003/11/20
資料番号 SS2003-20,KBSE2003-23
巻番号(vol) vol.103
号番号(no) 483
ページ範囲 pp.-
ページ数 6
発行日