{"id":"https://openalex.org/W3202673305","doi":"https://doi.org/10.23919/annsim52504.2021.9552098","title":"A New Discrete-Event Simulation Based Approach for Validating Actuation Conflict Management in IoT Systems","display_name":"A New Discrete-Event Simulation Based Approach for Validating Actuation Conflict Management in IoT Systems","publication_year":2021,"publication_date":"2021-07-19","ids":{"openalex":"https://openalex.org/W3202673305","doi":"https://doi.org/10.23919/annsim52504.2021.9552098","mag":"3202673305"},"language":"en","primary_location":{"id":"doi:10.23919/annsim52504.2021.9552098","is_oa":false,"landing_page_url":"https://doi.org/10.23919/annsim52504.2021.9552098","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","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/A5060363103","display_name":"Laurent Capocchi","orcid":"https://orcid.org/0000-0002-0793-8742"},"institutions":[{"id":"https://openalex.org/I138816502","display_name":"Universit\u00e9 de Corse Pascal Paoli","ror":"https://ror.org/050ra0n32","country_code":"FR","type":"education","lineage":["https://openalex.org/I138816502"]},{"id":"https://openalex.org/I4210152705","display_name":"Universidad Blas Pascal","ror":"https://ror.org/04z80e107","country_code":"AR","type":"education","lineage":["https://openalex.org/I4210152705"]}],"countries":["AR","FR"],"is_corresponding":false,"raw_author_name":"Laurent Capocchi","raw_affiliation_strings":["SPE UMR CNRS 6134, University of Corsica, Corte, FRANCE","Universit\u00e9 Pascal Paoli"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPE UMR CNRS 6134, University of Corsica, Corte, FRANCE","institution_ids":["https://openalex.org/I138816502"]},{"raw_affiliation_string":"Universit\u00e9 Pascal Paoli","institution_ids":["https://openalex.org/I4210152705"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082947178","display_name":"Jean-Fran\u00e7ois Santucci","orcid":"https://orcid.org/0000-0002-9143-532X"},"institutions":[{"id":"https://openalex.org/I138816502","display_name":"Universit\u00e9 de Corse Pascal Paoli","ror":"https://ror.org/050ra0n32","country_code":"FR","type":"education","lineage":["https://openalex.org/I138816502"]},{"id":"https://openalex.org/I4210152705","display_name":"Universidad Blas Pascal","ror":"https://ror.org/04z80e107","country_code":"AR","type":"education","lineage":["https://openalex.org/I4210152705"]}],"countries":["AR","FR"],"is_corresponding":false,"raw_author_name":"Jean-Francois Santucci","raw_affiliation_strings":["SPE UMR CNRS 6134, University of Corsica, Corte, FRANCE","Universit\u00e9 Pascal Paoli"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SPE UMR CNRS 6134, University of Corsica, Corte, FRANCE","institution_ids":["https://openalex.org/I138816502"]},{"raw_affiliation_string":"Universit\u00e9 Pascal Paoli","institution_ids":["https://openalex.org/I4210152705"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5044733748","display_name":"Jean\u2010Yves Tigli","orcid":"https://orcid.org/0000-0002-0531-6384"},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Yves Tigli","raw_affiliation_strings":["I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","Scalable and Pervasive softwARe and Knowledge Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Scalable and Pervasive softwARe and Knowledge Systems","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016234063","display_name":"Thibault Gonnin","orcid":null},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Thibault Gonnin","raw_affiliation_strings":["I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","Scalable and Pervasive softwARe and Knowledge Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Scalable and Pervasive softwARe and Knowledge Systems","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040013879","display_name":"St\u00e9phane Lavirotte","orcid":"https://orcid.org/0000-0002-3341-6577"},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Stephane Lavirotte","raw_affiliation_strings":["I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","Scalable and Pervasive softwARe and Knowledge Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Scalable and Pervasive softwARe and Knowledge Systems","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087506231","display_name":"G\u00e9rald Rocher","orcid":"https://orcid.org/0000-0002-3874-6276"},"institutions":[{"id":"https://openalex.org/I201841394","display_name":"Universit\u00e9 C\u00f4te d'Azur","ror":"https://ror.org/019tgvf94","country_code":"FR","type":"education","lineage":["https://openalex.org/I201841394"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Gerald Rocher","raw_affiliation_strings":["I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","Scalable and Pervasive softwARe and Knowledge Systems"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"I3S UMS CNRS, Nice Sophia-Antipolis University, Nice Sophia Antipolis, FRANCE","institution_ids":["https://openalex.org/I201841394"]},{"raw_affiliation_string":"Scalable and Pervasive softwARe and Knowledge Systems","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.998199999332428,"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.998199999332428,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9962000250816345,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9961000084877014,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/devs","display_name":"DEVS","score":0.9751402735710144},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7605389952659607},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.6124939322471619},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.5306497812271118},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.5103995203971863},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5087671875953674},{"id":"https://openalex.org/keywords/internet-of-things","display_name":"Internet of Things","score":0.505204975605011},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.47160086035728455},{"id":"https://openalex.org/keywords/modeling-and-simulation","display_name":"Modeling and simulation","score":0.4366753101348877},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.2706206440925598},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.23135006427764893},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.11943387985229492}],"concepts":[{"id":"https://openalex.org/C68757728","wikidata":"https://www.wikidata.org/wiki/Q911082","display_name":"DEVS","level":3,"score":0.9751402735710144},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7605389952659607},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.6124939322471619},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.5306497812271118},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.5103995203971863},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5087671875953674},{"id":"https://openalex.org/C81860439","wikidata":"https://www.wikidata.org/wiki/Q251212","display_name":"Internet of Things","level":2,"score":0.505204975605011},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.47160086035728455},{"id":"https://openalex.org/C167343916","wikidata":"https://www.wikidata.org/wiki/Q6888384","display_name":"Modeling and simulation","level":2,"score":0.4366753101348877},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.2706206440925598},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.23135006427764893},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.11943387985229492},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.23919/annsim52504.2021.9552098","is_oa":false,"landing_page_url":"https://doi.org/10.23919/annsim52504.2021.9552098","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2021 Annual Modeling and Simulation Conference (ANNSIM)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-03619667v1","is_oa":false,"landing_page_url":"https://hal.science/hal-03619667","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"2021 Annual Modeling and Simulation Conference (ANNSIM), Jul 2021, Fairfax, United States. pp.1-12, ⟨10.23919/ANNSIM52504.2021.9552098⟩","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.4399999976158142}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W2525896035","https://openalex.org/W2910605743","https://openalex.org/W2963278060","https://openalex.org/W2982712194","https://openalex.org/W2999355182","https://openalex.org/W3127581887"],"related_works":["https://openalex.org/W4391381730","https://openalex.org/W2239452211","https://openalex.org/W2155384133","https://openalex.org/W2486930832","https://openalex.org/W2248184567","https://openalex.org/W2089507474","https://openalex.org/W1602403167","https://openalex.org/W2539196186","https://openalex.org/W2104291236","https://openalex.org/W2051685235"],"abstract_inverted_index":{"In":[0,37],"the":[1,12,23,29,35,54,69,75,79,83,102,109],"field":[2],"of":[3,6,11,45,47,101,111],"conflict":[4,14],"management":[5],"IoT":[7,103],"systems,":[8],"formal":[9],"verification":[10],"actuation":[13],"Management":[15],"(ACM)":[16],"has":[17],"an":[18,112],"important":[19],"place":[20],"to":[21,73,96,127],"verify":[22],"ACM":[24,70,113],"logical":[25],"properties":[26],"by":[27],"considering":[28],"events":[30],"and":[31,66,105,120],"possible":[32],"actions":[33],"on":[34],"actuators.":[36],"this":[38,129],"paper":[39],"a":[40,99],"new":[41,130],"discrete":[42],"event":[43],"simulation":[44,115],"Internet":[46],"Things":[48],"systems":[49],"approach":[50],"is":[51,94,125],"introduced":[52],"during":[53],"Design":[55],"Phase":[56],"to:":[57],"(i)":[58],"generate":[59],"test":[60,85],"patterns":[61],"that":[62],"highlights":[63],"potential":[64],"conflicts":[65,76,118],"(ii)":[67],"validate":[68],"specifications":[71],"designed":[72],"solve":[74],"embedded":[77],"in":[78],"physical":[80,107],"environment":[81],"using":[82],"previous":[84],"patterns.":[86],"The":[87],"DEVS":[88,114],"(Discrete":[89],"EVent":[90],"system":[91,104],"Specification)":[92],"formalism":[93],"used":[95],"formally":[97],"propose":[98],"modeling":[100],"its":[106],"environment,":[108],"definition":[110],"model":[116],"allowing":[117],"detection":[119],"resolution.":[121],"A":[122],"use-case":[123],"example":[124],"proposed":[126],"illustrate":[128],"approach.":[131]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}