The quality of service (QoS) of enterprise distributedreal-time and embedded (DRE) systems can degrade under certain operating conditions and system architectures. This paper provides two contributions to research on...
详细信息
The quality of service (QoS) of enterprise distributedreal-time and embedded (DRE) systems can degrade under certain operating conditions and system architectures. This paper provides two contributions to research on model-driven development (MDD) tools and methods that help identify and rectify these QoS problems in component-based enterprise DRE systems. First, we show how MDD tools can be used to simplify and automate the evaluation of component-based DRE systems to identify QoS problems. Second, we show how MDD tools can be used to specify alternative QoS polices for component-based DRE systems and synthesize metadata automatically to simplify system (re)configurations that rectify QoS problems. We illustrate our MDD tools on a case study of multi-layer resource management services for shipboard computing systems that automate many aspects of power, navigation, command and control, and tactical operations
The following topics are dealt with: object-orientedreal-timedistributedcomputing; industrial advances; software design; resource management; system design; scheduling; autonomic computing; fault tolerance; Web ser...
The following topics are dealt with: object-orientedreal-timedistributedcomputing; industrial advances; software design; resource management; system design; scheduling; autonomic computing; fault tolerance; Web services; data management; middleware; real-time Java; component-based development.
The stringent performance requirements of distributedreal-time embedded systems often require highly optimized implementations of middleware services. Performing such optimizations manually can be tedious and error-p...
详细信息
ISBN:
(纸本)0769523560
The stringent performance requirements of distributedreal-time embedded systems often require highly optimized implementations of middleware services. Performing such optimizations manually can be tedious and error-prone. This paper proposes a model-driven approach to generate customized implementations of event ordering services in the context of component based systems. Our approach is accompanied by a number of tools to automate the customization. Given an application App, an event ordering service Order and a middleware platform P, we provide tools to analyze high-level specifications of App to extract information relevant to event ordering and to use the extracted application information to obtain a customized service, Order(App), with respect to the application usage.
This paper proposes a framework based on Web service to organize the corporation nodes on supply chain. We have defined a strategy for aggregating the agents, including the normal agent and the mobile agent, into the ...
详细信息
ISBN:
(纸本)0769523560
This paper proposes a framework based on Web service to organize the corporation nodes on supply chain. We have defined a strategy for aggregating the agents, including the normal agent and the mobile agent, into the Web service architecture and the functionalities for them to control the business conducts. We also devise a UDDI ranking frame based on analysis of supply chain activities. In this frame, Web service-oriented technologies and protocols are deployed for modeling, managing and executing business-oriented functionalities. We focus on the efficient integration of supply chain as key points to harmonize these technologies. Agent- orientation concepts and technologies are applied to SCM construction and interaction patterns.
The component/container paradigm helps to reduce the complexity and enhance the scalability of software development for plain desktop or enterprise systems. However the frameworks enabling this approach are often not ...
详细信息
ISBN:
(纸本)0769523560
The component/container paradigm helps to reduce the complexity and enhance the scalability of software development for plain desktop or enterprise systems. However the frameworks enabling this approach are often not suitable for systems with limited processing power and memory sizes, and are not dedicated to real-time requirements. As part of the European IST project COMPARE, we study a possible projection from a high-level component model (CORBA component Model) towards a low-level RT/E platform (OSEK). Preliminary results from this study are accounted in this paper In the first part, the main features of CCM and OSEK are examined. Then we propose execution and communication models using an API for OSEK that is as similar as possible to that in the CCM framework.
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded systems. While the modification and exte...
详细信息
ISBN:
(纸本)0769523560
EarlGray is a component-based Java virtual machine (JVM) that can be configured to satisfy various kinds of requirements for building future information appliances and embedded systems. While the modification and extension on an existing JVM tend to be done in an ad-hoe manner, EarlGray allows developers to customize the JVM in a systematic manner by decomposing it into components and the explicit descriptions of the relationship between the components. We also examine three case studies on the customization of the EarlGray: exchanging a scheduler, memory management, and class file verifier components. These case studies shows the benefits and drawbacks of the current component-based technologies.
Dynamic software reconfiguration is a useful tool to adapt and maintain software systems. In most approaches, the system has to be stopped while the reconfiguration is in progress. This is not suitable for real-time s...
详细信息
ISBN:
(纸本)0769523560
Dynamic software reconfiguration is a useful tool to adapt and maintain software systems. In most approaches, the system has to be stopped while the reconfiguration is in progress. This is not suitable for real-time systems, even on small-embedded systems. Timing constraints must be met even while the system is reconfiguring. Our approach is based on the realtime middleware OSA+. Our main objective is to be able to reconfigure services during run-time, with a predictable and predefined blackout time (the time the systems does not react due to the reconfiguration). Three different approaches concerning the blocking or non-blocking state of a service are presented. These approaches can be used to realize a tradeoff between the reconfiguration time and the blackout time.
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-checking to verify system-level concurren...
详细信息
ISBN:
(纸本)0769523560
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-checking to verify system-level concurrency properties of component-based real-time embedded software based on CORBA Event service, using Avionics Mission computing software as an application example. We use the process algebra FSP to formalize specification of software components and system architecture, previously only available in the form of natural language and prone to misinter-pretation and misunderstanding, and use model-checking to verify system-level concurrency properties. We also discuss effective techniques for coping with the state-space explosion problem by exploiting application domain semantics. We have applied our analysis techniques to realistic application scenarios provided by our industry partner to demonstrate their utility and power.
Adaptation to changing environmental conditions is a major challenge for most distributed applications. The service-oriented programming paradigm leads to an increasing number of applications that are not only meant t...
详细信息
ISBN:
(纸本)0769523560
Adaptation to changing environmental conditions is a major challenge for most distributed applications. The service-oriented programming paradigm leads to an increasing number of applications that are not only meant to provide services through standard user-interfaces hosted on desktop computers, but are to be accessible from small mobile devices as well. The integration of the different programming environments on desktop (i.e.;Windows) and mobile computers (i.e.;Java Micro Editions - J2ME) puts an extra burden on the programmer of this kind of applications. In addition, unstable conditions caused by modem infrastructures for mobile applications and varying properties of computational devices have to be considered during run-time of the application. Dynamic reconfiguration provides a powerful mechanism for adaptive computing. Within this paper, we elaborate on the extension of our previously developed Adaptive .Net framework towards CORBA and Java. With the introduction of new connector types, our framework is able to provide seamless support for adaptive, heterogeneous applications based on .NET Java, and CORBA. In context of our framework, applications consist of components which interact via so-called connectors. The component/connector model allows for mediating between component frameworks (Java, NET) as well as between communication protocols (CORBA, NET Remoting, sockets, etc.). Within the paper we give an overview of our adaptation framework Adaptive .NET, that includes a monitoring infrastructure, a reconfiguration platform and tools for building adaptive applications. Using a proof-of-concept application, we experimentally evaluate our connector architecture and study interoperability of Java, CORBA, and .NET objects.
service-oriented systems are distributed systems which have the major advantage of enabling rapid composition of distributed applications, regardless of the programming languages and platforms used in developing and r...
详细信息
ISBN:
(纸本)0769523560
service-oriented systems are distributed systems which have the major advantage of enabling rapid composition of distributed applications, regardless of the programming languages and platforms used in developing and running different components of the applications. In these systems, various capabilities are provided by different organizations as services interconnected by various types of networks. The services can be integrated following a specific workflow to achieve a mission goal for users. For large-scale service-based systems involving multiple organizations, high confidence and adaptability are of prime concern in order to ensure that users can use these systems anywhere, anytime with various devices, knowing that their confidentiality and privacy are well protected and the systems will adapt to satisfy their needs in various situations. Hence, these systems must be adaptable, situation-aware and secure. In this paper, an approach to rapid development of adaptable situation-aware secure service-based (AS) systems is presented. Our approach enables users to rapidly generate, discover, compose services into processes to achieve their goals based on the situation and adapt these processes when situation changes.
暂无评论