发布求助
文献互助 智能选刊 最新文献

Automotive Software Workshop最新文献

筛选
英文 中文
Generating Sound and Resource-Aware Code from Hybrid Systems Models 从混合系统模型生成声音和资源感知代码
Automotive Software Workshop Pub Date : 2006-03-15 DOI: 10.1007/978-3-540-70930-5_4
M. Anand, S. Fischmeister, Jesung Kim, Insup Lee
{"title":"Generating Sound and Resource-Aware Code from Hybrid Systems Models","authors":"M. Anand, S. Fischmeister, Jesung Kim, Insup Lee","doi":"10.1007/978-3-540-70930-5_4","DOIUrl":"https://doi.org/10.1007/978-3-540-70930-5_4","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123257051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
An Instrumentation-Based Approach to Controller Model Validation 基于仪器的控制器模型验证方法
Automotive Software Workshop Pub Date : 2006-03-15 DOI: 10.1007/978-3-540-70930-5_6
R. Cleaveland, S. Smolka, Steve Sims
{"title":"An Instrumentation-Based Approach to Controller Model Validation","authors":"R. Cleaveland, S. Smolka, Steve Sims","doi":"10.1007/978-3-540-70930-5_6","DOIUrl":"https://doi.org/10.1007/978-3-540-70930-5_6","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2006-03-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132562339","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 30
Adding Value to Automotive Models 增加汽车模型的价值
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_7
Eckard Böde, W. Damm, J. Høyem, B. Josko, Jürgen Niehaus, Marc Segelken
{"title":"Adding Value to Automotive Models","authors":"Eckard Böde, W. Damm, J. Høyem, B. Josko, Jürgen Niehaus, Marc Segelken","doi":"10.1007/11823063_7","DOIUrl":"https://doi.org/10.1007/11823063_7","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"79 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122887600","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Validation of Component and Service Federations in Automotive Software Applications 汽车软件应用中组件和服务联合的验证
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_5
L. Baresi, C. Ghezzi
{"title":"Validation of Component and Service Federations in Automotive Software Applications","authors":"L. Baresi, C. Ghezzi","doi":"10.1007/11823063_5","DOIUrl":"https://doi.org/10.1007/11823063_5","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"212 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115661300","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Software for Automotive Systems: Model-Integrated Computing 汽车系统软件:模型集成计算
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_9
S. Neema, G. Karsai
{"title":"Software for Automotive Systems: Model-Integrated Computing","authors":"S. Neema, G. Karsai","doi":"10.1007/11823063_9","DOIUrl":"https://doi.org/10.1007/11823063_9","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132798284","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code 用可执行代码的抽象解释分析最坏情况下的执行时间
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_1
C. Ferdinand, Reinhold Heckmann, R. Wilhelm
{"title":"Analyzing the Worst-Case Execution Time by Abstract Interpretation of Executable Code","authors":"C. Ferdinand, Reinhold Heckmann, R. Wilhelm","doi":"10.1007/11823063_1","DOIUrl":"https://doi.org/10.1007/11823063_1","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129621042","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
A Compositional Framework for Real-Time Guarantees 实时保证的组合框架
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_4
I. Shin, Insup Lee
{"title":"A Compositional Framework for Real-Time Guarantees","authors":"I. Shin, Insup Lee","doi":"10.1007/11823063_4","DOIUrl":"https://doi.org/10.1007/11823063_4","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121388704","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Automotive Software: A Challenge and Opportunity for Model-Based Software Development 汽车软件:基于模型的软件开发的挑战与机遇
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_8
G. Karsai
{"title":"Automotive Software: A Challenge and Opportunity for Model-Based Software Development","authors":"G. Karsai","doi":"10.1007/11823063_8","DOIUrl":"https://doi.org/10.1007/11823063_8","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122833926","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
On the Fault Hypothesis for a Safety-Critical Real-Time System 安全关键型实时系统的故障假设研究
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_3
H. Kopetz
{"title":"On the Fault Hypothesis for a Safety-Critical Real-Time System","authors":"H. Kopetz","doi":"10.1007/11823063_3","DOIUrl":"https://doi.org/10.1007/11823063_3","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"143 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124573554","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 45
Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform 使用CASE-Tool集成平台的安全关键汽车电子控制单元软件模块的质量保证和认证
Automotive Software Workshop Pub Date : 2004-01-10 DOI: 10.1007/11823063_2
K. Müller-Glaser, C. Reichmann, M. Kühl, S. Benz
{"title":"Quality Assurance and Certification of Software Modules in Safety Critical Automotive Electronic Control Units Using a CASE-Tool Integration Platform","authors":"K. Müller-Glaser, C. Reichmann, M. Kühl, S. Benz","doi":"10.1007/11823063_2","DOIUrl":"https://doi.org/10.1007/11823063_2","url":null,"abstract":"","PeriodicalId":162924,"journal":{"name":"Automotive Software Workshop","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2004-01-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124872747","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信