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

2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software最新文献

筛选
英文 中文
Reliable operating modes for distributed embedded systems 可靠的分布式嵌入式系统运行模式
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069133
W. Haberl, Stefan Kugele, U. Baumgarten
{"title":"Reliable operating modes for distributed embedded systems","authors":"W. Haberl, Stefan Kugele, U. Baumgarten","doi":"10.1109/MOMPES.2009.5069133","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069133","url":null,"abstract":"Hard real-time embedded distributed systems pose huge demands in their implementation which must contain as few faults as possible. Over the past years, model-driven development and automatic code generation have proven to effectively reduce design faults in those systems. Still, models are mainly used for parts of the systems' functionality and most solutions do not address the generation of a whole system. In this paper we will showcase an approach for code generation for entire systems. A crucial step is the semantically correct realization of operating modes defined in the model. If they are not changed synchronously, a distributed system will show unpredictable behavior. We will demonstrate how a reliable transition between operating modes, even for a distributed system, can be achieved. Our approach is exemplified using a case study we carried out recently.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121579976","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}
引用次数: 7
Applying software product line techniques in model-based embedded systems engineering 软件产品线技术在基于模型的嵌入式系统工程中的应用
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069132
A. Polzer, S. Kowalewski, Goetz Botterweck
{"title":"Applying software product line techniques in model-based embedded systems engineering","authors":"A. Polzer, S. Kowalewski, Goetz Botterweck","doi":"10.1109/MOMPES.2009.5069132","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069132","url":null,"abstract":"This paper addresses variability in the domain of software-based control systems. When designing product lines of such systems, varying sensors and actuators have to be used and parameterized, which in turn requires adaptations in the behavior of the microcontroller. For efficient engineering these adaptations should be performed in an systematic and straightforward manner. We tackle these challenges by using a Rapid Control Prototyping (RCP) system in combination with model-based development techniques. In particular, we modularize the parametrization of components into a separate configuration, which is isolated from the model that defines the controller behavior. Hence, during adaptations the model can often remain unchanged, which significantly reduces the turnaround time during design iterations. The approach is illustrated and evaluated with a parking assistant application, which is tested on our experimental vehicle, where it performs automatic parking maneuvers.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128056281","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}
引用次数: 48
A relationship-based approach to model management 基于关系的模型管理方法
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069131
M. Chechik
{"title":"A relationship-based approach to model management","authors":"M. Chechik","doi":"10.1109/MOMPES.2009.5069131","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069131","url":null,"abstract":"There is a rapidly growing interest in model-based development as a way to increase the level of abstraction and automation in software engineering. The ultimate goal of model-based development is to improve the software process by promoting the use of models as the primary artifacts of development, and to provide computer-supported technologies to transform models into running systems.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"51 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115699513","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
Verification of an abstract component using communication patterns 使用通信模式验证抽象组件
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069136
Yunja Choi
{"title":"Verification of an abstract component using communication patterns","authors":"Yunja Choi","doi":"10.1109/MOMPES.2009.5069136","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069136","url":null,"abstract":"Model-driven development and verification approaches are highly desirable in embedded systems development since they help identify functional or non-functional issues in the early stage of development when verification complexity is relatively lower than that of the implemented system. Nevertheless, typical model-driven verification approaches focus mainly on functional aspects, leaving the communication behavior largely under-specified. This paper anticipates that understanding and specifying communication mechanism is important in modeling as well as analysis, and suggests a set of communication patterns categorized by the level of abstraction, message handling mechanisms, and buffering strategies. Design of a component may start with the specification of an abstract component with the default communication pattern, which can be recursively verified and refined. Using communication patterns helps us improve the separation of concerns and facilitating smooth transition of a component design from an abstract function-oriented component to a concrete component with detailed communication behavior.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122036918","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
A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems 在普遍的感知和响应系统中用于验证和资源分配的正式的以类型为中心的框架
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069135
M. J. Ocean, A. Kfoury, Azer Bestavros
{"title":"A formal type-centric framework for verification and resource allocation in pervasive Sense-and-Respond systems","authors":"M. J. Ocean, A. Kfoury, Azer Bestavros","doi":"10.1109/MOMPES.2009.5069135","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069135","url":null,"abstract":"A shared Sense-and-Respond infrastructure that is embedded into a physical environment requires considerable run-time support to facilitate the dynamic dispatch and execution of new service instances. Such an infrastructure must also be able to statically analyze new services in order to verify their safety and derive their specific resource requirements (i.e., prior to dispatch). Toward this goal we have developed a multi-dimensional type system for our pervasive sensory service composition language; this formalism extracts implicit constraints from service instances to verify an expanded notion of type safety. While our formal system is rigorous, it is light-weight and essentially transparent to a service programmer. The type-system automatically infers data types that are annotated with a vector of type specific attributes and uses these annotations to establish and verify a range of resource constraints (bounds for computation and memory usage, camera resolution requirements, etc.). In this paper we present an overview of our formal methodology, provide concrete examples of how these formalisms are used in practice (through service logic examples and derived constraint sets) and discuss the details of our implementation.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130746381","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
MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation 使用基于mof的内部设计表示的嵌入式系统协同合成的MDE方法
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069137
Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, F. Wagner
{"title":"MDE approach to the co-synthesis of embedded systems using a MOF-based internal design representation","authors":"Francisco Assis Moreira do Nascimento, Marcio Ferreira da Silva Oliveira, F. Wagner","doi":"10.1109/MOMPES.2009.5069137","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069137","url":null,"abstract":"This work presents a Model Driven Engineering (MDE) approach to the generation of a MOF-based internal design representation for an embedded application described using UML class and sequence diagrams. Differently from other similar MDE-based approaches for embedded system design, which translate UML models to some specific internal format, our internal design representation, as a MOF-based metamodel, can take advantage of the concept of transformation between models to implement cosynthesis tools. Our internal design representation captures the specified system as a set of hierarchical modules, interconnected by ports, and processes, which communicate through send/receive operations using channels or through shared variables. The execution flow of the application is also captured by means of a control/data flow graph, which is used as input to a co-synthesis framework for embedded systems design. The paper describes the defined transformations between models and illustrates them with a case study to show the effectiveness of the approach.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"34 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115556712","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
On practical Service-Based Computing in distributed embedded automotive systems 分布式嵌入式汽车系统中实用的基于服务的计算
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-16 DOI: 10.1109/MOMPES.2009.5069134
H. Shokry, M. Hinchey
{"title":"On practical Service-Based Computing in distributed embedded automotive systems","authors":"H. Shokry, M. Hinchey","doi":"10.1109/MOMPES.2009.5069134","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069134","url":null,"abstract":"The automotive industry is, like several other domains, a source of both challenging problems and innovative technologies of various kinds. One interesting phenomenon in this domain is the extensive interdependencies between the constituent nodes, or ECUs, of its networked embedded system. This in turn leads to extensive interactions between ECUs over the network infrastructure of an automobile.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132212998","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
ArcheOpterix: An extendable tool for architecture optimization of AADL models ArcheOpterix: AADL模型架构优化的可扩展工具
2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software Pub Date : 2009-05-01 DOI: 10.1109/MOMPES.2009.5069138
A. Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya
{"title":"ArcheOpterix: An extendable tool for architecture optimization of AADL models","authors":"A. Aleti, Stefan Björnander, Lars Grunske, Indika Meedeniya","doi":"10.1109/MOMPES.2009.5069138","DOIUrl":"https://doi.org/10.1109/MOMPES.2009.5069138","url":null,"abstract":"For embedded systems quality requirements are equally if not even more important than functional requirements. The foundation for the fulfillment of these quality requirements has to be set in the architecture design phase. However, finding a suitable architecture design is a difficult task for software and system architects. Some of the reasons for this are an ever-increasing complexity of today's systems, strict design constraints and conflicting quality requirements. To simplify the task, this paper presents an extendable Eclipse-based tool, called ArcheOpterix, which provides a framework to implement evaluation techniques and optimization heuristics for AADL specifications. Currently, evolutionary strategies have been implemented to identify optimized deployment architectures with respect to multiple quality objectives and design constraints. Experiments with a set of initial deployment architectures provide evidence that the tool can successfully find architecture specifications with better quality.","PeriodicalId":287751,"journal":{"name":"2009 ICSE Workshop on Model-Based Methodologies for Pervasive and Embedded Software","volume":"274 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124420888","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}
引用次数: 194
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学术官方微信