16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)最新文献

筛选

英文中文

Programming deterministic reactive systems with Synchronous Java 用同步Java编程确定性响应式系统

16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013) Pub Date : 2013-06-19 DOI: 10.1109/ISORC.2013.6913222

Christian Motika, R. V. Hanxleden, Mirko Heinold

引用次数: 2

Scalable real-time compatibility for embedded components using language-progressive TIOA 使用语言渐进式TIOA的嵌入式组件的可扩展实时兼容性

16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013) Pub Date : 2013-06-19 DOI: 10.1109/ISORC.2013.6913198

Stefan Neumann, H. Giese

{"title":"Scalable real-time compatibility for embedded components using language-progressive TIOA","authors":"Stefan Neumann, H. Giese","doi":"10.1109/ISORC.2013.6913198","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913198","url":null,"abstract":"The proper composition of independently developed components of an embedded real-time system is complicated due to the fact that besides the functional behavior also the non-functional properties and in particular the timing have to be compatible. A number of formal approaches have been developed, which try to guide the upfront decomposition of the embedded real-time system into components such that integration problems related to timing can be excluded. However, the proposed solutions come with severe limitations or require an analysis that does not scale such that these approaches are hardly applicable in practice. In this paper, we present an approach that ensures real-time compatibility by modeling the component behavior with timed automata and by only locally checking that the component is compatible concerning timing. The effort to establish the required guarantees for the integration scales as only local checks are employed. An AUTOSAR application example from the automotive domain is employed to demonstrate the applicability and scalability of the approach.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-06-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133240439","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}

引用次数: 0

首页上一页