乐胖代购免代理版

{"id":"https://openalex.org/W2883967600","doi":"https://doi.org/10.1145/3196478.3196485","title":"On early statistical requirements validation of cyber-physical space systems","display_name":"On early statistical requirements validation of cyber-physical space systems","publication_year":2018,"publication_date":"2018-05-27","ids":{"openalex":"https://openalex.org/W2883967600","doi":"https://doi.org/10.1145/3196478.3196485","mag":"2883967600"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3196478.3196485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","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/A5057850035","display_name":"Christos Tsigkanos","orcid":"https://orcid.org/0000-0002-9493-3404"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"funder","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Christos Tsigkanos","raw_affiliation_strings":["Informazione e Bioingegneria, Politecnico di Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Informazione e Bioingegneria, Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052040242","display_name":"Nianyu Li","orcid":"https://orcid.org/0000-0001-8960-7770"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"funder","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Nianyu Li","raw_affiliation_strings":["Peking University, China"],"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049100391","display_name":"Zhi Jin","orcid":"https://orcid.org/0000-0003-1087-226X"},"institutions":[{"id":"https://openalex.org/I20231570","display_name":"Peking University","ror":"https://ror.org/02v51f717","country_code":"CN","type":"funder","lineage":["https://openalex.org/I20231570"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhi Jin","raw_affiliation_strings":["Peking University, China"],"affiliations":[{"raw_affiliation_string":"Peking University, China","institution_ids":["https://openalex.org/I20231570"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102717988","display_name":"Zhenjiang Hu","orcid":"https://orcid.org/0000-0002-9034-205X"},"institutions":[{"id":"https://openalex.org/I200475212","display_name":"The Graduate University for Advanced Studies, SOKENDAI","ror":"https://ror.org/0516ah480","country_code":"JP","type":"education","lineage":["https://openalex.org/I200475212"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Zhenjiang Hu","raw_affiliation_strings":["Graduate University for Advanced Studies, Japan"],"affiliations":[{"raw_affiliation_string":"Graduate University for Advanced Studies, Japan","institution_ids":["https://openalex.org/I200475212"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024976868","display_name":"Carlo Ghezzi","orcid":"https://orcid.org/0000-0002-7234-5011"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"funder","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo Ghezzi","raw_affiliation_strings":["Informazione e Bioingegneria, Politecnico di Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Informazione e Bioingegneria, Politecnico di Milano, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.766,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":11,"citation_normalized_percentile":{"value":0.678467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":86,"max":87},"biblio":{"volume":"6806","issue":null,"first_page":"13","last_page":"18"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9988,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9978,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9969,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/cyber-physical-system","display_name":"Cyber-physical system","score":0.7631712},{"id":"https://openalex.org/keywords/physical-system","display_name":"Physical system","score":0.45326114}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.7631712},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.73237765},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.5679457},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.45764938},{"id":"https://openalex.org/C116672817","wikidata":"https://www.wikidata.org/wiki/Q1454986","display_name":"Physical system","level":2,"score":0.45326114},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4525411},{"id":"https://openalex.org/C59488412","wikidata":"https://www.wikidata.org/wiki/Q187147","display_name":"Requirements analysis","level":3,"score":0.41490787},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.34463108},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33812708},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.1969915},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.13166976},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1140593},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.08475679},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3196478.3196485","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Climate action","score":0.73,"id":"https://metadata.un.org/sdg/13"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":31,"referenced_works":["https://openalex.org/W100170310","https://openalex.org/W1560643704","https://openalex.org/W1631091010","https://openalex.org/W1721257846","https://openalex.org/W1862398452","https://openalex.org/W2097603593","https://openalex.org/W2101508170","https://openalex.org/W2105342640","https://openalex.org/W2115857453","https://openalex.org/W2125930621","https://openalex.org/W2155931528","https://openalex.org/W2163626018","https://openalex.org/W2169239645","https://openalex.org/W2327276149","https://openalex.org/W2407143168","https://openalex.org/W2492599963","https://openalex.org/W2509178618","https://openalex.org/W2514915463","https://openalex.org/W2516894032","https://openalex.org/W2527872501","https://openalex.org/W2585388996","https://openalex.org/W2626275188","https://openalex.org/W2732140844","https://openalex.org/W2740038983","https://openalex.org/W2785192168","https://openalex.org/W2913459036","https://openalex.org/W2979249584","https://openalex.org/W3145726178","https://openalex.org/W4213344305","https://openalex.org/W4248449165","https://openalex.org/W43031245"],"related_works":["https://openalex.org/W4229048927","https://openalex.org/W3099113830","https://openalex.org/W3017360834","https://openalex.org/W2994120531","https://openalex.org/W2756692340","https://openalex.org/W2152192540","https://openalex.org/W2133522624","https://openalex.org/W2108326965","https://openalex.org/W2086962923","https://openalex.org/W190251865"],"abstract_inverted_index":{"Cyber-physical":[0],"space":[1,20,81],"systems":[2,8],"are":[3,14],"becoming":[4],"increasingly":[5],"important.":[6],"Such":[7],"have":[9],"to":[10],"satisfy":[11],"requirements":[12,41,67,102],"that":[13,73],"heavily":[15],"affected":[16],"by":[17,25,55,107],"the":[18,26,30,43,97],"physical":[19],"they":[21],"operate":[22],"in":[23,42,79,122],"and":[24,65,85,91],"active":[27],"entities":[28],"inhabiting":[29],"space,":[31],"whose":[32],"dynamic":[33],"behaviors":[34],"generate":[35],"continuous":[36],"topological":[37],"changes.":[38],"Reasoning":[39],"about":[40],"early":[44,66],"design":[45,51],"phases":[46],"is":[47,104],"extremely":[48],"challenging.":[49],"High-level":[50],"can":[52],"be":[53],"facilitated":[54],"systematic":[56,84],"application":[57],"of":[58,60,88,96],"separation":[59],"concerns":[61,77],"throughout":[62],"modeling,":[63],"analysis,":[64],"validation.":[68],"We":[69,113],"outline":[70],"an":[71,118],"approach":[72,116],"identifies":[74],"key":[75],"recurrent":[76],"arising":[78],"cyber-physical":[80],"systems,":[82],"supports":[83],"semi-automatic":[86],"modeling":[87],"separate":[89],"concerns,":[90],"a":[92,123],"formally":[93],"defined":[94],"composition":[95],"separately":[98],"developed":[99],"models.":[100],"Early":[101],"validation":[103],"then":[105],"supported":[106],"leveraging":[108],"statistical":[109],"model":[110],"checking":[111],"techniques.":[112],"illustrate":[114],"our":[115],"through":[117],"example":[119],"disaster":[120],"scenario":[121],"smart":[124],"city.":[125]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2883967600","counts_by_year":[{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":5}],"updated_date":"2025-03-23T16:59:54.209784","created_date":"2018-08-03"}