We present in this paper GRENAD, a Multi-Agent System based framework for the simulation and piloting of power-grids and particularly smart grids. Exploiting a component-based approach, it allows a flexible design of ...
详细信息
ISBN:
(纸本)9788360810668
We present in this paper GRENAD, a Multi-Agent System based framework for the simulation and piloting of power-grids and particularly smart grids. Exploiting a component-based approach, it allows a flexible design of complex smart grid applications by providing a generic canvas where extensible, modular and reusable components, defined on the basis of their functionalities, can be easily combined and connected. Thanks to Multi-Agent approach, a set of such components can naturally be integrated into a coherent economical agent. GRENAD makes no assumption on the energy definition and eases the development of MAS control algorithms for smart grids. The level of details of the energy-related information is controllable. This information is computed either through internal physical models or by interfacing with external simulators. We present here our model, illustrate its features with a rich example which exhibits its genericity, and demonstrate how a coordination protocol can easily be integrated to it.
This paper explores a framework to permit the creation of modules as part of a robot creation and combat game. We explore preliminary work that offers a design solution to generate and test robots comprised of modular...
详细信息
ISBN:
(纸本)9781467394819
This paper explores a framework to permit the creation of modules as part of a robot creation and combat game. We explore preliminary work that offers a design solution to generate and test robots comprised of modular components. This current implementation, which is reliant on a constraint-driven process is then assessed to indicate the expressive range of content it can create and the total number of unique combinations it can establish.
A typical feature of robotic architectures are its reactivity and self-adaptivity. In practice, this is achieved by context-dependent dynamic invocation of software components in robotic architectures. In this paper, ...
详细信息
ISBN:
(纸本)9781467391634
A typical feature of robotic architectures are its reactivity and self-adaptivity. In practice, this is achieved by context-dependent dynamic invocation of software components in robotic architectures. In this paper, we specifically address how this self-adaptation capability can be formally defined and modeled in an architecture-independent way. We propose a probabilistic approach that facilitates system design and dynamic runtime adaptation satisfying the quality requirements. We also show how such techniques are incorporated in our model-driven framework: Self Adaptive Framework for Robotic Systems.
Setting up new data and image processing systems is an always recurring task. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introdu...
详细信息
ISBN:
(纸本)9781479983537
Setting up new data and image processing systems is an always recurring task. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introduces a novel Component-Based Software Engineering System (CBSE). It supports special types such as diagrams and structures, components and component-instance-diagrams known from UML. The system allows an abstract and object-oriented description of data and image processing tasks. The CBSE system is integrated into a rich client platform (RCP), supporting dynamic, plugin-based GUI-extensions, 2D/3D rendering using OpenGL and also fast data processing using OpenCL.
Component-based computation advocates for building systems by assembling prefabricated self-contained software modules within a formally specified composition model. Furthermore, visual components allow users to perfo...
详细信息
ISBN:
(纸本)9781467394642
Component-based computation advocates for building systems by assembling prefabricated self-contained software modules within a formally specified composition model. Furthermore, visual components allow users to perform such assemblage in a friendly graphical board were components are connected visually with virtually no coding needed. Recently, an Evolutionary Computation (EC) suite of components called Goldenberry complying with such premises has been released. In this paper we demonstrate its feasibility in several EC tasks: optimisation of continuous-valued and discrete-valued costs functions using Genetic Algorithms and Estimation of Distribution Algorithms as well as feature selection algorithms and relevance estimation in data mining tasks. We discuss the advantages and weaknesses of the approach and the toolbox, its differences with other existing software tools and proposing avenues of future development. Goldenberry is open-source under the New BSD License and it is available at: http://***
Software Partitioning is now commonly used in safety systems to either allow the integration of software components developed at different Software Design Assurance Level (DAL - Design Assurance Level as per DO-178C /...
详细信息
ISBN:
(纸本)9781479989409
Software Partitioning is now commonly used in safety systems to either allow the integration of software components developed at different Software Design Assurance Level (DAL - Design Assurance Level as per DO-178C /ED-12C [1]) or to gain more flexibility to perform system updates by limiting its impact. In all cases the expected benefit is a reduction of the overall system cost including the hardware, the initial certification, the system maintenance, the recertification in case of change, etc. Different approaches are possible to implement and demonstrate software partitioning, each having pros and cons. The objective of this paper is to present the partitioning constraints, with respect to avionics safety certification and how the different implementations affect the system level design, along with project budgets. The paper looks at different grades of partitioning, with use cases as examples, detailing them to compare and contrast the different options.
AUTOSAR has changed significantly how software is developed in the automotive sector. As a central standard, AUTOSAR enables reuse of software components as well as their interoperability. For AUTOSAR compliant ECU de...
详细信息
ISBN:
(纸本)9781467369053
AUTOSAR has changed significantly how software is developed in the automotive sector. As a central standard, AUTOSAR enables reuse of software components as well as their interoperability. For AUTOSAR compliant ECU development, car manufacturers source Electronic Control Units (ECUs) from Tier-1 suppliers, but ask those Tier-1 suppliers to install AUTOSAR compliant basic software from a certified AUTOSAR-Tier-2 supplier. In this setup (to which we refer as the AUTOSAR ecosystem), the OEM has a direct business relationship with the Tier-1, but only an indirect relationship to the AUTOSAR-Tier-2 supplier, which leads to complex flows of requirements and related information between the organizations involved. In this extended abstract, we summarize preliminary results of a qualitative investigation of Requirements Engineering challenges in the AUTOSAR ecosystem. In particular, we interviewed 7 project managers from an AUTOSAR-Tier-2 supplier, and triangulated our results with 6 additional interviews with subjects from two Tier-1 suppliers and one OEM. We found that most of the requirements towards the AUTOSAR-Tier-2 supplier can be directly mapped to standard AUTOSAR components. However, a significant amount of requirements were new requirements and specific to the OEM or even a project. The well-known requirements engineering challenges we found to surface in the AUTOSAR ecosystem were mainly connected to these nonstandard requirements. Standard and non-standard requirements are usually mixed, which makes it hard to fully leverage the potential benefits of reuse within the AUTOSAR standard. We argue that the holistic ecosystem perspective allows exploration of new strategies for mitigating this challenge.
The widespread use of the HTTP and hypertext makes it possible to freely publish new information and expose it in the context of its description. Unfortunately, this is a human-centric environment that cannot easily b...
详细信息
ISBN:
(纸本)9788360810668
The widespread use of the HTTP and hypertext makes it possible to freely publish new information and expose it in the context of its description. Unfortunately, this is a human-centric environment that cannot easily be adapted to an application-centric approach, which is required to provide distributed enterprise management and real-time process control. In this article new architecture is presented that can provide a generic solution for publishing and updating information in the context that can be used to describe and discover it. It is proposed to distribute the publisher (server) tasks to three classes: (a) information context management using the objectorientedprogramming paradigm, (b) a predefined fixed set of services to access data and meta-data, and (c) a pluggable custom process data binding mechanism. It is also proposed to implement this architecture using the OPC Unified Architecture - a new emerging industrial integration standard.
We address the problem how high-fidelity verification results about the hybrid systems dynamics of cyber-physical flow systems can be provided at the scale of large (traffic) networks without prohibitive analytic cost...
详细信息
ISBN:
(纸本)9781467365963
We address the problem how high-fidelity verification results about the hybrid systems dynamics of cyber-physical flow systems can be provided at the scale of large (traffic) networks without prohibitive analytic cost. We propose the use of contracts for traffic flow components concisely capturing the conditions for a safe operation in the context of a traffic network. This reduces the analysis of flows in the full traffic network to simple arithmetic checks of the local compatibility of the traffic component contracts, while retaining higher-fidelity correctness guarantees of the global hybrid systems models that inherits from correct contracts of the hybrid system components. We evaluate our approach in a case study of a modular traffic network and a prototypical implementation in a model-based analysis and design tool for traffic flow networks.
Subtype polymorphism is a cornerstone of object-oriented programming. By hiding variability in behavior behind a uniform interface, polymorphism decouples clients from providers and thus enables genericity, modularity...
详细信息
ISBN:
(纸本)9781467381598
Subtype polymorphism is a cornerstone of object-oriented programming. By hiding variability in behavior behind a uniform interface, polymorphism decouples clients from providers and thus enables genericity, modularity and extensibility. At the same time, however, it scatters the implementation of the behavior over multiple classes thus potentially hampering program comprehension. The extent to which polymorphism is used in real programs and the impact of polymorphism on program comprehension are not very well understood. We report on a preliminary study of the prevalence of polymorphism in several hundred open source software systems written in Smalltalk, one of the oldest object-oriented programming languages, and in Java, one of the most widespread ones. Although a large portion of the call sites in these systems are polymorphic, a majority have a small number of potential candidates. Smalltalk uses polymorphism to a much greater extent than Java. We discuss how these findings can be used as input for more detailed studies in program comprehension and for better developer support in the IDE.
暂无评论