{"id":"https://openalex.org/W2053510640","doi":"https://doi.org/10.1109/etfa.2013.6648147","title":"A robotic vehicle testbench for the application of MBD-MDE development technologies","display_name":"A robotic vehicle testbench for the application of MBD-MDE development technologies","publication_year":2013,"publication_date":"2013-09-01","ids":{"openalex":"https://openalex.org/W2053510640","doi":"https://doi.org/10.1109/etfa.2013.6648147","mag":"2053510640"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2013.6648147","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2013.6648147","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 18th Conference on Emerging Technologies & 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/A5045424049","display_name":"Matteo Morelli","orcid":"https://orcid.org/0000-0003-0638-4618"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Morelli","raw_affiliation_strings":["TECIP Institute, Scuola Superiore Sant'Anna, Pisa, Italy","Scuola Superiore S. Anna, TECIP Inst., Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TECIP Institute, Scuola Superiore Sant'Anna, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]},{"raw_affiliation_string":"Scuola Superiore S. Anna, TECIP Inst., Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042337527","display_name":"Federico L. Moro","orcid":"https://orcid.org/0000-0003-1841-7130"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Federico Moro","raw_affiliation_strings":["DISI, Universit\u00e1 degli Studi di Trento, Italy","DISI, Univ. degli Studi di Trento, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISI, Universit\u00e1 degli Studi di Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"DISI, Univ. degli Studi di Trento, Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054785820","display_name":"Tizar Rizano","orcid":null},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Tizar Rizano","raw_affiliation_strings":["DISI, Universit\u00e1 degli Studi di Trento, Italy","DISI, Univ. degli Studi di Trento, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISI, Universit\u00e1 degli Studi di Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"DISI, Univ. degli Studi di Trento, Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045097296","display_name":"Daniele Fontanelli","orcid":"https://orcid.org/0000-0002-5486-9989"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Daniele Fontanelli","raw_affiliation_strings":["DISI, Universit\u00e1 degli Studi di Trento, Italy","DISI, Univ. degli Studi di Trento, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISI, Universit\u00e1 degli Studi di Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"DISI, Univ. degli Studi di Trento, Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006224560","display_name":"Luigi Palopoli","orcid":"https://orcid.org/0000-0001-8813-8685"},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Luigi Palopoli","raw_affiliation_strings":["DISI, Universit\u00e1 degli Studi di Trento, Italy","DISI, Univ. degli Studi di Trento, Trento, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"DISI, Universit\u00e1 degli Studi di Trento, Italy","institution_ids":["https://openalex.org/I193223587"]},{"raw_affiliation_string":"DISI, Univ. degli Studi di Trento, Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5038878233","display_name":"Marco Di Natale","orcid":"https://orcid.org/0000-0002-4480-8808"},"institutions":[{"id":"https://openalex.org/I162290304","display_name":"Scuola Superiore Sant'Anna","ror":"https://ror.org/025602r80","country_code":"IT","type":"education","lineage":["https://openalex.org/I162290304"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Di Natale","raw_affiliation_strings":["TECIP Institute, Scuola Superiore Sant'Anna, Pisa, Italy","Scuola Superiore S. Anna, TECIP Inst., Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TECIP Institute, Scuola Superiore Sant'Anna, Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]},{"raw_affiliation_string":"Scuola Superiore S. Anna, TECIP Inst., Pisa, Italy","institution_ids":["https://openalex.org/I162290304"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"1","last_page":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9984999895095825,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983000159263611,"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"}},{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9926000237464905,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8297349214553833},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.691996157169342},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.616441011428833},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.5472506880760193},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.5373393893241882},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47048357129096985},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4695364236831665},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.46491295099258423},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4367271363735199},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42754003405570984},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4258955121040344},{"id":"https://openalex.org/keywords/functional-requirement","display_name":"Functional requirement","score":0.422649621963501},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.42254793643951416},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.39851367473602295},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.18990549445152283},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.1897915005683899},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.09851518273353577}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8297349214553833},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.691996157169342},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.616441011428833},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.5472506880760193},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.5373393893241882},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47048357129096985},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4695364236831665},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.46491295099258423},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4367271363735199},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42754003405570984},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4258955121040344},{"id":"https://openalex.org/C62235348","wikidata":"https://www.wikidata.org/wiki/Q3264234","display_name":"Functional requirement","level":2,"score":0.422649621963501},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.42254793643951416},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.39851367473602295},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.18990549445152283},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.1897915005683899},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09851518273353577},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/etfa.2013.6648147","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2013.6648147","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)","raw_type":"proceedings-article"},{"id":"pmh:oai:iris.unitn.it:11572/161041","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/161041","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:www.iris.sssup.it:11382/420213","is_oa":false,"landing_page_url":"http://hdl.handle.net/11382/420213","pdf_url":null,"source":{"id":"https://openalex.org/S4377196376","display_name":"CINECA IRIS Institutional Research Information System (Sant'Anna School of Advanced Studies)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I162290304","host_organization_name":"Scuola Superiore Sant'Anna","host_organization_lineage":["https://openalex.org/I162290304"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5799999833106995,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":7,"referenced_works":["https://openalex.org/W1994976435","https://openalex.org/W2115601136","https://openalex.org/W2147347162","https://openalex.org/W2157431674","https://openalex.org/W2165030324","https://openalex.org/W4240344210","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3130685677","https://openalex.org/W2037121848","https://openalex.org/W4312733571","https://openalex.org/W2006962382","https://openalex.org/W2149716943","https://openalex.org/W4386309167","https://openalex.org/W4315606162","https://openalex.org/W2340807904","https://openalex.org/W1547517160","https://openalex.org/W1483297389"],"abstract_inverted_index":{"Models":[0],"are":[1],"used":[2,154],"in":[3,30,66,85],"control":[4],"domains":[5],"for":[6,18,72,186],"early":[7],"validation":[8],"of":[9,22,35,43,79,91,100,106,149,159,176],"system":[10],"properties,":[11],"using":[12],"simulation":[13],"or":[14],"formal":[15],"verification,":[16],"and":[17,57,68,97,108,112,122,135,145,168,184],"the":[19,36,44,54,80,92,101,119,124,129,136,142,147,157,160,174,190],"automatic":[20],"generation":[21],"a":[23,32,41,89,104,150,169,181],"software":[24,55],"implementation.":[25],"We":[26],"propose":[27],"an":[28,48,76,98],"approach":[29],"which":[31],"functional":[33,61,81,166],"model":[34,42,62,82,90,121],"controls":[37],"is":[38,63,70,83,95,110],"matched":[39],"to":[40,155,172],"execution":[45,93],"platform":[46,94],"through":[47],"intermediate":[49],"mapping":[50,120],"model,":[51],"that":[52],"represents":[53],"tasks":[56,107],"communication":[58],"messages.":[59],"The":[60,114,162],"(partly)":[64],"developed":[65],"Simulink":[67],"code":[69,127],"generated":[71,132],"each":[73],"subsystem.":[74],"Next,":[75],"abstract":[77],"view":[78],"imported":[84],"SysML.":[86],"Using":[87],"SysML,":[88],"created,":[96],"implementation":[99,171],"subsystems":[102],"as":[103],"set":[105],"messages":[109],"defined":[111],"evaluated.":[113],"M2T":[115],"Acceleo":[116],"tool":[117],"processes":[118],"generates":[123],"Orocos-compliant":[125],"task":[126],"executing":[128],"C/C++":[130],"functions":[131],"from":[133],"Simulink,":[134],"inter-task":[137],"communication.":[138],"This":[139],"paper":[140],"outlines":[141],"proposed":[143],"flow":[144],"provides":[146],"description":[148],"robotic":[151],"car":[152],"testbench":[153,163],"show":[156],"application":[158],"methodology.":[161],"has":[164],"enough":[165],"complexity":[167],"distributed":[170],"justify":[173],"creation":[175],"architecture":[177],"models,":[178],"while":[179],"requiring":[180],"moderate":[182],"cost":[183],"effort":[185],"its":[187],"construction":[188],"by":[189],"interested":[191],"researchers.":[192]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-21T08:15:58.654021","created_date":"2025-10-10T00:00:00"}