{"id":"https://openalex.org/W2546701770","doi":"https://doi.org/10.1109/etfa.2014.7005178","title":"A model-driven approach with synchronous semantics for developing hard real-time WSNs","display_name":"A model-driven approach with synchronous semantics for developing hard real-time WSNs","publication_year":2014,"publication_date":"2014-09-01","ids":{"openalex":"https://openalex.org/W2546701770","doi":"https://doi.org/10.1109/etfa.2014.7005178","mag":"2546701770"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2014.7005178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2014.7005178","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","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/A5070858186","display_name":"Jin Woo Ro","orcid":"https://orcid.org/0000-0002-3991-0648"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Jin Woo Ro","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041533142","display_name":"Zeeshan Bhatti","orcid":"https://orcid.org/0000-0002-5462-6696"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Zeeshan E. Bhatti","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha S. Roop","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I154130895"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"11","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12784","display_name":"Modular Robots and Swarm Intelligence","score":0.9945999979972839,"subfield":{"id":"https://openalex.org/subfields/2210","display_name":"Mechanical Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8636853694915771},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6717902421951294},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6663710474967957},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.632577657699585},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.5450478196144104},{"id":"https://openalex.org/keywords/wireless-sensor-network","display_name":"Wireless sensor network","score":0.5320575833320618},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5100381970405579},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4714401960372925},{"id":"https://openalex.org/keywords/model-of-computation","display_name":"Model of computation","score":0.4480222463607788},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.37832608819007874},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3579290807247162},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2942201495170593},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.12635457515716553},{"id":"https://openalex.org/keywords/channel","display_name":"Channel (broadcasting)","score":0.11382216215133667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8636853694915771},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6717902421951294},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6663710474967957},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.632577657699585},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.5450478196144104},{"id":"https://openalex.org/C24590314","wikidata":"https://www.wikidata.org/wiki/Q336038","display_name":"Wireless sensor network","level":2,"score":0.5320575833320618},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5100381970405579},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4714401960372925},{"id":"https://openalex.org/C184596265","wikidata":"https://www.wikidata.org/wiki/Q2651576","display_name":"Model of computation","level":3,"score":0.4480222463607788},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.37832608819007874},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3579290807247162},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2942201495170593},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.12635457515716553},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.11382216215133667},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2014.7005178","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2014.7005178","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W178758589","https://openalex.org/W581209276","https://openalex.org/W810303338","https://openalex.org/W1751921975","https://openalex.org/W1974715929","https://openalex.org/W1980530831","https://openalex.org/W2042173080","https://openalex.org/W2050771428","https://openalex.org/W2054316286","https://openalex.org/W2060674828","https://openalex.org/W2062817952","https://openalex.org/W2073707478","https://openalex.org/W2086311474","https://openalex.org/W2099059214","https://openalex.org/W2131689512","https://openalex.org/W2150281821","https://openalex.org/W2163151857","https://openalex.org/W2199210386","https://openalex.org/W2921654482","https://openalex.org/W4285719527","https://openalex.org/W6616806613","https://openalex.org/W6623175444","https://openalex.org/W6661207572","https://openalex.org/W6665630275","https://openalex.org/W6760830763"],"related_works":["https://openalex.org/W1965724121","https://openalex.org/W4391150403","https://openalex.org/W2081749821","https://openalex.org/W1968572830","https://openalex.org/W2090814745","https://openalex.org/W2029896371","https://openalex.org/W2136497797","https://openalex.org/W1539650877","https://openalex.org/W1542768242","https://openalex.org/W4256363426"],"abstract_inverted_index":{"We":[0,101],"propose":[1],"a":[2,64,69,81,124,128,168],"model-driven":[3,87],"approach":[4,57,104],"for":[5,13,114,145],"designing":[6],"Wireless":[7],"Sensor":[8],"Network":[9],"(WSN)":[10],"applications,":[11],"specifically":[12],"systems":[14,25],"where":[15],"hard":[16],"real-time":[17,172],"requirements":[18],"must":[19],"be":[20,162,175],"satisfied.":[21,176],"Traditionally,":[22],"developing":[23],"such":[24,151],"presents":[26],"difficulties":[27],"in":[28,40,51,55,80,167],"ensuring":[29],"time":[30,66,159],"and":[31,43,48,99,111,116,127,135,180],"timing":[32,82],"accuracy":[33],"due":[34],"to":[35],"unpredictable":[36],"computation":[37],"time,":[38],"ambiguities":[39],"program":[41],"concurrency,":[42],"behavioural":[44,95],"inconsistency":[45],"between":[46,97],"model":[47,98,141],"implementation.":[49,100],"However,":[50],"contrast,":[52],"the":[53,77,86,94,133,142,157,165,171,178,184],"models":[54],"our":[56,103,187],"are":[58],"fully":[59],"time-predictable":[60],"by":[61,76,105,147],"means":[62],"of":[63,89,150,186],"logical":[65,158],"interval":[67],"called":[68],"tick,":[70],"while":[71],"concurrency":[72],"is":[73],"automatically":[74],"handled":[75],"design":[78,123],"semantics":[79,117],"guaranteed":[83],"manner.":[84],"Meanwhile,":[85],"aspect":[88],"automatic":[90],"code":[91],"generation":[92],"guarantees":[93],"consistency":[96],"achieve":[102],"using":[106],"IEC":[107],"61499":[108],"function":[109],"blocks":[110],"synchronous":[112],"execution":[113],"syntax":[115],"respectively.":[118,138],"In":[119],"this":[120],"paper,":[121],"we":[122,140,154],"time-triggered":[125],"protocol":[126],"distributed":[129],"motor":[130],"synchronization":[131],"as":[132],"network":[134],"application":[136],"layers":[137],"Then,":[139],"overall":[143],"system":[144],"validation":[146],"performing":[148],"composition":[149],"layers.":[152],"Furthermore,":[153],"explain":[155],"how":[156],"tick":[160],"can":[161,174],"realized":[163],"during":[164],"implementation":[166,181],"way":[169],"that":[170],"requirement":[173],"Finally,":[177],"simulation":[179],"results":[182],"demonstrate":[183],"effectiveness":[185],"approach.":[188]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2015,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}