In a model-driven service-oriented architecture (SOA), the services are in large parts generated from models. To facilitate monitoring, governance, and self-adaptation the information in these models can be used by se...
详细信息
In a model-driven service-oriented architecture (SOA), the services are in large parts generated from models. To facilitate monitoring, governance, and self-adaptation the information in these models can be used by services that monitor, manage, or adapt the SOA at runtime. If a service for monitoring, management, or adaptation in an SOA is dependent on models, and the metamodel changes, usually the service needs to be manually adapted to work with the new version, recompiled, and redeployed. This manual effort impedes the use of models at runtime. To address this problem, this paper introduces model-aware services that work with models at runtime. These services are supported using a service environment, called Morse. Hiding the complexity of implicit versioning of models from users while respecting the principle of Universally Unique Identifiers (UUIDs), it realizes a novel transparent UUID-based model versioning technique. It uses the model-driven approach to automatically generate and deploy Morse services that are used by the model-aware services to access models in the correct version. In this way, monitoring and adaptation in SOAs can be better supported, and the manual effort to evolve services for monitoring, management, or adaptation, which are based on models at runtime, can be minimized.
In service-oriented systems, service-level agreements (SLA) are specified as contracts between service providers and service consumers. SLAs stipulate - among other things - the provided services' performance. A s...
详细信息
Embedded control systems used in safety critical systems need to be robust to quality-faults such as shift, noise, and spikes. Methods for finding counterexamples (quality-faults whose injection leads to violation of ...
详细信息
ISBN:
(纸本)9781467347044
Embedded control systems used in safety critical systems need to be robust to quality-faults such as shift, noise, and spikes. Methods for finding counterexamples (quality-faults whose injection leads to violation of fault-tolerance requirements) at an early stage of control system design were proposed in the literature. Given these counterexamples, control design should be improved such that it is quality-fault tolerant. In this paper, we propose an effective methodology for finding critical components in embedded control systems which are sensitive to quality-faults based on the given counterexamples, which is an important step towards improving the control design. Experimental results on the fault-tolerant fuel controller of Simulink library show the efficacy of proposed methodology.
Service discovery is critical for mapping logical resource name to physical resources in large-scale distributed systems. The traditional Domain Name System (DNS) deployed on the Internet, however, suffers from slow-d...
详细信息
The embedded systems market and especially the software part of it is growing drastically in automotive industry. Today we see that the value of software or functionality that is realized using software within cars is...
详细信息
ISBN:
(纸本)9781450305709
The embedded systems market and especially the software part of it is growing drastically in automotive industry. Today we see that the value of software or functionality that is realized using software within cars is about 35% of the value of the car itself. We have typically more than 70 embedded control units (ECUs) in a car with functionality realized and controlled by software. The standardization of communication interfaces and operating system functionality as for example realized by AUTOSAR facilitates the distributed development of software. But the needs to produce software in time and in budget remain still a main task in automotive software industry. To cope with tight project plans, process models based on product line technology promise a good chance to be successful. Nevertheless, the need to control the product development remains still one of the most important questions in this area. The work presented here gives some new insights into the definition and application of measures with special emphasis on the variability aspects used within a product line development. Several known techniques as for example atomic sets or formal variability analysis are revisited and used within the context of variability metrics. The measures are categorized and can be used within a project to control and manage the defined variability. Copyright 2011 ACM.
While providing correct functionality has been the thrust of most software design efforts, embedded software poses several additional challenges. Among them is designing robust software which can tolerate inaccurate i...
详细信息
ISBN:
(纸本)9781450305594
While providing correct functionality has been the thrust of most software design efforts, embedded software poses several additional challenges. Among them is designing robust software which can tolerate inaccurate inputs (coming from degraded sensors), failure of software components, and wearing-out of electro-mechanical parts it controls. For this, a design space exploration is performed and several design options are evaluated for their ability to tolerate quality (or accuracy degradation) faults. While a model-based approach enables an early analysis of quality faults, modeling and analyzing the effects of quality faults is a challenge. In this work we propose a quality fault-tolerance analysis framework which is used on operation-level models of embedded software, and an abstraction of quality-faults suitable for this analysis. The proposed method consists of characterizing individual components of the model, and then using the pre-characterized behaviors to quickly evaluate the software design. Characterization is a one-time effort and results of the same can be reused when a new design is evaluated. This results in additional speedup of upto 6-10× faster evaluation of designs, thereby facilitating a quick early evaluation of design options.
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we defined a domainspecific language (DSL) fo...
详细信息
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic envir...
详细信息
Soaring costs and an aging society originate the need for novel technologies in health care sector. Especially telemedicine and AAL systems are often promoted as such. Enabling patients to stay in their domestic environment while reducing costs due to hospital visits seems to be an evaluable opportunity on the one hand but introduces a lot of challenges, like interoperability and security, on the other. Interoperability is the main challenge to put emphasis on, when thinking of networks of medical devices recording patients vital data while acting in a plug-and-play manner. Thus, standards are needed that enable manufacturers to build interoperable medical devices and provide solutions for cost effective and easy to use telemedicine systems. Therefore this paper analyzes the ISO/IEEE11073 PHD standard towards its applicability in such environments, where the focus lies on self-organization and plug-and-play functionality. Furthermore we want to present research done on telemedicine/AAL systems during the SmartSenior project as well as introduce our own ISO/IEEE11073 implementation, which served as a basis for our analysis.
Service discovery is critical for mapping logical resource name to physical resources in large-scale distributed systems. The traditional Domain Name System (DNS) deployed on the Internet, however, suffers from slow-d...
详细信息
Service discovery is critical for mapping logical resource name to physical resources in large-scale distributed systems. The traditional Domain Name System (DNS) deployed on the Internet, however, suffers from slow-down, vulnerability for denial of service attacks, and does not support fast updates. To address these problems, a novel decentralized service discovery approach based on peer-to-peer approach, but DNS and distributed hash tables not quite perfect together. We explore one such transitional scheme integrating legacy DNS into peer-to-peer service network. Our system introduces DNS elements with slight modifications, at the same time inheriting P2P’s fault-tolerance and load balance prosperities. The experimental evaluation shows that proposed scheme achieves higher data availability and provides efficient query with lower latency.
This work presents a static-analysis based method for analyzing the robustness of a given embedded control system design, in the presence of quality-faults in sensors, software components, and inter-connections. The m...
详细信息
This work presents a static-analysis based method for analyzing the robustness of a given embedded control system design, in the presence of quality-faults in sensors, software components, and inter-connections. The method characterizes the individual components of the system by storing the relations between the precision of inputs and the precision of outputs in what we call, lookup tables (LUTs). A network of LUTs thus formed which represent the given control system is converted into a satisfiability modulo theory (SMT) instance, such that a satisfying assignment corresponds to a potential counterexample (the set of quality-faults which violate the given fault-tolerance requirements) or hot-spot in the design. Hot-spots obtained in this manner are counter-verified through simulation to filter the false-positives. Experimental results on the fault-tolerant fuel controller from Simulink automotive library demonstrate the efficacy of the proposed approach.
暂无评论