キノシタ ヨシキ   Kinoshita Yoshiki
  木下 佳樹
   所属   神奈川大学  情報学部 計算機科学科
    神奈川大学大学院  理学研究科 理学専攻(情報科学領域)
   職種   教授
言語種別 英語
発行・発表の年月 2019/09
形態種別 学術雑誌
査読 査読あり
標題 A Modelling Approach for System Life Cycles Assurance
執筆形態 共著
掲載誌名 Springer Lecture Notes in Computer Science
掲載区分国外
出版社・発行元 Springer-Verlag
巻・号・頁 11699,pp.16-27
著者・共著者 Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama
概要 System assurance involves assuring properties of both a target system itself and the system life cycle acting on it. Assurance of the latter seems less understood than the former, due partly to the lack of consensus on what a 'life cycle model' is. This paper proposes a formulation of life cycle models that aims to clarify what it means to assure that a life cycle so modelled achieves expected outcomes. Dependent Petri Net life cycle model is a variant of coloured Petri nets with inputs and outputs that interacts and controls the real life cycle being modelled. Tokens held at a place are data representing artefacts together with assurance that they satisfy conditions associated with the place. The 'propositions as types' notion is used to represent evidence(proofs) for assurance as data included in tokens. The intended application is a formulation of the DEOS life cycle model with assurance that it achieves open systems dependability, which is standardised as IEC 62853.