{"id":"https://openalex.org/W2293704405","doi":"https://doi.org/10.5220/0004317601230128","title":"Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS","display_name":"Verification and Validation of Meta-model based Transformation from SysML to VHDL-AMS","publication_year":2013,"publication_date":"2013-01-01","ids":{"openalex":"https://openalex.org/W2293704405","doi":"https://doi.org/10.5220/0004317601230128","mag":"2293704405"},"language":"en","primary_location":{"id":"doi:10.5220/0004317601230128","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004317601230128","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0004317601230128","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110256016","display_name":"Jean\u2010Marie Gauthier","orcid":null},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Jean-Marie Gauthier","raw_affiliation_strings":["Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","Combination of approaches to the security of infinite states systems"],"affiliations":[{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]},{"raw_affiliation_string":"Combination of approaches to the security of infinite states systems","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068728219","display_name":"Fabrice Bouquet","orcid":"https://orcid.org/0000-0001-9181-1172"},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabrice Bouquet","raw_affiliation_strings":["Combination of approaches to the security of infinite states systems","Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"affiliations":[{"raw_affiliation_string":"Combination of approaches to the security of infinite states systems","institution_ids":[]},{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111110835","display_name":"Ahmed Hammad","orcid":"https://orcid.org/0000-0003-3739-1650"},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ahmed Hammad","raw_affiliation_strings":["Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"affiliations":[{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111009644","display_name":"Fabien Peureux","orcid":null},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Fabien Peureux","raw_affiliation_strings":["Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"affiliations":[{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110256016"],"corresponding_institution_ids":["https://openalex.org/I2802759292"],"apc_list":null,"apc_paid":null,"fwci":1.0099,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.82487696,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"123","last_page":"128"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T14306","display_name":"Technology Assessment and Management","score":0.9961000084877014,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9898999929428101,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/systems-modeling-language","display_name":"Systems Modeling Language","score":0.8265280723571777},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.742296576499939},{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.7398024201393127},{"id":"https://openalex.org/keywords/vhdl-ams","display_name":"VHDL-AMS","score":0.6043149828910828},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5984891057014465},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.5612366199493408},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5051918625831604},{"id":"https://openalex.org/keywords/vhdl","display_name":"VHDL","score":0.45249056816101074},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.3786926567554474},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3768981397151947},{"id":"https://openalex.org/keywords/hardware-description-language","display_name":"Hardware description language","score":0.3101330101490021},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.19792985916137695},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1911521553993225},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16530129313468933}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.8265280723571777},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.742296576499939},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.7398024201393127},{"id":"https://openalex.org/C2776513426","wikidata":"https://www.wikidata.org/wiki/Q2744740","display_name":"VHDL-AMS","level":4,"score":0.6043149828910828},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5984891057014465},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.5612366199493408},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5051918625831604},{"id":"https://openalex.org/C36941000","wikidata":"https://www.wikidata.org/wiki/Q209455","display_name":"VHDL","level":3,"score":0.45249056816101074},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.3786926567554474},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3768981397151947},{"id":"https://openalex.org/C42143788","wikidata":"https://www.wikidata.org/wiki/Q173341","display_name":"Hardware description language","level":3,"score":0.3101330101490021},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.19792985916137695},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1911521553993225},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16530129313468933},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C42935608","wikidata":"https://www.wikidata.org/wiki/Q190411","display_name":"Field-programmable gate array","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0004317601230128","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004317601230128","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0004317601230128","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0004317601230128","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development","raw_type":"proceedings-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.800000011920929,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":10,"referenced_works":["https://openalex.org/W1487851792","https://openalex.org/W1495459766","https://openalex.org/W1968344141","https://openalex.org/W1987549499","https://openalex.org/W2038198708","https://openalex.org/W2107061559","https://openalex.org/W2141188123","https://openalex.org/W2148608418","https://openalex.org/W2336539423","https://openalex.org/W2539024465"],"related_works":["https://openalex.org/W1586741485","https://openalex.org/W2357636087","https://openalex.org/W2070083638","https://openalex.org/W1576549604","https://openalex.org/W2091509145","https://openalex.org/W2096642685","https://openalex.org/W3021694037","https://openalex.org/W2543386576","https://openalex.org/W2127358384","https://openalex.org/W2082508617"],"abstract_inverted_index":{"This":[0,21],"paper":[1],"proposes":[2],"an":[3],"approach":[4,22],"to":[5,11,18,34,43,59],"verify":[6,35],"SysML":[7,16,36,50],"models":[8,17,37,51],"consistency":[9,38],"and":[10,39,66],"validate":[12,44],"the":[13,29,77],"transformation":[14,33],"of":[15,31,49,76],"VHDL-AMS":[19,53],"code.":[20],"is":[23,80],"based":[24],"on":[25],"two":[26],"main":[27],"solutions:":[28],"use":[30],"model-to-model":[32],"writing":[40],"unit":[41],"tests":[42],"model":[45,78],"transformations.":[46],"The":[47,73],"translation":[48],"into":[52],"simulable":[54],"code":[55],"uses":[56],"MMT":[57],"(Model":[58,68],"Model":[60],"Transformation)":[61],"ATL":[62],"Atlas":[63],"Transformation":[64],"Language":[65],"M2T":[67],"To":[69],"Text)":[70],"Acceleo":[71],"tooling.":[72],"test":[74],"validation":[75],"transformations":[79],"performed":[81],"using":[82],"EUNIT":[83],"framework.":[84]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2026-02-27T16:54:17.756197","created_date":"2016-06-24T00:00:00"}