研究者情報 | 神奈川大学

キノシタ　ヨシキ 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.