EDCC-CARS最新文献

筛选
英文 中文
VESBA: a middleware oriented architecture for virtualized embedded systems VESBA:面向中间件的虚拟化嵌入式系统体系结构
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772657
A. Schiefer, V. Gruhn, Ruslan Hrushchak
{"title":"VESBA: a middleware oriented architecture for virtualized embedded systems","authors":"A. Schiefer, V. Gruhn, Ruslan Hrushchak","doi":"10.1145/1772643.1772657","DOIUrl":"https://doi.org/10.1145/1772643.1772657","url":null,"abstract":"Designing robust and safe systems is hard. Extending and maintaining such a system is even harder. The increasing demand to integrate consumer electronics and custom applications based on a broad range of platforms into vehicles is intensifying this problem. In the following paper we present an architecture which allows designing a safe and robust system core that can share its resources in a safe way with other applications. The main focus is to make the car processing and information resources available to 3rd party applications without compromising the safety and robustness of any critical system in the vehicle. Recent advances in virtualization technology allow us to propose a virtualized embedded system architecture incorporating middleware and distributed finite state machine technology. The 4-layer architecture allows for the emulation of an almost arbitrary consumer electronics platform on standard car hardware architectures which encapsulates all safety critical system resources. The middleware handles the event routing and transformation and provides services like encryption, routing and transformation. We also show how distributed finite state machines can handle the resource access policies in and between the several virtualization layers in a flexible yet safe way.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123428279","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
Experimentation of WCET computation on both ends of automotive processor range 在汽车处理器范围两端的WCET计算实验
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772663
H. Cassé, P. Sainrat, C. Ballabriga, M. D. Michiel
{"title":"Experimentation of WCET computation on both ends of automotive processor range","authors":"H. Cassé, P. Sainrat, C. Ballabriga, M. D. Michiel","doi":"10.1145/1772643.1772663","DOIUrl":"https://doi.org/10.1145/1772643.1772663","url":null,"abstract":"This article presents the results of experimenting our OTAWA tool to compute WCETs on a real automotive embedded application. First, we analyze the application (C source generated from Simulink models) and exhibit specific properties and their implication on the WCET computation. Then, two very different embedded processor architectures are tested and in both cases we show (1) how their specific features are supported by OTAWA and (2) how to configure them to maximize both performances and determinism.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127396965","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
Use of formal methods for building qualified code generator for safer automotive systems 使用形式化方法为更安全的汽车系统建立合格的代码生成器
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772659
N. Izerrouken, O. S. Kai, M. Pantel, X. Thirioux
{"title":"Use of formal methods for building qualified code generator for safer automotive systems","authors":"N. Izerrouken, O. S. Kai, M. Pantel, X. Thirioux","doi":"10.1145/1772643.1772659","DOIUrl":"https://doi.org/10.1145/1772643.1772659","url":null,"abstract":"In this position paper, we address issues of the development of correct-by-construction components for GeneAuto a qualifiable (according to DO178B-ISO26262 recommendations) automatic code generator. It transforms Simulink, Stateflow and Scicos models to MISRA C code for safety critical systems. This approach which combines classical development process and formal specification and verification using proof-assistants, led to preliminary fruitful exchanges with certification authorities. We have derived formal specifications from classical user and tools requirements, formally implemented and verified the correctness of some components of the code generator. The block sequencer case study has been successfully applied to real-size industrial use cases from various transportation domain partners and led to requirement errors detection and a correct-by-construction implementation with reduction of test effort.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"186 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116144691","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}
引用次数: 11
A road-map for enabling system analysis of AUTOSAR-based systems 实现基于autosar的系统分析的路线图
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772650
Rolf Johansson, Stefan Bunzel, M. Graniou, Henrik Lönn, H. Sivencrona, F. Stappert
{"title":"A road-map for enabling system analysis of AUTOSAR-based systems","authors":"Rolf Johansson, Stefan Bunzel, M. Graniou, Henrik Lönn, H. Sivencrona, F. Stappert","doi":"10.1145/1772643.1772650","DOIUrl":"https://doi.org/10.1145/1772643.1772650","url":null,"abstract":"This position paper outlines how a common way to express non-functional constraints in AUTOSAR and EAST-ADL2 enables full system analysis of AUTOSAR-based systems. To support the non-functional constraints like timing constraints, safety constraints, cost constraints, weight constraints etc, it is furthermore outlined how dedicated models (event/timing model, fault/failure model, cost model etc) should be developed for the different AUTOSAR and EAST-ADL2 architectures respectively of E/E automotive systems.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132626704","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
Towards verification-based development of in-vehicle safety critical software: a case study 面向验证的车载安全关键软件开发:一个案例研究
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772654
M. V. D. Heuvel, R. J. Bril, P. Velde, J. Lukkien
{"title":"Towards verification-based development of in-vehicle safety critical software: a case study","authors":"M. V. D. Heuvel, R. J. Bril, P. Velde, J. Lukkien","doi":"10.1145/1772643.1772654","DOIUrl":"https://doi.org/10.1145/1772643.1772654","url":null,"abstract":"The ever increasing software complexity in the safety critical automotive domain induces new challenges in ensuring a fault-free system design. In this paper we propose a novel approach using Analytical Software Design (ASD). The ASD toolsuite provides means to develop software that is robust by construction. We show the integration of the ASD approach in the commonly used development workflow using Matlab/Simulink by means of a case study.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131504241","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
Application of ISO DIS 26262 in practice ISO DIS 26262在实践中的应用
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772645
M. Born, J. Favaro, O. Kath
{"title":"Application of ISO DIS 26262 in practice","authors":"M. Born, J. Favaro, O. Kath","doi":"10.1145/1772643.1772645","DOIUrl":"https://doi.org/10.1145/1772643.1772645","url":null,"abstract":"Automotive manufacturers and suppliers need to follow the requirements stated in ISO DIS 26262 since it is now published state-of-the-art. In this paper we report on experience gained with the application of ISO 26262 in a pilot project at a German car manufacturer as well as experience from various consultancy projects, and recommend a transition from a document-centric approach to safety analysis and associated documentation to a model-based approach.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131853933","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}
引用次数: 38
Unambiguous semantics in automotive timing modeling 汽车正时建模中的明确语义
EDCC-CARS Pub Date : 2010-04-27 DOI: 10.1145/1772643.1772655
J. Nordlander, Rolf Johansson, R. Pathan
{"title":"Unambiguous semantics in automotive timing modeling","authors":"J. Nordlander, Rolf Johansson, R. Pathan","doi":"10.1145/1772643.1772655","DOIUrl":"https://doi.org/10.1145/1772643.1772655","url":null,"abstract":"This paper shows how the ITEA2 research project TIMMO has chosen to model timing constraints for delays and for synchronization in an unambiguous way. The shown timing model is valid even in systems where jitter and over- and under-sampling appears. These timing constraints can be used to model timing by augmenting both the AUTOSAR and EAST-ADL2 languages. The unambiguous semantics enables the use of timing models for building safety cases and for precise communication between different parties involved in safety-critical automotive applications.","PeriodicalId":221742,"journal":{"name":"EDCC-CARS","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123365756","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
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学术文献互助群
群 号:481959085
Book学术官方微信