Pub Date : 2013-06-19DOI: 10.1109/ISORC.2013.6913222
Christian Motika, R. V. Hanxleden, Mirko Heinold
A key issue in the development of reliable embedded software is the proper handling of reactive control-flow, which typically involves concurrency. Java and its thread concept have only limited provisions for implementing deterministic concurrency. Thus, as has been observed in the past, it is challenging to develop concurrent Java programs without any deadlocks or race conditions. To alleviate this situation, the Synchronous Java (SJ) approach presented here adopts the key concepts that have been established in the world of synchronous programming for handling reactive control-flow. Thus SJ not only provides deterministic concurrency, but also different variants of deterministic preemption. Furthermore SJ allows concurrent threads to communicate with Esterel-style signals. As a case study for an embedded system usage, we also report on how the SJ concepts have been ported to the ARM-based Lego Mindstorms NXT system.
{"title":"Programming deterministic reactive systems with Synchronous Java","authors":"Christian Motika, R. V. Hanxleden, Mirko Heinold","doi":"10.1109/ISORC.2013.6913222","DOIUrl":"https://doi.org/10.1109/ISORC.2013.6913222","url":null,"abstract":"A key issue in the development of reliable embedded software is the proper handling of reactive control-flow, which typically involves concurrency. Java and its thread concept have only limited provisions for implementing deterministic concurrency. Thus, as has been observed in the past, it is challenging to develop concurrent Java programs without any deadlocks or race conditions. To alleviate this situation, the Synchronous Java (SJ) approach presented here adopts the key concepts that have been established in the world of synchronous programming for handling reactive control-flow. Thus SJ not only provides deterministic concurrency, but also different variants of deterministic preemption. Furthermore SJ allows concurrent threads to communicate with Esterel-style signals. As a case study for an embedded system usage, we also report on how the SJ concepts have been ported to the ARM-based Lego Mindstorms NXT system.","PeriodicalId":330873,"journal":{"name":"16th IEEE International Symposium on Object/component/service-oriented Real-time distributed Computing (ISORC 2013)","volume":"8 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":"129267717","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}
Pub Date : 2013-06-19DOI: 10.1109/ISORC.2013.6913198
Stefan Neumann, H. Giese
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.
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：