Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert
{"title":"Towards Comprehensive Modelling by Inter-model Links Using an Integrating Repository","authors":"Matthias Riebisch, Stephan Bode, Qurat-ul-ann Farooq, Steffen Lehnert","doi":"10.1109/ECBS.2011.32","DOIUrl":"https://doi.org/10.1109/ECBS.2011.32","url":null,"abstract":"Model-based development techniques enable a high efficiency and the mastering of complexity. For many domains more than one model has to be used to express the relevant information. Many methods use different models without a tight coupling, with a high risk of inconsistencies. Other approaches are based on metamodel extension or unified metamodels, with a limited tool support as consequence. We present an approach for the interconnection between several models in a joint repository by means of dependency relationships. The interconnection is shown between UML models, BPMN models and feature models by examples for variable workflows in mobile systems. The presented approach is implemented by the EMF-based repository EMF Trace, with XML for model representation. Dependencies are determined either automatically by a rule set or manually by explicit references.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126588288","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 of Data Adaptable Reconfigurable Embedded Systems","authors":"V. Gopinath, J. Sprinkle, Roman L. Lysecky","doi":"10.1109/ECBS.2011.31","DOIUrl":"https://doi.org/10.1109/ECBS.2011.31","url":null,"abstract":"Many applications require high flexibility, high configurability and high processing speeds. The physical constraints of a highly flexible system's hardware implementation preclude a hardware solution that satisfies all configuration options. Similarly for pure software implementations, even if configurability is satisfied, process efficiency will be sacrificed. Thus for applications of any significant size, there can be no single hardware or software configuration that can efficiently support all the configurability options of the applications. The Data-Adaptable Reconfigurable Embedded System (DARES) approach tackles this problem through combination of the hardware-software co-design and reconfigurable computing methodologies. Data-adaptability means that as data streams change, the system is reconfigured along the baselines defined within the system's specifications. In this project we use the concepts of Model-Integrated Computing to implement a domain-specific modeling language for the DARES approach. The language captures all the configurability options of the application task(s), performs design-space exploration, and provides a template for source code generation.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123119294","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}
F. Mutter, Stefanie Gareis, B. Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss
{"title":"Model-Driven In-the-Loop Validation: Simulation-Based Testing of UAV Software Using Virtual Environments","authors":"F. Mutter, Stefanie Gareis, B. Schätz, Andreas Bayha, Franziska Grüneis, Michael Kanis, Dagmar Koss","doi":"10.1109/ECBS.2011.30","DOIUrl":"https://doi.org/10.1109/ECBS.2011.30","url":null,"abstract":"With the availability of the off-the-shelf quadrocopter platforms, the implementation of autonomous unmanned aerial vehicle (UAV) has substantially been simplified. Such UAVs can explore unaccessible terrain and provide information about the local situation in a specified target area. For the early development of an autonomous aerial vehicle, virtual integration of the system makes it possible to test a software implementation without endangering the hardware or the environment. Key elements of such a virtual test environment for UAV software are the modeling and simulation of the environment and the hardware platform, as well as the integration of the software in the simulation.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134300334","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}
Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, P. Aniorté
{"title":"UML/OCL and Refinement","authors":"Mohamed Tahar Bhiri, Mourad Kmimech, Mohamed Graiet, P. Aniorté","doi":"10.1109/ECBS.2011.42","DOIUrl":"https://doi.org/10.1109/ECBS.2011.42","url":null,"abstract":"Formal methods such as B and Event-B support the achievement of correct systems design using the refinement technique. These methods allow for the description of data and actions at different levels of abstraction. The OCL provides some precision to UML models. The means offered by OCL Collection, Set, OrderedSet, Bag and Sequence are insufficient to support an incremental process of class diagrams development based on technical refinement. Indeed, the description of an initial model often requires very abstract mathematical concepts such as relation and function. These concepts are difficult to express in OCL using TupleType and def. This discourages the designer from expressing abstract constraints. Moreover, the absence of these concepts does not favor the move from semi-formal to formal: UML/OCL to Event-B. To overcome these flaws, we propose an OCL mathematical extension by increasing its class library.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133753647","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":"Measuring and Reducing Modeling Effort in Domain-Specific Modeling Languages with Examples","authors":"James H. Hill","doi":"10.1109/ECBS.2011.22","DOIUrl":"https://doi.org/10.1109/ECBS.2011.22","url":null,"abstract":"Domain-specific modeling languages (DSMLs) facilitate rapid and ``correct-by-construction'' realization of concepts for the target domain. Although DSMLs provide such benefits, there is implied (or hidden) modeling effort---in terms of user actions---associated with using a DSML that can negatively impact its effectiveness. It is therefore critical that DSML developers understand the meaning of modeling effort and how to reduce it so their DSML is of high quality. This paper provides two contributions to research on developing DSMLs. First, the paper defines a metric for measuring model effort. Secondly, this paper discusses several techniques, with examples, reducing (or improving) modeling effort. The techniques discussed in the paper have been applied to an open-source DSML called the Platform Independent Component Modeling Language (PICML), which is currently used in both academic and industry settings for designing and implementing large-scale distributed systems. Finally, results show that it is possible to reduce modeling effort without requiring user studies to analyze such concerns.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128659451","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":"Identifying Potential Core Assets in Service-Based Systems to Support the Transition to Service-Oriented Product Lines","authors":"M. Galster, A. Eberlein","doi":"10.1109/ECBS.2011.19","DOIUrl":"https://doi.org/10.1109/ECBS.2011.19","url":null,"abstract":"Variability in service-oriented architectures (SOA) is usually addressed through loose coupling of services and dynamic retrieval, composition and binding of services. Facilitating variability can lead to different instances of one SOA. These instances share commonalities, but vary in certain aspects (e.g., in functionality or quality attributes). Current service-based development approaches do not adequately address variability and the management of different SOA instances. To handle different instances and to support systematic variability management, different instances of a service-based system may be treated as members of a product line. Therefore, we present a light-weight method to decide on what services to add to service-based systems to facilitate the transition from individual systems to a service-oriented product line. When adding services to service-based systems, the structural stability of these system decreases. We argue that a decrease in structural stability must be justified by additional value provided by the enhanced service-based systems. Based on the enhanced systems, our method then identifies potential core asset services for a service-oriented product line, taking into account common services within the different systems. Here, core asset services are reusable services that occur in any instance of the SOA. Thus, our method helps with the transition from individual products to a product line. A case study is included to illustrate our method.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126355235","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":"Towards Change Propagating Test Models in Autonomic and Adaptive Systems","authors":"Mohammed Akour, A. Jaidev, Tariq M. King","doi":"10.1109/ECBS.2011.23","DOIUrl":"https://doi.org/10.1109/ECBS.2011.23","url":null,"abstract":"Autonomic and adaptive computing systems can add, remove, and replace their own components in response to a changing environment. Self-adaptation facilitates the performance of automated maintenance and configuration tasks, but makes it possible for faults to be introduced into the software at runtime. To address this issue, researchers have developed approaches for integrating runtime testing into autonomic and adaptive software systems. An important aspect of runtime testing approaches for autonomic software is the provision of a framework for regression testing, which determines whether modifications have introduced faults into previously tested components. However, after adaptation occurs in autonomic software, a predefined test set may no longer be applicable due to changes in the program structure. Investigating techniques for dynamically updating regression tests after adaptation is therefore necessary to ensure such approaches can be applied in practice. In this paper we describe a model-driven approach that maps structural adaptations in autonomic software, to updates for its runtime test model. We provide a workflow and meta-model to support the approach, referred to as Test Information Propagation (TIP). To demonstrate TIP, we have developed a prototype that simulates a reductive change to an autonomic, service-oriented healthcare application. Conducting the simulation has provided us with much insight into this highly challenging research problem.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121147248","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":"Analysis of Applicability for Synchronization Complexity Metric","authors":"Peter Yastrebenetsky, M. Trakhtenbrot","doi":"10.1109/ECBS.2011.7","DOIUrl":"https://doi.org/10.1109/ECBS.2011.7","url":null,"abstract":"The paper analyzes the practical applicability of the novel Synchronization Complexity metric (SCM) introduced by the authors in [14]. This metric characterizes complexity of a program based on the kind and amount of means used for synchronization between its concurrent components. The metric is evaluated with respect to the soundness properties introduced by Weyuker [13] and software measurement scales considered by Zuse [15]. The growth of SCM for real-world applications is also analyzed. The analysis shows that SCM is a useful practical instrument for evaluation of complex software systems. In particular, SCM allows for assessment of the amount of tests needed to achieve a proper coverage in testing of a concurrent program. It also enables comparison between different implementations of a system based on their synchronization complexity.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127021535","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":"MoPED: A Model-Based Provisioning Engine for Dependability in Component-Based Distributed Real-Time Embedded Systems","authors":"Sumant Tambe, Akshay Dabholkar, A. Gokhale","doi":"10.1109/ECBS.2011.35","DOIUrl":"https://doi.org/10.1109/ECBS.2011.35","url":null,"abstract":"Developing dependable distributed real-time and embedded (DRE) systems incurs significant complexities in the radeoffs resulting from the different conflicting attributes of dependability, such as predictability, availability, and security. In component-based systems, these challenges are exacerbated since the tradeoffs must faithfully be reflected within the complex metadata descriptors used to compose, deploy and configure the system. The benefits of design-time approaches to address these problems are well-understood. Existing model-driven design time tools for developing dependable systems, however, focus largely on only one dependability attribute at a time and lack of extensibility results in rigid and hard to maintain tool support. This paper describes MoPED (Model-based Provisioning Engine for Dependability), which is a model-driven framework that unifies reasoning about predictability, availability, and security requirements for developing dependable component-based DRE systems. We evaluate the capabilities of MoPED using a representative case study and show how it alleviates complexities in the design of dependable systems and reduces manual efforts in the deployment phase by an order of magnitude.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"405 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124318189","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":"On the Mitigation of MultiCore-Induced Behavioral Deviations of an Autonomous Ground Vehicle","authors":"J. Sprinkle, B. Eames","doi":"10.1109/ECBS.2011.29","DOIUrl":"https://doi.org/10.1109/ECBS.2011.29","url":null,"abstract":"Complex systems such as autonomous vehicles frequently utilize a distributed network of computers for sensing, control, and supervisory tasks. A common way to abstract the deployment of the computational nodes that implement the system's behavior is through the utilization of middleware, which treats each atomic processing element as a component. Multiple components may execute on a single node, and nodes are typically heterogeneous in their processing power. For component implementations that use an event-driven model of computation, however, significant behavioral deviations may occur when a single-core computational node is replaced with a multicore node, especially if that computational node is running more than one component. This paper discusses the observed behavioral deviations through a series of simulations with identical initial conditions, performed on various single core and multicore processing platforms. In addition to the empirical demonstration, the paper provides a technique to mitigate the behavioral deviations by inserting a time-triggered buffer between a key set of components, enforcing a loosely time-triggered execution even though the system is still defined through event-triggered components. This preserves existing legacy code, but provides a time-triggered execution.","PeriodicalId":151932,"journal":{"name":"2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128719588","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}