{"id":"https://openalex.org/W2617270814","doi":"https://doi.org/10.1109/syscon.2017.7934714","title":"Test-driven modeling and development of cloud-enabled cyber-physical smart systems","display_name":"Test-driven modeling and development of cloud-enabled cyber-physical smart systems","publication_year":2017,"publication_date":"2017-04-01","ids":{"openalex":"https://openalex.org/W2617270814","doi":"https://doi.org/10.1109/syscon.2017.7934714","mag":"2617270814"},"language":"en","primary_location":{"id":"doi:10.1109/syscon.2017.7934714","is_oa":false,"landing_page_url":"https://doi.org/10.1109/syscon.2017.7934714","pdf_url":null,"source":{"id":"https://openalex.org/S4306498133","display_name":"2017 Annual IEEE International Systems Conference (SysCon)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 Annual IEEE International Systems Conference (SysCon)","raw_type":"proceedings-article"},"type":"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/A5013045282","display_name":"Allan Munck","orcid":"https://orcid.org/0000-0002-8116-7560"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Allan Munck","raw_affiliation_strings":["Section of Embedded Systems Engineering, Technical University of Denmark"],"affiliations":[{"raw_affiliation_string":"Section of Embedded Systems Engineering, Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5056287081","display_name":"Jan Madsen","orcid":"https://orcid.org/0000-0002-5098-8454"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Jan Madsen","raw_affiliation_strings":["Section of Embedded Systems Engineering, Technical University of Denmark"],"affiliations":[{"raw_affiliation_string":"Section of Embedded Systems Engineering, Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5013045282"],"corresponding_institution_ids":["https://openalex.org/I96673099"],"apc_list":null,"apc_paid":null,"fwci":0.3303,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.4662237,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9983000159263611,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.738814651966095},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.6530061364173889},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.6517439484596252},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.5764080882072449},{"id":"https://openalex.org/keywords/complex-system","display_name":"Complex system","score":0.5368372201919556},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4668099880218506},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.33701175451278687},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1568584144115448},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10805279016494751}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.738814651966095},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.6530061364173889},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.6517439484596252},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.5764080882072449},{"id":"https://openalex.org/C47822265","wikidata":"https://www.wikidata.org/wiki/Q854457","display_name":"Complex system","level":2,"score":0.5368372201919556},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4668099880218506},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.33701175451278687},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1568584144115448},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10805279016494751},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/syscon.2017.7934714","is_oa":false,"landing_page_url":"https://doi.org/10.1109/syscon.2017.7934714","pdf_url":null,"source":{"id":"https://openalex.org/S4306498133","display_name":"2017 Annual IEEE International Systems Conference (SysCon)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2017 Annual IEEE International Systems Conference (SysCon)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.atira.dk:publications/8ea7909a-88ee-4e94-ac41-7a779821acaf","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/8ea7909a-88ee-4e94-ac41-7a779821acaf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Munck , A & Madsen , J 2017 , Test-driven modeling and development of cloud-enabled cyber-physical smart systems . in Proceedings of the Systems Conference (SysCon), 2017 Annual IEEE International . IEEE , Annual Ieee Systems Conference , pp. 83-90 , 11th Annual 2017 IEEE International Systems Conference , Montreal , Quebec , Canada , 24/04/2017 . https://doi.org/10.1109/SYSCON.2017.7934714","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320313796","display_name":"Innovationsfonden","ror":"https://ror.org/00daj4111"},{"id":"https://openalex.org/F4320330516","display_name":"Industriens Fond","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W11165583","https://openalex.org/W120281017","https://openalex.org/W143262856","https://openalex.org/W1499858836","https://openalex.org/W1558618245","https://openalex.org/W1577904438","https://openalex.org/W1788392552","https://openalex.org/W1948092788","https://openalex.org/W1968306521","https://openalex.org/W1983235239","https://openalex.org/W2013258029","https://openalex.org/W2023201822","https://openalex.org/W2023414777","https://openalex.org/W2030296426","https://openalex.org/W2032014060","https://openalex.org/W2045287414","https://openalex.org/W2064562930","https://openalex.org/W2091232673","https://openalex.org/W2101829226","https://openalex.org/W2107899555","https://openalex.org/W2159404780","https://openalex.org/W2160282076","https://openalex.org/W2169763149","https://openalex.org/W2170931323","https://openalex.org/W2185784800","https://openalex.org/W2199185998","https://openalex.org/W2296314425","https://openalex.org/W2402775047","https://openalex.org/W2468622191","https://openalex.org/W2481729395","https://openalex.org/W2540892844","https://openalex.org/W2543419256","https://openalex.org/W2548100332","https://openalex.org/W3106127861","https://openalex.org/W3142768080","https://openalex.org/W4249502187","https://openalex.org/W6604954424","https://openalex.org/W6605910734","https://openalex.org/W6629943550","https://openalex.org/W6633637924","https://openalex.org/W6640611774","https://openalex.org/W6658616516","https://openalex.org/W6686705701","https://openalex.org/W6697253550","https://openalex.org/W6720058300"],"related_works":["https://openalex.org/W4244478748","https://openalex.org/W3150465815","https://openalex.org/W4223488648","https://openalex.org/W3004173571","https://openalex.org/W2134969820","https://openalex.org/W2251605416","https://openalex.org/W1997222214","https://openalex.org/W2560439919","https://openalex.org/W4389340727","https://openalex.org/W2802581102"],"abstract_inverted_index":{"Embedded":[0],"products":[1,13],"currently":[2],"tend":[3],"to":[4,34,47,52,69,77,105,129,139],"evolve":[5],"into":[6],"large":[7,107,168],"and":[8,20,39,88,108,126,133,142,161,169],"complex":[9,25,109,124,170],"smart":[10,28,54,78,171],"systems":[11,29,55,73,79,172],"where":[12],"are":[14,60,67],"enriched":[15],"with":[16],"services":[17],"through":[18],"clouds":[19],"other":[21],"web":[22],"technologies.":[23],"The":[24,111],"characteristics":[26],"of":[27,71,90,116,119,123,166],"make":[30],"it":[31],"very":[32,106,167],"difficult":[33],"guarantee":[35],"functionality,":[36],"safety,":[37],"security":[38],"performance.":[40,134],"Using":[41],"test-driven":[42,101],"modeling":[43,82,102],"(TDM)":[44],"is":[45],"likely":[46],"be":[48,159],"the":[49,63,81,86,91,137],"best":[50],"way":[51],"design":[53,141],"such":[56],"that":[57,66,103,157],"these":[58],"qualities":[59],"ensured.":[61],"However,":[62],"TDM":[64],"methods":[65],"applied":[68],"development":[70,165],"simpler":[72],"do":[74],"not":[75],"scale":[76],"because":[80],"technologies":[83],"cannot":[84],"handle":[85],"complexity":[87],"size":[89],"systems.":[92,110],"In":[93],"this":[94],"paper,":[95],"we":[96],"present":[97],"a":[98,114,147,154],"method":[99,112,138,156],"for":[100,146,163],"scales":[104],"uses":[113],"combination":[115],"formal":[117],"verification":[118],"basic":[120],"interactions,":[121],"simulations":[122],"scenarios,":[125],"mathematical":[127],"forecasting":[128],"predict":[130],"system":[131],"behavior":[132],"We":[135],"utilized":[136],"analyze,":[140],"develop":[143],"various":[144,174],"scenarios":[145],"cloud-enabled":[148],"medical":[149],"system.":[150],"Our":[151],"approach":[152],"provides":[153],"versatile":[155],"may":[158],"adapted":[160],"improved":[162],"future":[164],"in":[173],"domains.":[175]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}