A Dependability Case Editor with Pattern Library

A Dependability Case Editor with Pattern Library

This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called D-Case Editor, which has a pattern selection function.

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Matsuno, Yutaka, Takamura, Hiroki, Ishikawa, Yutaka
Format: Tagungsbericht
Sprache:eng
Schlagworte:
assurance cases
Availability
dependability
Force
Libraries
Robots
Safety
Security
Software
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
container_end_page 171
container_issue
container_start_page 170
container_title
container_volume
creator Matsuno, Yutaka
Takamura, Hiroki
Ishikawa, Yutaka
description This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called D-Case Editor, which has a pattern selection function.
doi_str_mv 10.1109/HASE.2010.26
format Conference Proceeding
fullrecord <record><control><sourceid>ieee_6IE</sourceid><recordid>TN_cdi_ieee_primary_5634291</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>5634291</ieee_id><sourcerecordid>5634291</sourcerecordid><originalsourceid>FETCH-LOGICAL-i90t-296924d9fa6ebb85443dd5200032c73a5283c451a6a9833c0af504a227dc78533</originalsourceid><addsrcrecordid>eNotj0tLw0AUhccXGGp27tzMH0i9c-d5lyGmVggo2H2ZZCY4UGtJBqT_3qCuDocPzsdh7F7AWgigx2393q4RlormgpVkHVhDWiGhu2QFGgWV1WCvfplQqBQBCbxmhdASKgRNt6yc59SDBCCwQhQMav4UT_EYfJ8OKZ954-fI25Dy18S_U_7gbz7nOB15l_rJT-c7djP6wxzL_1yx3abdNduqe31-aequSgS5QjKEKtDoTex7p5WSIWgEAImDlV6jk4PSwhtPTsoB_KhBeUQbBuu0lCv28DebYoz705Q-F_deG7n8FfIHNV1GCA</addsrcrecordid><sourcetype>Publisher</sourcetype><iscdi>true</iscdi><recordtype>conference_proceeding</recordtype></control><display><type>conference_proceeding</type><title>A Dependability Case Editor with Pattern Library</title><source>IEEE Electronic Library (IEL) Conference Proceedings</source><creator>Matsuno, Yutaka ; Takamura, Hiroki ; Ishikawa, Yutaka</creator><creatorcontrib>Matsuno, Yutaka ; Takamura, Hiroki ; Ishikawa, Yutaka</creatorcontrib><description>This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called D-Case Editor, which has a pattern selection function.</description><identifier>ISSN: 1530-2059</identifier><identifier>ISBN: 9781424490912</identifier><identifier>ISBN: 142449091X</identifier><identifier>EISSN: 2640-7507</identifier><identifier>EISBN: 9780769542928</identifier><identifier>EISBN: 0769542921</identifier><identifier>DOI: 10.1109/HASE.2010.26</identifier><language>eng</language><publisher>IEEE</publisher><subject>assurance cases ; Availability ; dependability ; Force ; Libraries ; Robots ; Safety ; Security ; Software</subject><ispartof>2010 IEEE 12th International Symposium on High Assurance Systems Engineering, 2010, p.170-171</ispartof><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/5634291$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>309,310,776,780,785,786,2052,27902,54895</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/5634291$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc></links><search><creatorcontrib>Matsuno, Yutaka</creatorcontrib><creatorcontrib>Takamura, Hiroki</creatorcontrib><creatorcontrib>Ishikawa, Yutaka</creatorcontrib><title>A Dependability Case Editor with Pattern Library</title><title>2010 IEEE 12th International Symposium on High Assurance Systems Engineering</title><addtitle>HASE</addtitle><description>This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called D-Case Editor, which has a pattern selection function.</description><subject>assurance cases</subject><subject>Availability</subject><subject>dependability</subject><subject>Force</subject><subject>Libraries</subject><subject>Robots</subject><subject>Safety</subject><subject>Security</subject><subject>Software</subject><issn>1530-2059</issn><issn>2640-7507</issn><isbn>9781424490912</isbn><isbn>142449091X</isbn><isbn>9780769542928</isbn><isbn>0769542921</isbn><fulltext>true</fulltext><rsrctype>conference_proceeding</rsrctype><creationdate>2010</creationdate><recordtype>conference_proceeding</recordtype><sourceid>6IE</sourceid><sourceid>RIE</sourceid><recordid>eNotj0tLw0AUhccXGGp27tzMH0i9c-d5lyGmVggo2H2ZZCY4UGtJBqT_3qCuDocPzsdh7F7AWgigx2393q4RlormgpVkHVhDWiGhu2QFGgWV1WCvfplQqBQBCbxmhdASKgRNt6yc59SDBCCwQhQMav4UT_EYfJ8OKZ954-fI25Dy18S_U_7gbz7nOB15l_rJT-c7djP6wxzL_1yx3abdNduqe31-aequSgS5QjKEKtDoTex7p5WSIWgEAImDlV6jk4PSwhtPTsoB_KhBeUQbBuu0lCv28DebYoz705Q-F_deG7n8FfIHNV1GCA</recordid><startdate>201011</startdate><enddate>201011</enddate><creator>Matsuno, Yutaka</creator><creator>Takamura, Hiroki</creator><creator>Ishikawa, Yutaka</creator><general>IEEE</general><scope>6IE</scope><scope>6IL</scope><scope>CBEJK</scope><scope>RIE</scope><scope>RIL</scope></search><sort><creationdate>201011</creationdate><title>A Dependability Case Editor with Pattern Library</title><author>Matsuno, Yutaka ; Takamura, Hiroki ; Ishikawa, Yutaka</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-i90t-296924d9fa6ebb85443dd5200032c73a5283c451a6a9833c0af504a227dc78533</frbrgroupid><rsrctype>conference_proceedings</rsrctype><prefilter>conference_proceedings</prefilter><language>eng</language><creationdate>2010</creationdate><topic>assurance cases</topic><topic>Availability</topic><topic>dependability</topic><topic>Force</topic><topic>Libraries</topic><topic>Robots</topic><topic>Safety</topic><topic>Security</topic><topic>Software</topic><toplevel>online_resources</toplevel><creatorcontrib>Matsuno, Yutaka</creatorcontrib><creatorcontrib>Takamura, Hiroki</creatorcontrib><creatorcontrib>Ishikawa, Yutaka</creatorcontrib><collection>IEEE Electronic Library (IEL) Conference Proceedings</collection><collection>IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume</collection><collection>IEEE Xplore All Conference Proceedings</collection><collection>IEEE Electronic Library (IEL)</collection><collection>IEEE Proceedings Order Plans (POP All) 1998-Present</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Matsuno, Yutaka</au><au>Takamura, Hiroki</au><au>Ishikawa, Yutaka</au><format>book</format><genre>proceeding</genre><ristype>CONF</ristype><atitle>A Dependability Case Editor with Pattern Library</atitle><btitle>2010 IEEE 12th International Symposium on High Assurance Systems Engineering</btitle><stitle>HASE</stitle><date>2010-11</date><risdate>2010</risdate><spage>170</spage><epage>171</epage><pages>170-171</pages><issn>1530-2059</issn><eissn>2640-7507</eissn><isbn>9781424490912</isbn><isbn>142449091X</isbn><eisbn>9780769542928</eisbn><eisbn>0769542921</eisbn><abstract>This abstract discusses our current work on the collection of patterns of dependability cases for a software/system lifecycle. We also describe a prototype implementation of a dependability case editor called D-Case Editor, which has a pattern selection function.</abstract><pub>IEEE</pub><doi>10.1109/HASE.2010.26</doi><tpages>2</tpages></addata></record>
fulltext fulltext_linktorsrc
identifier ISSN: 1530-2059
ispartof 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, 2010, p.170-171
issn 1530-2059
2640-7507
language eng
recordid cdi_ieee_primary_5634291
source IEEE Electronic Library (IEL) Conference Proceedings
subjects assurance cases
Availability
dependability
Force
Libraries
Robots
Safety
Security
Software
title A Dependability Case Editor with Pattern Library
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-02-13T09%3A46%3A20IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-ieee_6IE&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=proceeding&rft.atitle=A%20Dependability%20Case%20Editor%20with%20Pattern%20Library&rft.btitle=2010%20IEEE%2012th%20International%20Symposium%20on%20High%20Assurance%20Systems%20Engineering&rft.au=Matsuno,%20Yutaka&rft.date=2010-11&rft.spage=170&rft.epage=171&rft.pages=170-171&rft.issn=1530-2059&rft.eissn=2640-7507&rft.isbn=9781424490912&rft.isbn_list=142449091X&rft_id=info:doi/10.1109/HASE.2010.26&rft_dat=%3Cieee_6IE%3E5634291%3C/ieee_6IE%3E%3Curl%3E%3C/url%3E&rft.eisbn=9780769542928&rft.eisbn_list=0769542921&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=5634291&rfr_iscdi=true