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

{"title":"Formal Modeling for UML/MARTE Concurrency Resources","authors":"P. Peñil, H. Posadas, E. Villar","doi":"10.1109/ICECCS.2010.28","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.28","url":null,"abstract":"Nowadays, complexity of embedded systems is increasing. This increasing complexity is due to the behavioural heterogeneity and the variety in the nature of system components. Additionally, it is essential to deal with the massive concurrency of such components. Therefore, as a consequence of these critical system aspects, the modelling of current embedded systems has become a challenge for the designers. In order to address this challenge, the UML/MARTE profile has been created. The MARTE profile provides the essential capabilities to develop design methodologies able to cover most of the main design steps. However, to understand and later to model current complex embedded systems in a univocal, well-defined way, formal foundations are required. This paper introduces a formal framework able to support methodologies that tackle the design of current embedded systems using the MARTE profile. In this paper the Generic Resource Modelling (GRM) subprofile of MARTE is used. The required formal foundations are provided by the Formal System Design (ForSyDe) formalism. This paper defines an abstraction methodology able to generate the corresponding ForSyDe model from the MARTE concurrency resources.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"67 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":"121797593","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}

{"title":"AADS+: AADL Simulation Including the Behavioral Annex","authors":"Roberto Varona-Gomez, E. Villar","doi":"10.1109/ICECCS.2010.8","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.8","url":null,"abstract":"AADL has been proposed for designing and analyzing SW and HW architectures for real-time mission-critical embedded systems. However, it does not support the expression of the behavior of a system in detail, so a behavioral annex has been defined. In this paper we propose AADS+, an AADL simulation tool that supports the performance analysis of the AADL specification, enriched with behavior specifications, throughout the refinement process from the initial system architecture until the complete, detailed application and execution platform are developed. In this way, AADS+ enables the verification of the initial timing constraints during the complete design process.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"17 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":"122326304","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}

{"title":"Model Checking Round-Based Distributed Algorithms","authors":"X. An, Jun Pang","doi":"10.1109/ICECCS.2010.38","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.38","url":null,"abstract":"In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature of these algorithms, round numbers are unbounded and can increase infinitely during executions of the algorithms. This can lead to the state space explosion problem when verifying correctness of these algorithms using model checking. In this paper, we present a general idea of investigating the bounded distance of round numbers in round-based algorithms. We can manage to transform their state spaces into finite by maintaining such relations in a proper way, and thus make automatic verification of these algorithms possible. We apply this idea to several algorithms and present their verification results in the model checker Spin.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"3 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":"115809743","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}

{"title":"Effects of Component-Subscription Network Topology on Large-Scale Data Centre Performance Scaling","authors":"Ilango Sriram, D. Cliff","doi":"10.1109/ICECCS.2010.21","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.21","url":null,"abstract":"Modern large-scale date centres, such as those used for cloud computing service provision, are becoming ever-larger as the operators of those data centres seek to maximise the benefits from economies of scale. With these increases in size comes a growth in system complexity, which is usually problematic. There is an increased desire for automated \"self-star\" configuration, management, and failure-recovery of the data-centre infrastructure, but many traditional techniques scale much worse than linearly as the number of nodes to be managed increases. As the number of nodes in a median-sized data-centre looks set to increase by two or three orders of magnitude in coming decades, it seems reasonable to attempt to explore and understand the scaling properties of the data-centre middleware before such data-centres are constructed. In [1] we presented SPECI, a simulator that predicts aspects of large-scale data-centre middleware performance, concentrating on the influence of status changes such as policy updates or routine node failures. The initial version of SPECI was based on the assumption (taken from our industrial sponsor, a major data-centre provider) that within the data-centre there will be components that work together and need to know the status of other components via \"subscriptions\" to status-updates from those components. In [1] we used a first-approximation assumption that such subscriptions are distributed wholly at random across the data centre. In this present paper, we explore the effects of introducing more realistic constraints to the structure of the internal network of subscriptions. We contrast the original results from SPECI with new results from simulations exploring the effects of making the data-centre's subscription network have a regular lattice-like structure, and also semi-random network structures resulting from parameterised network generation functions that create \"small-world\" and \"scale-free\" networks. We show that for distributed middleware topologies, the structure and distribution of tasks carried out in the data centre can significantly influence the performance overhead imposed by the middleware.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"2 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":"133995150","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}

{"title":"Service-Based Development of Context-Aware Automotive Telematics Systems","authors":"M. Tran, A. Colman, Jun Han","doi":"10.1109/ICECCS.2010.52","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.52","url":null,"abstract":"Automotive software has increasingly become context-aware and adaptive to deal with dynamically changing environments. This paper presents our novel service-based approach to support the structural and behavioral adaptation of automotive telematics. We adopt services to (1) provide physical context facts and (2) facilitate context-aware interactions between entities of automotive telematics systems. In this paper, we introduce a layered architecture of our approach and demonstrate how the approach is applied to develop context-aware automotive telematics systems that support V2X interactions. The empirical evaluations show that our service-based approach is scalable to supporting run-time adaptation of automotive telematics.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"39 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":"132084082","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}

{"title":"Modeling and Implementing Ontology-Based Publish/Subscribe Using Semantic Web Technologies","authors":"Kristian Ellebaek Kjaer, K. M. Hansen","doi":"10.1109/ICECCS.2010.39","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.39","url":null,"abstract":"Publish/subscribe is a communication paradigm for distributed interaction. The paradigm provides decoupling in time, space, and synchronization for interacting entities and several variants of publish/subscribe exists including topic-based, subject-based, and type-based publish/subscribe. A central issue in implementing publish/subscribe-based systems is for entities to agree on a common vocabulary. To support this, we present a conceptualization and a design of a publish/subscribe system that combine and generalize many of these paradigms by using Semantic Web technology. In doing so, we extend previous work on ontology-based publish/subscribe by describing the semantics of publish/subscribe using operations on ontologies and by using common Semantic Web technology. Furthermore, we present an implementation in the context of a middleware we are designing and show that this implementation has adequate performance.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"6 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":"117084125","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}

{"title":"Trust-Based Adaptation in Complex Service-Oriented Systems","authors":"Florian Skopik, D. Schall, S. Dustdar","doi":"10.1109/ICECCS.2010.64","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.64","url":null,"abstract":"Complex networks consisting of humans and software services, such as Web-based social and collaborative environments, typically require flexible and context-based interaction models. Due to the dynamics in such systems, networks are in a state of constant flux and change. Several fundamental concepts, including discovery, interactions, task delegations and executions are no longer based on static policies, but need periodic readjustments. Sophisticated adaptation techniques for improving collaborations are within the key research areas in service-oriented systems. In this paper, we introduce an adaptation approach that accounts for emerging trust relations based on varying interaction behavior of network members. We describe a science collaboration scenario that applies adaptive information sharing techniques. In our model, trust evolves from cooperative behavior of collaboration partners. This behavioral trust provides an intuitive grounding for adaptations and optimizations of member compositions and sharing policies. As people prove their reliable and dependable behavior in jointly performed activities, they become increasingly considered as invaluable partners. We describe the foundational concepts, including support for ad-hoc and self-managed collaboration scenarios, and dynamic trust determination supported by SOA concepts. Furthermore, we present a reference architecture, and evaluate its applicability for large-scale collaboration networks.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"24 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":"127341624","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}

{"title":"Engineering Quality Requirements Using Quality Models","authors":"K. Lochmann","doi":"10.1109/ICECCS.2010.24","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.24","url":null,"abstract":"In this paper ongoing research for a PhD-thesis is presented. The objective of this thesis is to develop an approach for engineering quality requirements. Quality requirements are an important part of requirements on software and their thorough specification is a prerequisite for the successful development of high quality systems. The presented approach relies on a quality model, that defines software quality and that serves as a structured knowledge-base. The quality model is integrated with an use-case based approach for eliciting and analyzing quality requirements. This way an effective communication with stakeholders as well as the quantification of quality requirements is assured.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"53 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":"133523911","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}

{"title":"Supporting the Design of Safety Critical Systems Using AADL","authors":"T. Correa, L. Becker, J. Farines, J. Bodeveix, M. Filali, F. Vernadat","doi":"10.1109/ICECCS.2010.56","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.56","url":null,"abstract":"Designing safety critical systems is a complex task due to the need of guaranteeing that the resulting model can cope with all the functional and non-functional requirements of the system. Obtaining such guarantees is only possible with the use of model verification techniques. This paper presents an approach aimed to fulfill the needs of critical system design. The proposed approach is based on the Architecture Analysis and Design Language (AADL), which is suitable to describe the system's architecture. A sequence of model transformations facilitates the verification of the designed AADL model and so assures its correctness. It must be highlighted that this is not performed in a single step, as it is possible to verify AADL models with different abstraction levels, which allows successive refinements in a top-down approach.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"4 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":"123996831","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}

{"title":"An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems","authors":"Julien Delange, L. Pautet, J. Hugues, Dionisio de Niz","doi":"10.1109/ICECCS.2010.12","DOIUrl":"https://doi.org/10.1109/ICECCS.2010.12","url":null,"abstract":"Distributed Real-Time Embedded (DRE) systems have critical requirements that need to be verified. They are either related to functional (e. g. stability of a furnace controller) or non-functional (e. g. meeting deadlines) aspects. Model-Driven Engineering (MDE) tools have emerged to ease DRE systems design. These tools are also capable of generating code. However, these tools either focus on the functional aspects or on the runtime architecture. Hence, the development cycle is partitioned into pieces with heterogeneous modeling notations and poor coordination. In this paper, we propose a MDE-based process to create DRE systems without manual coding. We show how to integrate functional and architecture concerns in a unified process. We use industry-proven modeling languages to design functional elements of the system, and automatically integrate them using our AADL toolchain.","PeriodicalId":120255,"journal":{"name":"2010 15th IEEE International Conference on Engineering of Complex Computer Systems","volume":"315 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":"122984771","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}