{"id":"https://openalex.org/W2059541098","doi":"https://doi.org/10.1109/icicis.2010.5534760","title":"Verification of a dependability model of IT services associated with social and economic infrastructure","display_name":"Verification of a dependability model of IT services associated with social and economic infrastructure","publication_year":2010,"publication_date":"2010-06-01","ids":{"openalex":"https://openalex.org/W2059541098","doi":"https://doi.org/10.1109/icicis.2010.5534760","mag":"2059541098"},"language":"en","primary_location":{"id":"doi:10.1109/icicis.2010.5534760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icicis.2010.5534760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 3rd International Conference on Information Sciences and Interaction Sciences","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060677318","display_name":"Hiroshi Ohtaka","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134060","display_name":"Information-Technology Promotion Agency","ror":"https://ror.org/034e1cb35","country_code":"JP","type":"government","lineage":["https://openalex.org/I1287223417","https://openalex.org/I4210134060"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Hiroshi Ohtaka","raw_affiliation_strings":["Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]},{"raw_affiliation_string":"Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038032447","display_name":"Koichiro Oshika -","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134060","display_name":"Information-Technology Promotion Agency","ror":"https://ror.org/034e1cb35","country_code":"JP","type":"government","lineage":["https://openalex.org/I1287223417","https://openalex.org/I4210134060"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Koichiro Oshika","raw_affiliation_strings":["Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]},{"raw_affiliation_string":"Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045699543","display_name":"Masashi Gotou","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134060","display_name":"Information-Technology Promotion Agency","ror":"https://ror.org/034e1cb35","country_code":"JP","type":"government","lineage":["https://openalex.org/I1287223417","https://openalex.org/I4210134060"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masashi Gotou","raw_affiliation_strings":["Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]},{"raw_affiliation_string":"Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081845588","display_name":"Tsutomu Yoshitani -","orcid":null},"institutions":[{"id":"https://openalex.org/I4210134060","display_name":"Information-Technology Promotion Agency","ror":"https://ror.org/034e1cb35","country_code":"JP","type":"government","lineage":["https://openalex.org/I1287223417","https://openalex.org/I4210134060"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Tsutomu Yoshitani","raw_affiliation_strings":["Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Project MIERUKA, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]},{"raw_affiliation_string":"Project Mieruka, Software Engineering Center, Information-technology Promotion Agency, Japan, Tokyo, Japan","institution_ids":["https://openalex.org/I4210134060"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5088654194","display_name":"Yoshiaki Fukazawa","orcid":"https://orcid.org/0000-0003-0196-2108"},"institutions":[{"id":"https://openalex.org/I150744194","display_name":"Waseda University","ror":"https://ror.org/00ntfnx83","country_code":"JP","type":"education","lineage":["https://openalex.org/I150744194"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshiaki Fukazawa","raw_affiliation_strings":["School of Fundamental Science and Engineering, Waseda University, Tokyo, Japan","School of fundamental science and engineering, Waseda University, Tokyo, JAPAN"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Fundamental Science and Engineering, Waseda University, Tokyo, Japan","institution_ids":["https://openalex.org/I150744194"]},{"raw_affiliation_string":"School of fundamental science and engineering, Waseda University, Tokyo, JAPAN","institution_ids":["https://openalex.org/I150744194"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.5868,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.6016983,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"577","last_page":"582"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9666000008583069,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9666000008583069,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9384999871253967,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10734","display_name":"Information and Cyber Security","score":0.9354000091552734,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.9222902059555054},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6402693390846252},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3488771319389343},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.21661731600761414}],"concepts":[{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.9222902059555054},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6402693390846252},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3488771319389343},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.21661731600761414}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icicis.2010.5534760","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icicis.2010.5534760","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The 3rd International Conference on Information Sciences and Interaction Sciences","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.6299999952316284,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321679","display_name":"Ministry of Economy, Trade and Industry","ror":"https://ror.org/055tm7f07"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1592442212","https://openalex.org/W1593984301","https://openalex.org/W1605927947","https://openalex.org/W2034706053","https://openalex.org/W2516115363","https://openalex.org/W2911431152","https://openalex.org/W2989447673","https://openalex.org/W4214807166","https://openalex.org/W6635246454","https://openalex.org/W6635340979","https://openalex.org/W6684751606","https://openalex.org/W7067086768","https://openalex.org/W7067158731"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2169628522","https://openalex.org/W4252527915","https://openalex.org/W2409287660","https://openalex.org/W2233357156","https://openalex.org/W1976489385","https://openalex.org/W4256317220","https://openalex.org/W1506225852","https://openalex.org/W2141414364","https://openalex.org/W2376514150"],"abstract_inverted_index":{"Defects":[0],"in":[1,16,64,166],"information":[2],"technology":[3],"(IT)":[4],"services":[5,66,95],"will":[6],"have":[7],"greater":[8],"negative":[9],"impacts":[10],"on":[11,159,180],"social":[12,69,174],"and":[13,32,39,51,61,70,81,120,140,175],"economic":[14,71,176],"activities":[15],"the":[17,20,33,46,91,126,152,160,164,181],"future,":[18],"since":[19],"risks":[21],"of":[22,35,49,76,93,104,116,128,132,147,169,183,192],"such":[23],"defects":[24,63],"are":[25],"increasing":[26],"due":[27],"to":[28,89,135],"their":[29],"wider":[30],"applications":[31],"growth":[34],"IT":[36,65,94,136,148,170],"systems'":[37],"complexity":[38],"scale.":[40],"In":[41],"this":[42],"paper,":[43],"upon":[44],"surveying":[45],"current":[47],"state":[48],"affairs":[50],"seeing":[52],"that":[53,67],"little":[54],"progress":[55],"has":[56],"been":[57],"made":[58],"towards":[59],"understanding":[60,90],"reducing":[62],"influence":[68],"activities,":[72],"despite":[73],"a":[74,86,98,190],"number":[75],"efforts":[77],"including":[78],"upgrading":[79],"software":[80],"hardware":[82],"quality,":[83],"we":[84,124,162],"propose":[85],"new":[87],"approach":[88],"dependability":[92,99,111,171],"by":[96,142,151],"discussing":[97],"model.":[100],"The":[101],"model":[102],"consists":[103],"not":[105],"only":[106],"functions":[107,117,133],"for":[108],"legacy":[109],"system":[110],"but":[112],"also":[113],"two":[114,130],"types":[115,131],"(additional":[118],"safety":[119,121],"operation).":[122],"Next":[123],"evaluate":[125],"efficacy":[127],"these":[129],"relative":[134],"dependability,":[137],"both":[138],"qualitatively":[139],"quantitatively,":[141],"using":[143],"42":[144],"actual":[145],"cases":[146],"accidents":[149],"obtained":[150],"Information-technology":[153],"Promotion":[154],"Agency,":[155],"Japan.":[156],"Moreover,":[157],"based":[158],"verification,":[161],"examine":[163],"ways":[165],"which":[167],"improvement":[168],"associated":[172],"with":[173],"infrastructure,":[177],"previously":[178],"dependent":[179],"skill":[182],"individual":[184],"engineers,":[185],"is":[186],"eventually":[187],"achieved":[188],"as":[189],"result":[191],"organizational":[193],"activities.":[194]},"counts_by_year":[{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}
