{"id":"https://openalex.org/W1592749131","doi":"https://doi.org/10.1109/fdl.2014.7119349","title":"Multi-level modeling of wireless embedded systems","display_name":"Multi-level modeling of wireless embedded systems","publication_year":2014,"publication_date":"2014-10-01","ids":{"openalex":"https://openalex.org/W1592749131","doi":"https://doi.org/10.1109/fdl.2014.7119349","mag":"1592749131"},"language":"en","primary_location":{"id":"doi:10.1109/fdl.2014.7119349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2014.7119349","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 Forum on Specification and Design Languages (FDL)","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/A5101916274","display_name":"Fangyan Li","orcid":"https://orcid.org/0000-0002-9012-7093"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Fangyan Li","raw_affiliation_strings":["EpOC, Nice Sophia Antipolis University, Sophia Antipolis, France","Nice Sophia Antipolis University, Sophia Antipolis, France"],"affiliations":[{"raw_affiliation_string":"EpOC, Nice Sophia Antipolis University, Sophia Antipolis, France","institution_ids":[]},{"raw_affiliation_string":"Nice Sophia Antipolis University, Sophia Antipolis, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065342069","display_name":"Eric Dekneuvel","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Eric Dekneuvel","raw_affiliation_strings":["EpOC, Nice Sophia Antipolis University, Sophia Antipolis, France","Nice Sophia Antipolis University, Sophia Antipolis, France"],"affiliations":[{"raw_affiliation_string":"EpOC, Nice Sophia Antipolis University, Sophia Antipolis, France","institution_ids":[]},{"raw_affiliation_string":"Nice Sophia Antipolis University, Sophia Antipolis, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5053814554","display_name":"G. Jacquemod","orcid":"https://orcid.org/0000-0003-2915-7653"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Gilles Jacquemod","raw_affiliation_strings":["EpOC, Nice Sophia Antipolis University, Sophia Antipolis, France","Nice Sophia Antipolis University, Sophia Antipolis, France"],"affiliations":[{"raw_affiliation_string":"EpOC, Nice Sophia Antipolis University, Sophia Antipolis, France","institution_ids":[]},{"raw_affiliation_string":"Nice Sophia Antipolis University, Sophia Antipolis, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050479727","display_name":"Davide Quaglia","orcid":"https://orcid.org/0000-0002-0775-939X"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Davide Quaglia","raw_affiliation_strings":["LIP6, UMR, Polytech UPMC, Paris, France","Department of Computer Science \u2013 University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"LIP6, UMR, Polytech UPMC, Paris, France","institution_ids":["https://openalex.org/I39804081"]},{"raw_affiliation_string":"Department of Computer Science \u2013 University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069672683","display_name":"Michele Lora","orcid":"https://orcid.org/0000-0002-6224-4313"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Lora","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy","Department of Computer Science \u2013 University of Verona, Verona, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Department of Computer Science \u2013 University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023748893","display_name":"Fran\u00e7ois P\u00eacheux","orcid":"https://orcid.org/0000-0002-4118-8690"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]},{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]}],"countries":["FR","IT"],"is_corresponding":false,"raw_author_name":"Francois Pecheux","raw_affiliation_strings":["Department of Computer Science, University of Verona, Verona, Italy","Polytech UPMC, Paris, France"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Verona, Italy","institution_ids":["https://openalex.org/I119439378"]},{"raw_affiliation_string":"Polytech UPMC, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029471498","display_name":"R\u00e9mi Butaud","orcid":null},"institutions":[{"id":"https://openalex.org/I39804081","display_name":"Sorbonne Universit\u00e9","ror":"https://ror.org/02en5vm52","country_code":"FR","type":"education","lineage":["https://openalex.org/I39804081"]},{"id":"https://openalex.org/I4210150884","display_name":"Fondation Sophia Antipolis","ror":"https://ror.org/05nkcfv27","country_code":"FR","type":"other","lineage":["https://openalex.org/I4210150884"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Remi Butaud","raw_affiliation_strings":["Riviera Waves, Sophia Antipolis, France","Polytech UPMC, Paris, France"],"affiliations":[{"raw_affiliation_string":"Riviera Waves, Sophia Antipolis, France","institution_ids":["https://openalex.org/I4210150884"]},{"raw_affiliation_string":"Polytech UPMC, Paris, France","institution_ids":["https://openalex.org/I39804081"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5101916274"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.7241,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.8535552,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"40","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.9973999857902527,"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/T12801","display_name":"Bluetooth and Wireless Communication Technologies","score":0.9973999857902527,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9878000020980835,"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/T11158","display_name":"Wireless Networks and Protocols","score":0.9872999787330627,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8088783621788025},{"id":"https://openalex.org/keywords/dependability","display_name":"Dependability","score":0.8088501691818237},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.7134429216384888},{"id":"https://openalex.org/keywords/bluetooth","display_name":"Bluetooth","score":0.663658082485199},{"id":"https://openalex.org/keywords/wireless","display_name":"Wireless","score":0.6384175419807434},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.6002652645111084},{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.5921525955200195},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5795546770095825},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.525414228439331},{"id":"https://openalex.org/keywords/energy-consumption","display_name":"Energy consumption","score":0.48629650473594666},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4532221555709839},{"id":"https://openalex.org/keywords/communications-system","display_name":"Communications system","score":0.4476286470890045},{"id":"https://openalex.org/keywords/system-level-simulation","display_name":"System-level simulation","score":0.430117666721344},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.40292680263519287},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3563488721847534},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.19792470335960388},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.15998205542564392},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.1511199176311493},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08195996284484863},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.08177751302719116}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8088783621788025},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.8088501691818237},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.7134429216384888},{"id":"https://openalex.org/C546215728","wikidata":"https://www.wikidata.org/wiki/Q39531","display_name":"Bluetooth","level":3,"score":0.663658082485199},{"id":"https://openalex.org/C555944384","wikidata":"https://www.wikidata.org/wiki/Q249","display_name":"Wireless","level":2,"score":0.6384175419807434},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.6002652645111084},{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.5921525955200195},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5795546770095825},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.525414228439331},{"id":"https://openalex.org/C2780165032","wikidata":"https://www.wikidata.org/wiki/Q16869822","display_name":"Energy consumption","level":2,"score":0.48629650473594666},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4532221555709839},{"id":"https://openalex.org/C101765175","wikidata":"https://www.wikidata.org/wiki/Q577764","display_name":"Communications system","level":2,"score":0.4476286470890045},{"id":"https://openalex.org/C2781207095","wikidata":"https://www.wikidata.org/wiki/Q24963836","display_name":"System-level simulation","level":2,"score":0.430117666721344},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40292680263519287},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3563488721847534},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.19792470335960388},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.15998205542564392},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.1511199176311493},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08195996284484863},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08177751302719116},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/fdl.2014.7119349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl.2014.7119349","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 Forum on Specification and Design Languages (FDL)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.9100000262260437,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1596976425","https://openalex.org/W1964833966","https://openalex.org/W1985142635","https://openalex.org/W2028308076","https://openalex.org/W2065341162","https://openalex.org/W2073218561","https://openalex.org/W2112525087","https://openalex.org/W2112626363","https://openalex.org/W2123610036","https://openalex.org/W2126098803","https://openalex.org/W2153297794","https://openalex.org/W2161982361","https://openalex.org/W2167297942","https://openalex.org/W2168412207","https://openalex.org/W6635772643","https://openalex.org/W6676474364"],"related_works":["https://openalex.org/W2790192245","https://openalex.org/W4232281993","https://openalex.org/W2097331811","https://openalex.org/W2119788505","https://openalex.org/W2366950178","https://openalex.org/W1981924702","https://openalex.org/W1525398417","https://openalex.org/W2226016578","https://openalex.org/W2553794327","https://openalex.org/W1896994377"],"abstract_inverted_index":{"The":[0,18],"design":[1,116],"of":[2,20,29,46,51,60,69,91],"wireless":[3],"embedded":[4],"systems":[5],"needs":[6],"their":[7],"efficient":[8],"and":[9,31,36,42,63,80],"realistic":[10],"simulation":[11,50,99],"to":[12,25,65,114],"verify":[13],"that":[14,98],"requirements":[15],"are":[16],"met.":[17],"reproduction":[19],"communication":[21,53,62],"behavior":[22],"is":[23,85],"crucial":[24],"assess":[26],"the":[27,49,52,61,81,88,92],"performance":[28],"hardware":[30],"software":[32],"components,":[33],"e.g.,":[34],"dependability":[35],"energy":[37],"consumption.":[38],"This":[39],"work":[40],"presents":[41],"discusses":[43],"different":[44,58,67],"levels":[45],"abstraction":[47,105],"for":[48],"behavior.":[54],"Each":[55],"level":[56,106],"addresses":[57],"aspects":[59],"allows":[64],"specify":[66],"kinds":[68],"detail;":[70],"furthermore,":[71],"it":[72],"requires":[73],"a":[74,103,111],"specific":[75,89],"modeling":[76],"approach.":[77],"Their":[78],"use":[79],"corresponding":[82],"computational":[83],"overhead":[84],"shown":[86],"in":[87],"case":[90],"Bluetooth":[93],"standard.":[94],"We":[95],"also":[96],"show":[97],"results":[100],"obtained":[101],"at":[102,110],"low":[104],"can":[107],"be":[108],"used":[109],"higher":[112],"one":[113],"drive":[115],"choices.":[117]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}