WEKO3
アイテム
{"_buckets": {"deposit": "48adbaed-b9c9-48b3-a026-711726d42264"}, "_deposit": {"created_by": 4, "id": "5095", "owners": [4], "pid": {"revision_id": 0, "type": "depid", "value": "5095"}, "status": "published"}, "_oai": {"id": "oai:naist.repo.nii.ac.jp:00005095", "sets": ["36"]}, "author_link": ["120", "13597", "13595", "13596"], "item_1698715929687": {"attribute_name": "会議情報", "attribute_value_mlt": [{"subitem_conference_country": "JPN", "subitem_conference_date": {"subitem_conference_date_language": "en", "subitem_conference_period": "June 21-23, 2007"}, "subitem_conference_names": [{"subitem_conference_name": "ICOST 2007 : Pervasive Computing for Quality of Life Enhancement", "subitem_conference_name_language": "en"}], "subitem_conference_places": [{"subitem_conference_place": "Nara", "subitem_conference_place_language": "en"}]}]}, "item_9_biblio_info_7": {"attribute_name": "書誌情報", "attribute_value_mlt": [{"bibliographicIssueDates": {"bibliographicIssueDate": "2007", "bibliographicIssueDateType": "Issued"}, "bibliographicPageEnd": "140", "bibliographicPageStart": "130"}]}, "item_9_description_5": {"attribute_name": "抄録", "attribute_value_mlt": [{"subitem_description": "This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety instructions of individual networked appliances. The global safety is specified as required properties of HNS services, which use multiple appliances simultaneously. The environment safety is derived from residential rules in home and surrounding environments. Based on the safety defined, we propose a modeling/validation framework for the safety. Specifically, we first introduce an object-oriented modeling technique to clarify the relationships among the appliances, the services and the home (environment) objects. We then employ the technique of Design by Contract with JML (Java Modeling Language), which achieves systematic safety validation through testing.", "subitem_description_type": "Abstract"}]}, "item_9_publisher_8": {"attribute_name": "出版者", "attribute_value_mlt": [{"subitem_publisher": "Springer Berlin Heidelberg"}]}, "item_9_relation_11": {"attribute_name": "ISBN", "attribute_value_mlt": [{"subitem_relation_type_id": {"subitem_relation_type_id_text": "9783540730354", "subitem_relation_type_select": "ISBN"}}]}, "item_9_relation_13": {"attribute_name": "DOI", "attribute_value_mlt": [{"subitem_relation_type": "isVersionOf", "subitem_relation_type_id": {"subitem_relation_type_id_text": "https://doi.org/10.1007/978-3-540-73035-4_14", "subitem_relation_type_select": "DOI"}}]}, "item_9_rights_14": {"attribute_name": "権利", "attribute_value_mlt": [{"subitem_rights": "c Springer Berlin Heidelberg 2007"}]}, "item_9_text_21": {"attribute_name": "NAIST ID", "attribute_value_mlt": [{"subitem_text_value": "73292310"}]}, "item_9_version_type_16": {"attribute_name": "著者版フラグ", "attribute_value_mlt": [{"subitem_version_resource": "http://purl.org/coar/version/c_ab4af688f83e57aa", "subitem_version_type": "AM"}]}, "item_access_right": {"attribute_name": "アクセス権", "attribute_value_mlt": [{"subitem_access_right": "open access", "subitem_access_right_uri": "http://purl.org/coar/access_right/c_abf2"}]}, "item_creator": {"attribute_name": "著者", "attribute_type": "creator", "attribute_value_mlt": [{"creatorNames": [{"creatorName": "Yan, Ben", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13595", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "Nakamura, Masahide", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13596", "nameIdentifierScheme": "WEKO"}]}, {"creatorNames": [{"creatorName": "du, Bousquet Lydie", "creatorNameLang": "en"}], "nameIdentifiers": [{"nameIdentifier": "13597", "nameIdentifierScheme": "WEKO"}]}, {"creatorAffiliations": [{"affiliationNameIdentifiers": [{"affiliationNameIdentifier": "", "affiliationNameIdentifierScheme": "ISNI", "affiliationNameIdentifierURI": "http://www.isni.org/isni/"}], "affiliationNames": [{"affiliationName": "", "affiliationNameLang": "ja"}]}], "creatorNames": [{"creatorName": "松本, 健一", "creatorNameLang": "ja"}, {"creatorName": "マツモト, ケンイチ", "creatorNameLang": "ja-Kana"}], "familyNames": [{"familyName": "松本", "familyNameLang": "ja"}, {"familyName": "マツモト", "familyNameLang": "ja-Kana"}], "givenNames": [{"givenName": "健一", "givenNameLang": "ja"}, {"givenName": "ケンイチ", "givenNameLang": "ja-Kana"}], "nameIdentifiers": [{"nameIdentifier": "120", "nameIdentifierScheme": "WEKO"}, {"nameIdentifier": "70219492", "nameIdentifierScheme": "e-Rad", "nameIdentifierURI": "https://kaken.nii.ac.jp/ja/search/?qm=70219492"}]}]}, "item_files": {"attribute_name": "ファイル情報", "attribute_type": "file", "attribute_value_mlt": [{"accessrole": "open_date", "date": [{"dateType": "Available", "dateValue": "2023-03-02"}], "displaytype": "detail", "download_preview_message": "", "file_order": 0, "filename": "15_ICOST2007.pdf", "filesize": [{"value": "242.0 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 242000.0, "url": {"label": "fulltext", "objectType": "fulltext", "url": "https://naist.repo.nii.ac.jp/record/5095/files/15_ICOST2007.pdf"}, "version_id": "2b593d84-ee53-4ca1-b4ab-4b67ecd4803f"}]}, "item_keyword": {"attribute_name": "キーワード", "attribute_value_mlt": [{"subitem_subject": "Safety Property", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Safety Instruction", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}, {"subitem_subject": "Global Safety", "subitem_subject_language": "en", "subitem_subject_scheme": "Other"}]}, "item_language": {"attribute_name": "言語", "attribute_value_mlt": [{"subitem_language": "eng"}]}, "item_resource_type": {"attribute_name": "資源タイプ", "attribute_value_mlt": [{"resourcetype": "conference paper", "resourceuri": "http://purl.org/coar/resource_type/c_5794"}]}, "item_title": "Characterizing Safety of Integrated Services in Home Network System", "item_titles": {"attribute_name": "タイトル", "attribute_value_mlt": [{"subitem_title": "Characterizing Safety of Integrated Services in Home Network System", "subitem_title_language": "en"}]}, "item_type_id": "9", "owner": "4", "path": ["36"], "permalink_uri": "http://hdl.handle.net/10061/12702", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2018-10-29"}, "publish_date": "2018-10-29", "publish_status": "0", "recid": "5095", "relation": {}, "relation_version_is_last": true, "title": ["Characterizing Safety of Integrated Services in Home Network System"], "weko_shared_id": -1}
Characterizing Safety of Integrated Services in Home Network System
http://hdl.handle.net/10061/12702
http://hdl.handle.net/10061/12702474be034-f334-4e7e-9a45-47ffc56b66f1
名前 / ファイル | ライセンス | アクション |
---|---|---|
fulltext (242.0 kB)
|
|
Item type | 会議発表論文 / Conference Paper(1) | |||||
---|---|---|---|---|---|---|
公開日 | 2018-10-29 | |||||
タイトル | ||||||
タイトル | Characterizing Safety of Integrated Services in Home Network System | |||||
言語 | ||||||
言語 | eng | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Safety Property | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Safety Instruction | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | Global Safety | |||||
資源タイプ | ||||||
資源タイプ | conference paper | |||||
アクセス権 | ||||||
アクセス権 | open access | |||||
著者 |
Yan, Ben
× Yan, Ben× Nakamura, Masahide× du, Bousquet Lydie× 松本, 健一 |
|||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety instructions of individual networked appliances. The global safety is specified as required properties of HNS services, which use multiple appliances simultaneously. The environment safety is derived from residential rules in home and surrounding environments. Based on the safety defined, we propose a modeling/validation framework for the safety. Specifically, we first introduce an object-oriented modeling technique to clarify the relationships among the appliances, the services and the home (environment) objects. We then employ the technique of Design by Contract with JML (Java Modeling Language), which achieves systematic safety validation through testing. | |||||
書誌情報 |
p. 130-140, 発行日 2007 |
|||||
会議情報 | ||||||
会議名 | ICOST 2007 : Pervasive Computing for Quality of Life Enhancement | |||||
開催期間 | June 21-23, 2007 | |||||
開催地 | Nara | |||||
開催国 | JPN | |||||
出版者 | ||||||
出版者 | Springer Berlin Heidelberg | |||||
ISBN | ||||||
識別子タイプ | ISBN | |||||
関連識別子 | 9783540730354 | |||||
DOI | ||||||
関連タイプ | isVersionOf | |||||
識別子タイプ | DOI | |||||
関連識別子 | https://doi.org/10.1007/978-3-540-73035-4_14 | |||||
権利 | ||||||
権利情報 | c Springer Berlin Heidelberg 2007 | |||||
著者版フラグ | ||||||
出版タイプ | AM |