{"id":"https://openalex.org/W2073975791","doi":"https://doi.org/10.1109/meco.2013.6601381","title":"Applying modelling and simulation for development embedded systems","display_name":"Applying modelling and simulation for development embedded systems","publication_year":2013,"publication_date":"2013-06-01","ids":{"openalex":"https://openalex.org/W2073975791","doi":"https://doi.org/10.1109/meco.2013.6601381","mag":"2073975791"},"language":"en","primary_location":{"id":"doi:10.1109/meco.2013.6601381","is_oa":false,"landing_page_url":"https://doi.org/10.1109/meco.2013.6601381","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 2nd Mediterranean Conference on Embedded Computing (MECO)","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/A5030054278","display_name":"Gabriel Wainer","orcid":"https://orcid.org/0000-0003-3366-9184"},"institutions":[{"id":"https://openalex.org/I67031392","display_name":"Carleton University","ror":"https://ror.org/02qtvee93","country_code":"CA","type":"education","lineage":["https://openalex.org/I67031392"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Gabriel Wainer","raw_affiliation_strings":["Department of Systems and Computer Engineering, Carleton University, Canada","Department of Systems & Computer Engineering, Carleton University, Canada,"],"affiliations":[{"raw_affiliation_string":"Department of Systems and Computer Engineering, Carleton University, Canada","institution_ids":["https://openalex.org/I67031392"]},{"raw_affiliation_string":"Department of Systems & Computer Engineering, Carleton University, Canada,","institution_ids":["https://openalex.org/I67031392"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5030054278"],"corresponding_institution_ids":["https://openalex.org/I67031392"],"apc_list":null,"apc_paid":null,"fwci":1.2329,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.82688588,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9980999827384949,"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.9980999827384949,"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.9918000102043152,"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.9907000064849854,"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.8746852874755859},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8013083934783936},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.6151524186134338},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5618849396705627},{"id":"https://openalex.org/keywords/queueing-theory","display_name":"Queueing theory","score":0.43679118156433105},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4355301260948181},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.42894506454467773},{"id":"https://openalex.org/keywords/modeling-and-simulation","display_name":"Modeling and simulation","score":0.4097020626068115},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39495596289634705},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3330804705619812},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23320499062538147},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.14724066853523254},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.14569911360740662}],"concepts":[{"id":"https://openalex.org/C68757728","wikidata":"https://www.wikidata.org/wiki/Q911082","display_name":"DEVS","level":3,"score":0.8746852874755859},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8013083934783936},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.6151524186134338},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5618849396705627},{"id":"https://openalex.org/C22684755","wikidata":"https://www.wikidata.org/wiki/Q847526","display_name":"Queueing theory","level":2,"score":0.43679118156433105},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4355301260948181},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.42894506454467773},{"id":"https://openalex.org/C167343916","wikidata":"https://www.wikidata.org/wiki/Q6888384","display_name":"Modeling and simulation","level":2,"score":0.4097020626068115},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39495596289634705},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3330804705619812},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23320499062538147},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.14724066853523254},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.14569911360740662},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/meco.2013.6601381","is_oa":false,"landing_page_url":"https://doi.org/10.1109/meco.2013.6601381","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 2nd Mediterranean Conference on Embedded Computing (MECO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391381730","https://openalex.org/W2248184567","https://openalex.org/W1602403167","https://openalex.org/W2152567089","https://openalex.org/W2120785414","https://openalex.org/W2057670835","https://openalex.org/W2911373778","https://openalex.org/W1975021411","https://openalex.org/W4287831525","https://openalex.org/W4242351822"],"abstract_inverted_index":{"Summary":[0],"form":[1],"only":[2],"given:":[3],"Embedded":[4],"real-time":[5],"software":[6,43,329],"construction":[7],"has":[8],"usually":[9],"posed":[10],"interesting":[11],"challenges":[12],"due":[13],"to":[14,26,55,84,126,168,186,190,244,248,254,279],"the":[15,18,58,61,74,111,114,174,200,207,270,273,280,307,311,324],"complexity":[16,59],"of":[17,60,76,91,113,202,209,215,272,285,291,323],"tasks":[19,88],"executed.":[20],"Most":[21],"methods":[22,46],"are":[23,53],"either":[24],"hard":[25],"scale":[27],"up":[28],"for":[29,41,306],"large":[30],"systems,":[31,123],"or":[32],"require":[33],"a":[34,134,139,163,183,203,210],"difficult":[35,54],"testing":[36,145,304],"effort":[37],"with":[38,121,206,259],"no":[39],"guarantee":[40],"bug-free":[42],"products.":[44,116,330],"Formal":[45],"have":[47,70,233],"showed":[48],"promising":[49],"results;":[50],"nevertheless,":[51],"they":[52],"apply":[56],"when":[57],"system":[62,86,92,107],"under":[63,146],"development":[64,87,302,312],"scales":[65],"up.":[66],"Instead,":[67],"systems":[68,171,178],"engineers":[69],"often":[71],"relied":[72],"on":[73,173],"use":[75,245,284],"modeling":[77],"and":[78,94,103,109,129,153,165,253,294,299,303,319,321],"simulation":[79,98,257],"(M&S)":[80],"techniques":[81,222],"in":[82,133,154,193,269],"order":[83,268],"make":[85],"manageable.":[89],"Construction":[90],"models":[93,258],"their":[95],"analysis":[96],"through":[97],"reduces":[99],"both":[100],"end":[101],"costs":[102],"risks,":[104],"while":[105],"enhancing":[106],"capabilities":[108],"improving":[110],"quality":[112,320],"final":[115,325],"M&S":[117,187],"let":[118],"users":[119],"experiment":[120],"\u201cvirtual\u201d":[122],"allowing":[124],"them":[125],"explore":[127],"changes,":[128],"test":[130],"dynamic":[131],"conditions":[132,149],"risk-free":[135],"environment.":[136],"This":[137,197],"is":[138,218,314,327],"useful":[140],"approach,":[141],"moreover":[142],"considering":[143],"that":[144,188,219],"actual":[147,274],"operating":[148],"may":[150],"be":[151,191],"impractical":[152],"some":[155],"cases":[156],"impossible.In":[157],"this":[158,246],"talk,":[159],"we":[160],"will":[161,241],"present":[162],"Modeling":[164],"Simulation-based":[166],"framework":[167,247],"develop":[169,250],"embedded":[170,251],"based":[172],"DEVS":[175,181,217,238,286],"(Discrete":[176],"Event":[177],"Specification)":[179],"formalism.":[180],"provides":[182],"formal":[184,211],"foundation":[185],"proved":[189],"successful":[192],"different":[194,220],"complex":[195],"systems.":[196],"approach":[198,205,263],"combines":[199],"advantages":[201],"simulation-based":[204],"rigor":[208],"methodology.":[212],"Another":[213],"advantage":[214],"using":[216],"existing":[221],"(Bond":[223],"Graphs,":[224],"Cellular":[225],"Automata,":[226],"Partial":[227],"Differential":[228],"Equations,":[229],"Queuing":[230],"models,":[231],"etc.)":[232],"been":[234],"successfully":[235],"transformed":[236],"into":[237],"models.":[239],"We":[240],"discuss":[242],"how":[243],"incrementally":[249],"applications,":[252],"seamlessly":[255],"integrate":[256],"hardware":[260,275],"components.":[261],"Our":[262],"does":[264],"not":[265],"impose":[266],"any":[267],"deployment":[271],"components,":[276],"providing":[277],"flexibility":[278],"overall":[281,308],"process.":[282,309],"The":[283],"improves":[287],"reliability":[288,322],"(in":[289],"terms":[290],"logical":[292],"correctness":[293],"timing),":[295],"enables":[296],"model":[297],"reuse,":[298],"permits":[300],"reducing":[301],"times":[305],"Consequently,":[310],"cycle":[313],"shortened,":[315],"its":[316],"cost":[317],"reduced,":[318],"product":[326],"improved.bug-free":[328]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}