An operating system for future aerospace vehicle computer systems

The requirements for future aerospace vehicle computer operating systems are examined in this paper. The computer architecture is assumed to be distributed with a local area network connecting the nodes. Each node is assumed to provide a specific functionality. The network provides for communication so that the overall tasks of the vehicle are accomplished. The O/S structure is based upon the concept of objects. The mechanisms for integrating node unique objects with node common objects in order to implement both the autonomy and the cooperation between nodes is developed. The requirements for time critical performance and reliability and recovery are discussed. Time critical performance impacts all parts of the distributed operating system; e.g., its structure, the functional design of its objects, the language structure, etc. Throughout the paper the tradeoffs - concurrency, language structure, object recovery, binding, file structure, communication protocol, programmer freedom, etc. - are considered to arrive at a feasible, maximum performance design. Reliability of the network system is considered. A parallel multipath bus structure is proposed for the control of delivery time for time critical messages. The architecture also supports immediate recovery for the time critical message system after a communication failure

Using Intelligent Agents to Manage Business Processes

This paper describes work undertaken in the ADEPT (Advanced Decision Environment for Process Tasks) project towards developing an agent-based infrastructure for managing business processes. We describe how the key technology of negotiating, service providing, autonomous agents was realised and demonstrate how this was applied to the BT business process of providing a customer quote for network services

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Enhancing Workflow with a Semantic Description of Scientific Intent

Peer reviewedPreprin

Smart Grid Ecosystem Modeling Using a Novel Framework for Heterogenous Agent Communities

The modeling of smart grids using multi-agent systems is a common approach due to the ability to model complex and distributed systems using an agent-based solution. However, the use of a multi-agent system framework can limit the integration of new operation and management models, especially artificial intelligence algorithms. Therefore, this paper presents a study of available open-source multi-agent systems frameworks developed in Python, as it is a growing programming language and is largely used for data analytics and artificial intelligence models. As a consequence of the presented study, the authors proposed a novel open-source multi-agent system framework built for smart grid modeling, entitled Python-based framework for heterogeneous agent communities (PEAK). This framework enables the use of simulation environments but also allows real integration at pilot sites using a real-time clock. To demonstrate the capabilities of the PEAK framework, a novel agent ecosystem based on agent communities is shown and tested. This novel ecosystem, entitled Agent-based ecosystem for Smart Grid modeling (A4SG), takes full advantage of the PEAK framework and enables agent mobility, agent branching, and dynamic agent communities. An energy community of 20 prosumers, of which six have energy storage systems, that can share energy among them, using a peer-to-peer market, is used to test and validate the PEAK and A4SG solutions.The authors acknowledge the work facilities and equipment provided by the GECAD research center (UIDB/00760/2020) to the project team.info:eu-repo/semantics/publishedVersio