2010 15th IEEE International Conference on Engineering of Complex Computer Systems最新文献

Engineering Dynamic Adaptation for Achieving Cost-Efficient Resilience in Software-Intensive Embedded Systems 在软件密集型嵌入式系统中实现成本效益弹性的工程动态适应

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.22

R. Adler, D. Schneider, M. Trapp

引用次数: 10

Towards Self-Healing Swarm Robotic Systems Inspired by Granuloma Formation 受肉芽肿形成启发的自愈群机器人系统

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.63

A. R. Ismail, J. Timmis

引用次数: 15

Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement 使用表达性跟踪关系确保一致的过程模型细化

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.66

Hannes Schwarz, J. Ebert, J. Lemcke, Tirdad Rahmani, S. Zivkovic

引用次数: 10

Configuration Procedure Synthesis for Complex Systems Using Model Finder 使用模型查找器的复杂系统配置程序综合

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.17

S. Kikuchi, S. Tsuchiya

{"title":"Configuration Procedure Synthesis for Complex Systems Using Model Finder","authors":"S. Kikuchi, S. Tsuchiya","doi":"10.1109/ICECCS.2010.17","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.17","url":null,"abstract":"Managing the configurations of complex systems consisting of various components requires combined efforts by multiple domain experts. These experts have extensive knowledge about different components in the system they need to manage, but little understanding of the issues outside their individual areas of expertise. As a result, the configuration constraints, changes, and procedures specified by those involved in the management of a complex system are often interrelated with one another without being noticed, and their integration into a coherent procedure for configuration represents a major challenge. The method of synthesizing the configuration procedure introduced in this paper addresses this challenge using a combination of formal specification and model finding techniques. We express the knowledge on system management with this method, which is provided by domain experts as first-order logic formulas in the Alloy specification language, and combine it with system-configuration information and the resulting specification. We then employ the Alloy Analyzer tool to find a system model that satisfies all the formulas in this specification. The model obtained corresponds to a procedure for system configurations that satisfies all expert-specified constraints. Finally, we evaluate our method through a case study on a procedure to consolidate virtual machines.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133167929","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}

引用次数: 10

Patterns for Modelling Time and Consistency in Business Information Systems 商业信息系统中时间和一致性建模模式

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.43

J. Bryans, J. Fitzgerald, A. Romanovsky, A. Roth

引用次数: 16

Performance Antipatterns as Logical Predicates 作为逻辑谓词的性能反模式

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.44

V. Cortellessa, A. Marco, Catia Trubiani

引用次数: 33

Knowledge Models to Reduce the Gap between Heterogeneous Models: Application to Aircraft Systems Engineering 减少异构模型之间差距的知识模型:在飞机系统工程中的应用

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.35

David Simon Zayas, A. Monceaux, Y. A. Ameur

引用次数: 10

Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components 使用组合性对由大量组件组成的系统进行形式化建模和分析

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.65

Silvia Bindelli, E. D. Nitto, Carlo A. Furia, M. Rossi

引用次数: 4

An Approach to Verifying Security and Timing Properties in UML Models 验证UML模型中安全性和时序属性的方法

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.10

Vidhi Thapa, Eunjee Song, Hanil Kim

{"title":"An Approach to Verifying Security and Timing Properties in UML Models","authors":"Vidhi Thapa, Eunjee Song, Hanil Kim","doi":"10.1109/ICECCS.2010.10","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.10","url":null,"abstract":"In this paper, we present an approach to verify whether a UML design model satisfies its domain-specific security and time-related requirements in an integrated tool environment. This approach is based on a UML metamodel extension mechanism given as profiles. As a model verification tool, we chose the USE (UML-based Specification Environment) since additional functional and non-functional constraints in a UML model should be formally specified using the OCL (Object Constraint Language). In order to address both security and timing properties together in a model, we combine two profiles, UMLsec for security and MARTE (UML profile for Modeling and Analysis of Real-Time and Embedded systems) for time, into the UML metamodel. Then, this combined metamodel is converted to a form of USE specification so that it can be used for verifying models using USE. In this approach, however, this combined metamodel is considered as a large class model in USE because USE does not support profiles. Therefore, models to be verified are created as object models that are instances of the given class model, i.e. the extended metamodel in our case. Our approach is illustrated with a distributed, interoperable wireless communications-based railroad control system called the Positive Train Control (PTC) System.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131781818","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}

引用次数: 13

Testing Safety Critical Systems with SysML/UML 用SysML/UML测试安全关键系统

2010 15th IEEE International Conference on Engineering of Complex Computer Systems Pub Date : 2010-03-22 DOI: 10.1109/ICECCS.2010.59

M. Hause, A. Stuart, D. Richards, J. Holt

引用次数: 11