2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems最新文献_第2页

Applying Megamodelling to Model Driven Performance Engineering 在模型驱动性能工程中的应用

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.33

M. Fritzsche, H. Brunelière, Bert Vanhooff, Y. Berbers, F. Jouault, Wasif Gilani

{"title":"Applying Megamodelling to Model Driven Performance Engineering","authors":"M. Fritzsche, H. Brunelière, Bert Vanhooff, Y. Berbers, F. Jouault, Wasif Gilani","doi":"10.1109/ECBS.2009.33","DOIUrl":"https://doi.org/10.1109/ECBS.2009.33","url":null,"abstract":"Model Driven Engineering (MDE) has to deal with an increasing number of interrelated modelling artifacts. The Model Driven Performance Engineering (MDPE) process is one concrete illustration of such a situation. This process applies MDE within the context of performance engineering in order to support domain experts, who generally lack the necessary performance expertise. In this paper, we demonstrate the use of megamodelling to manage the numerous artifacts involved in MDPE. Megamodelling enables the explicit modelling of the metadata on MDE artifacts, including possible relationships between those artifacts. Appropriate tool support enables different stakeholders to exploit this additional information. Applying the megamodelling to MDPE pointed out the need for an extension of the existing approach. Thus, the result of the paper is twofold: first, an extension of megamodelling is proposed, second the benefits of the approach are shown on the MDPE use case. We claim that the extension is not solely useful for the latter case, but has a more generic applicability.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128372582","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}

引用次数: 21

Interpreting Model-Based Components for Information Systems 解释信息系统中基于模型的组件

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.35

Michael Thonhauser, Christian Kreiner, Martin Schmid

{"title":"Interpreting Model-Based Components for Information Systems","authors":"Michael Thonhauser, Christian Kreiner, Martin Schmid","doi":"10.1109/ECBS.2009.35","DOIUrl":"https://doi.org/10.1109/ECBS.2009.35","url":null,"abstract":"To foster the reuse of software artifacts various approaches like Component Based Software Engineering or Model-Driven Software Development have been proposed. These approaches support a developer in generating and implementing platform specific software artifacts, which can be executed on the chosen runtime architecture. To facilitate portability of these artifacts to other runtime architectures it is important to model various aspects of the artifact (i.e. user interface, behavior, data) in a platform independent way. While this abstraction helps to reduce complexity of the problem, choosing the right granularity of methods provided by this artifact is another important issue for enhancing software quality.Considering these aspects a model-based development approach is presented, which is based on the interpretation of several model views -- like state machine and class diagrams being provided by a model-based software component. Additionally the integration of components build with this approach in the design of an information system is discussed. The proposed architecture is evaluated by animplementation in the software application domain of logistics.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134175746","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

A Semantic Model for Computer-Based Spatio-temporal Systems 基于计算机的时空系统语义模型

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.19

B. Hummel

引用次数: 8

A Penny Saved is a Penny Earned: Applying Optimization Techniques to Power Management 省一分钱就是赚一分钱:将优化技术应用于电源管理

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.10

F. Javed, N. Arshad

引用次数: 14

A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts 多边冲突中协同进化并行化的分布式计算框架

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.37

Rami Al-Motlak, J. Rozenblit, F. Momen

{"title":"A Distributed Computing Framework for Parallelization of Coevolution in Multi-sided Conflicts","authors":"Rami Al-Motlak, J. Rozenblit, F. Momen","doi":"10.1109/ECBS.2009.37","DOIUrl":"https://doi.org/10.1109/ECBS.2009.37","url":null,"abstract":"A large number of military simulation systems dealing with warfare and games with coordinated missions can be described as multi-sided conflicts. These systems usually involve groups sharing various alliances and relationships, each pursuing a range of different goals. A coevolutionary approach in modeling the dynamics of such complex systems allows all sides of the conflict to evolve their strategies or courses of action. The coevolutionary approach used in Sheherazade, a multi-sided simulation environment for Stability and Support Operations (SASO), allows each side to evolve strategies in turns against other strategies captured from the other sides. In such systems, the greater the number of plans that are evaluated, the better the final alternatives are likely to be. To improve the speed and efficiency in generating strategies, a distributed computing modular framework based on the coevolutionary approach used in Sheherazade was designed and implemented to provide the following salient features: provide a more natural model of how different sides interact in a conflict, parallelize the generation of strategies by the different sides, and improve performance by utilizing network computing capabilities.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"200 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134239878","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

Distributed BMC: A Depth-First Approach to Explore Clause Symmetry 分布式BMC:探索子句对称性的深度优先方法

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.26

S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song

{"title":"Distributed BMC: A Depth-First Approach to Explore Clause Symmetry","authors":"S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song","doi":"10.1109/ECBS.2009.26","DOIUrl":"https://doi.org/10.1109/ECBS.2009.26","url":null,"abstract":"In recent years new and efficient symbolic model checking algorithms have been developed. One technique, bounded model checking or BMC, has been particularly promising. BMC models the system being verified as a boolean formula whose satisfying assignments provide counterexamples for properties verified. BMC unrolls the system in its multiple iterations. Because of this the structure of the formula representing the system is very symmetric, since all iterations are similar in structure. This work explores this symmetry in a distributed algorithm by postponing the unrolling of the formulas until they are used. This minimizes communication among processors since the formulas transmitted are shorter. Moreover, avoiding the unrolling of conflict clauses has a more pronounced effect, because due to the symmetric nature of the formula, a conflict clause for one instant in the execution can be applied to time multiple instants. As a consequence, short conflict clauses can be unrolled into much more effective clauses, cutting back on the search space significantly. In our experiments we have obtained gains of up to 35% in verification time in some examples.","PeriodicalId":263562,"journal":{"name":"2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","volume":"124 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2009-04-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134473781","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

On the Meaning of SysML Activity Diagrams 论SysML活动图的意义

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.25

Yosr Jarraya, M. Debbabi, J. Bentahar

引用次数: 21

Semi-Automated Safety Analysis for Field Programmable Gate Arrays 现场可编程门阵列的半自动安全性分析

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.27

P. Conmy, I. Bate

引用次数: 1

Extensibility and Modularity for Model Driven Engineering Environments 模型驱动工程环境的可扩展性和模块化

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.16

Thomas Leveque, J. Estublier, Germán Vega

引用次数: 8

Tuning Complex Sensornet Systems Using Principled Engineering Methods 使用原理工程方法调谐复杂传感器系统

2009 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems Pub Date : 2009-04-14 DOI: 10.1109/ECBS.2009.13

Jonathan Tate, I. Bate

引用次数: 1