{"product_id":"ieej-is10001","title":"Dependable Information System Design : Model Driven Perspective and Experience","description":"\u003cp\u003e\u003cstrong\u003eカテゴリ: \u003c\/strong\u003e研究会(論文単位)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e論文No: \u003c\/strong\u003eIS10001\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eグループ名: \u003c\/strong\u003e【C】電子・情報・システム部門 情報システム研究会\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e発行日: \u003c\/strong\u003e2010\/04\/22\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eタイトル(英語): \u003c\/strong\u003eDependable Information System Design : Model Driven Perspective and Experience\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名: \u003c\/strong\u003eMurata Tomohiro(Waseda University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e著者名(英語): \u003c\/strong\u003eMurata Tomohiro(Waseda University)\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e要約(日本語): \u003c\/strong\u003eRecently, information system plays a important role of a social-infrastructure, therefore high dependability is required especiallyin mission critical information systems. This talk focuses on design method of dependable information system based onstructural\/hierarchical formalism of composite states of system objects which represents functional specification of nondisruptive serviceand operation of the system. This talk also touches Total High Performance analysis which is a performance-related reliability evaluationof degradable systems during nondisruptive system recovery. An example of dependable storage system design is also illustrated.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003e原稿種別: \u003c\/strong\u003e日本語\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003ePDFファイルサイズ: \u003c\/strong\u003e543 Kバイト\u003c\/p\u003e","brand":"IEEJ-PDF","offers":[{"title":"PDFダウンロード（一般価格330円\/会員価格220円） \/ A4 \/ 4","offer_id":46362414612719,"sku":"IEEJ-IS10001-PDF","price":330.0,"currency_code":"JPY","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0718\/9512\/2159\/files\/IEEJ-PDF_7db5afee-ba0f-44ce-ae49-a3e11d68d66d.png?v=1743627119","url":"https:\/\/ieej.bookpark.ne.jp\/products\/ieej-is10001","provider":"電気学会 電子図書館","version":"1.0","type":"link"}