{“id”:“https://openalex.org/W2111042964“,”doi“:”https://doi.org/10.109/qsic.2008.28“,”title“:”An Executable Interface Specification for Industrial Embedded System Design“,”display_name“:”工业嵌入式系统设计的可执行接口规范“,”publication_year“:2008,”publiation_date“:”2008-08-01“,”ids“:{”openalex“:”https://openalex.org/W2111042964“,”doi“:”https://doi.org/10.109/qsic.2008.28“,”mag“:”2111042964“},”language“:”en“,”primary_location“:{”is_oa“:false,”landing_page_url“:”https://doi.org/10.109/qsic.2008.28“,”pdf_url“:null,”source“:nul,”license“:null',”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},”type“:”article“,”type_crossref“:“proceedings-article”,”indexed_in“:[”crossref“],”open_access“:{”is_oa“:true,”oa_status“:”green“,”“oa_url”:“”https://pure.tue.nl/ws/files/2847577/Metis220376.pdf“,”any_repository_has_fulltext“:true},”authorships“:[{”author_position“:”第一“,”作者“:{”id“:”https://openalex.org/A5023484380“,”display_name“:”金凤黄“,”兽人“:”https://orcid.org/0000-0002-6806-3361},“机构”:[{“id”:https://openalex.org/I1329325741“,”display_name“:”飞利浦(芬兰)“,”ror“:”https://ror.org/01g4jev56“,”country_code“:”FI“,”type“:“company”,”lineage“:[”https://openalex.org/I1329325741","https://openalex.org/I4210122849“]}],”国家“:[”FI“],”is_corresponding“:false,”raw_author_name“:”Jinfeng Huang“,”raw _affiliation_strings“:[“高级研究中心,Philips&LiteOn Digital Solutions Netherlands,Eindhoven”],”affiliations“:[{”raw _affiliation_string“:”高级研究中心(Adv.Res.Center,Philip&LiteOn Digitall Solutions Needlands,Elindhovens)“,”institution_ids“:[https://openalex.org/I1329325741“]}]},{”author_position“:”middle“,”author“:{”id“:”https://openalex.org/A5088330531“,”display_name“:”Jeroen Voeten“,”orcid“:”https://orcid.org/0000-0002-9981-8392“},”机构“:[],”国家“:[[],”is_corresponding“:false,”raw_author_name“:”J.Voeten“,”raw _ afiliation_strings“:[],“affiliations”:[]},{“author_position”:“middle”,“author”:{“id”:“https://openalex.org/A5097588093“,”display_name“:”S.Wolfs“,”orcid“:null},”institutions“:[],”countries“:[],”is_corresponding“:false,”raw_author_name“:”S.沃尔夫斯“,”raw _affiliation_strings“:],”affiliations“:【】},{”author_position“:”last“,”author“:{”id“:”https://openalex.org/A5097668598“,”display_name“:”M.Coopmans“,”orcid“:null},”institutions“:[],”countries“:[],”is_corresponding“:false,”raw_author_name“:”M.Copmans ds“:[],”apc_list“:null,”apc_payed“:null,”fwci“:0.0,”has_fulltext“:true,”fulltext_origin“:”pdf“,”cited_by_count“:0,”citation_normalized_p百分位“:{“value”:0.0,”is_in_top_1_percent“:false,”is_in_top_1_percent“:false},”cited_by_percentle_year“:{“min”:0,“max”:63},”biblio“:{“volume”:null,“issue”:null,“first_page”:null,“last_page ge“:null},”is_retracted“:false,”is_paratext“:false,”primary_topic“:{”id“:”https://openalex.org/T11450“,”display_name“:”软件开发中的模型驱动工程“,”score“:0.9998,”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“:”物理科学“}},”主题“:[{”id“:”https://openalex.org/T11450“,”display_name“:”软件开发中的模型驱动工程“,”score“:0.9998,”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“:”物理科学“}},{”id“:”https://openalex.org/T10142“,”“display_name”:“软件验证和控制中的形式方法”,“score”:0.9998,“subfield”:{“id”:“https://openalex.org/subfields/1703“,”display_name“:”计算理论与数学“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}},{”id“:”https://openalex.org/T10904“,”“display_name”:“可重构计算系统和设计方法”,“score”:0.9997,“subfield”:{“id”:“https://openalex.org/subfields/1708“,”display_name“:”硬件和体系结构“},”字段“:{”id“:”https://openalex.org/fields/17“,”display_name“:”Computer Science“},”domain“:{”id“:”https://openalex.org/domains/3“,”display_name“:”物理科学“}}],”关键词“:[{”id“:”https://openalex.org/keywords/executable“,”display_name“:”Executable“,”score“:0.88076067},{”id“:”https://openalex.org/keywords/abstraction网站“,”display_name“:”抽象“,”分数“:0.6833425},{”id“:”https://openalex.org/keywords/interface网站“,”display_name“:”接口(物质)“,”score“:0.6071126},{”id“:”https://openalex.org/keywords/system-level-design(https://openalex.org/keywords/system-level-design)“,”display_name“:”系统级设计“,”score“:0.551677},{”id“:”https://openalex.org/keywords/embedded-systems网站“,”display_name“:”嵌入式系统“,”score“:0.550003},{”id“:”https://openalex.org/keywords/platform-based-design网站“,”display_name“:”基于平台的设计“,”score“:0.540852},{”id“:”https://openalex.org/keywords/tool-integration网站“,”display_name“:”工具集成“,”score“:0.517529},{”id“:”https://openalex.org/keywords/reconfigurable-computing网站“,”display_name“:”可重构计算“,”score“:0.51465}],”concepts“:[{”id“:”https://openalex.org/C160145156,“wikidata”:https://www.wikidata.org/wiki/Q778586“,”display_name“:”Executable“,”level“:2,”score“:0.88076067},{”id“:”https://openalex.org/C41008148,“wikidata”:https://www.wikidata.org/wiki/Q21198“,”display_name“:”计算机科学“,”level“:0,”score“:0.8181082},{”id“:”https://openalex.org/C124304363,“wikidata”:https://www.wikidata.org/wiki/Q673661“,”display_name“:”抽象“,”级别“:2,”分数“:0.6833425},{”id“:”https://openalex.org/C113843644,“wikidata”:https://www.wikidata.org/wiki/Q901882“,”display_name“:”接口(物质)“,”级别“:4,”分数“:0.6071126},{”id“:”https://openalex.org/C199360897,“wikidata”:https://www.wikidata.org/wiki/Q9143“,”display_name“:”编程语言“,”level“:1,”score“:0.5109119},{”id“:”https://openalex.org/C98045186,“wikidata”:https://www.wikidata.org/wiki/Q205663“,”display_name“:”Process(computing)“,”level“:2,”score“:0.43847758},{”id“:”https://openalex.org/C115903868,“wikidata”:https://www.wikidata.org/wiki/Q80993“,”display_name“:”软件工程“,”level“:1,”score“:0.38463175},{”id“:”https://openalex.org/C111919701,“wikidata”:https://www.wikidata.org/wiki/Q9135“,”display_name“:”操作系统“,”level“:1,”score“:0.14414546},{”id“:”https://openalex.org/C138885662,“wikidata”:https://www.wikidata.org/wiki/Q5891“,”display_name“:”哲学“,”等级“:0,”分数“:0.0},{”id“:”https://openalex.org/C111472728,“wikidata”:https://www.wikidata.org/wiki/Q9471“,”display_name“:”认识论“,”level“:1,”score“:0.0},{”id“:”https://openalex.org/C157915830,“wikidata”:https://www.wikidata.org/wiki/Q2928001“,”display_name“:”气泡“,”level“:2,”score“:0.0},{”id“:”https://openalex.org/C129307140,“wikidata”:https://www.wikidata.org/wiki/Q6795880“,”display_name“:”最大气泡压力法“,”level“:3,”score“:0.0}],“mesh”:[],“locations_count”:3,“location”:[{“is_oa”:false,“landing_page_url”:“https://doi.org/10.109/qsic.2008.28“,”pdf_url“:null,”source“:null,”license“:nully,”licence_id“:null,”version“:nuller,”is_accepted“:false,”is_published“:false},{”is_oa“:true,”landing_page_url”:“https://pure.tue.nl/ws/files/2847577/Metis220376.pdf,“pdf_url”:https://pure.tue.nl/ws/files/2847577/Metis220376.pdf“,”source“:null,”license“:”other-oa“,”licence_id“:”https://openalex.org/licenses/other-oa网站“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},{”is_oa“:true,”landing_page_url“:”https://research.tue.nl/en/publications/28f77dca-3628-4b84-ad6f-ab4b28228f88,“pdf_url”:https://research.tue.nl/files/2847577/Metis220376.pdf“,”source“:null,”license“:”other-oa“,”licence_id“:”https://openalex.org/licenses/other-oa网站“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true}],”best_oa_location“:{”is_oa“:true,”landing_page_url“:”https://pure.tue.nl/ws/files/2847577/Metis220376.pdf,“pdf_url”:https://pure.tue.nl/ws/files/2847577/Metis220376.pdf“,”source“:null,”license“:”other-oa“,”licence_id“:”https://openalex.org/licenses/other-oa网站“,”version“:”publishedVersion“,”is_accepted“:true,”is_published“:true},”sustainable_development_goals“:[{”id“:”https://metadata.un.org/sdg/9“,”score“:0.49,”display_name“:”Industry,innovation and infrastructure“}],”grants“:[],”datasets“:【】,”versions“:【],”referenced_works_count“:11,”referrenced_works“:[”https://openalex.org/W1503973138","https://openalex.org/W1587275578","https://openalex.org/W1977901513","https://openalex.org/W1988551846","https://openalex.org/W2059883901","https://openalex.org/W2095788213","https://openalex.org/W2098871589","https://openalex.org/W2099184371","https://openalex.org/W2144351538","https://openalex.org/W4246711535","https://openalex.org/W4251323451“],”related_works“:[”https://openalex.org/W82161441","https://openalex.org/W4299534542","https://openalex.org/W4234371507","https://openalex.org/W2350278424","https://openalex.org/W2181943964","https://openalex.org/W2071432835","https://openalex.org/W1990602094","https://openalex.org/W1628824497","https://openalex.org/W1576042299","https://openalex.org/W1528423264“],”abstract_inverted_index“:{“Todaw,”:[0],“designers”:[1,32],“resort”:[2],“to”:[3,6,20,35,64,74],“abstration”:[4,38],“technologies”:[5],“convert”:[7],“the”:[8,15,21,26,29,31,37,52,99108110127130136139143],“complex”:[9],“of”:[10,70,88129],“industrial”:[11],“embedded”:[12,53131],“systems”:[13],“期间”:[14],“设计”:[16,93105],“过程。“:[17],”“然而,”:[18],“到期”:[19],“大”:[22],“语义”:[23],“差距”:[24],“介于”:[25138],“抽象”:[27141],“和”:[28142],“实现”:[30],“经常”:[33],“失败”:[34],“应用”:[36],“技术”。“:[39],”In“:[40107133],”this“:[41134],”paper“:[42],”an“:[43,79103118],”EIS-based“:[44],”(可执行文件:[45],”接口“:[46,61],”规范)“:[47],”方法“:[48,57],”是“:[49,72],”建议“:[50,56],”用于“:[51],”系统“:[54,66],”设计。“:[55],”starts“:[58],”with“:[59],”using“:[60],”state“:[62],”diagrams“:[63,77],”specify“:[65],”architecture。“:[67],”A“:[68],”set“:[69],”rules“:[71],”invested“:[73],”transfer“:[75],”these“:[76],”into“:[78117],”executable“:[80],”model“:[81101112],”(EIS“:[82],”model)“:[83],”consistently“。“:[84],“By”:[85],“making”:[86],“use”:[87],“simulation/verification”:[89],“technologies”,“:[90],“many”:[91],“architecture”:[92],“errors”:[94],“can”:[95113145],“be”:[96114147],“detected”:/97],“in”:[98],“EIS”:[10011],“at”:[102],“early”:[104],“stage”。“:[106],”end“,”:[109]“,”systemally“:[115],”transferred“:[116],”interpressited“:[119],”implementation“:[121244],”or“:[121],”a“:[122],”compiled“:[123],”based“:%125],”on“:[126],”constraints“:[128],”platform“。“:[132],”方式“:[135],”不一致“:[137],”高级“:[140],”基本上“:[146],”减少。“:[148]},”cited_by_api_url“:”https://api.openalex.org/works?filter=cites:W2111042964“,”counts_by_year“:[],”updated_date“:”2024-09-19T09:42:16.111547“,”created_date“:”2016-06-24“}