This material provides a thorough presentation of the CITADEL Reconfiguration Plane, hereafter denoted XP, from high-level design to low-level implementation and deployment on the CITADEL platform.
This material provides guidelines in form of a presentation of the Context Awareness - component of the Adaptation Plane.
The Context Awareness is a component which implements a mechanism to identify the current context under which the CITADEL framework as well as an application is used/operated.
To identify the current context, the Context Awareness will use run-time data provided by the Monitoring Plane as input on one hand and a pre-defined context model on the other hand.
In this training submodule we outline the core workings of the MILS Adaptation System (for details please refer to the project deliverable D4.3 [1]) and we describe how to create the artifacts which are taken as input by the MILS Adaptation System. Specifically, we focus on the Adaptation Engine, the core component of the MILS Adaptation System.
This document describes the modeling, testing, and verification of system models which are used by
the MILS Adaptation System. Several example models are provided in this document, with one of
them developed in a step-by-step manner. Video demonstrations which accompany this document
demonstrate the use of supporting tools.
This material provides guidelines in form of a presentation of the Context Awareness - component of the Adaptation Plane.
The Context Awareness is a component which implements a mechanism to identify the current context under which the CITADEL framework as well as an application is used/operated.
To identify the current context, the Context Awareness will use run-time data provided by the Monitoring Plane as input on one hand and a pre-defined context model on the other hand.
In this training submodule we outline the core workings of the MILS Adaptation System (for details please refer to the project deliverable D4.3 [1]) and we describe how to create the artifacts which are taken as input by the MILS Adaptation System. Specifically, we focus on the Adaptation Engine, the core component of the MILS Adaptation System.
This document describes the modeling, testing, and verification of system models which are used by
the MILS Adaptation System. Several example models are provided in this document, with one of
them developed in a step-by-step manner. Video demonstrations which accompany this document
demonstrate the use of supporting tools.
Key elements
Dynamic Distributed MILS platform
Dynamic MILS platform with deterministic networking
Mechanisms for dynamic reconfiguration and configuration introspection
Declarative dynamic architecture modeling and verification
Language to describe reconfigurable systems architecture, component models, failure models and fault propagation
Theory and framework for dynamic reconfiguration
Theory and framework for adaptation
Language to express critical properties to be verified
Compositional verification framework
Monitoring, Adaptation, Configuration, & Certification Assurance Planes
Assurance-based security evaluation methodology and runtime mechanisms for just-in-time certification of adaptive systems
[Capella Day 2019] Model execution and system simulation in CapellaObeo
A common need in system architecture design is to verify that if the architect is correct and can satisfy its requirements. Execution of system architect model means to interact with state machines to test system’s control logic. It can verify if the logical sequences of functions and interfaces in different scenarios are desired.
However, only sequence itself is not enough to verify its consequence or output. So we need each function to do what it is supposed to do during model execution to verify its output, and that is what we called “system simulation”.
This presentation introduces how we do model execution in Capella, and how to embed digital mockup inside functions to do “system simulation” with a higher confidence.
Renfei Xu, Glaway
Renfei Xu is the technical manager of MBSE solution in Glaway. He has participated in many pilot projects of MBSE in areas like Engine Control, Avionics, Mechatronics and so on. In recent years, he is responsible for the deployment of MBSE using Capella and ARCADIA methodology in a Radar research institute.
Wenhua Fang, Glaway
Wenhua Fang is the Director of Systems Engineering in Glaway. He has more than 12 years of working experience in SE.
He is responsible for more than 10 implementation projects of MBSE in areas like Aircraft, Engine Control, Avionics, Automotive and so on. In recent years, he leads the team to deploy MBSE in China(including using Capella and ARCADIA methodology).
in process control it need to control and monitoring some important measurements such as measuring temperture of boilers,heat exchanger,etc..for safety assurance.
SysML for embedded system engineering - Academy Camp 2015Régis Castéran
Presentation held during the Berner and Mattner Academy Camp 2015 about SysML usage for requirement specification and architecture description applied to embedded system engineering
CONCEPT OF OPERATIONS TO SYSTEM DESIGN AND DEVELOPMENT-AN INTEGRATED SYSTEM F...ijics
In recent times, there has been a significant rise in usage of aircrafts in surveillance and reconnaissance missions. Not all the aircrafts survive the harsh testing conditions put forth by the enemy regions. Aircraft Survivability Analysis gives the measure of the chances of survival for different counter strategies. The mission would be recalculated if particular sortie does not fall within the physical boundary of the
performance of an aircraft. This is required both for the success of the mission and the survivability of the
aircraft in the harsh enemy conditions.
CONCEPT OF OPERATIONS TO SYSTEM DESIGN AND DEVELOPMENT-AN INTEGRATED SYSTEM F...ijcisjournal
In recent times, there has been a significant rise in usage of aircrafts in surveillance and reconnaissance missions. Not all the aircrafts survive the harsh testing conditions put forth by the enemy regions. Aircraft Survivability Analysis gives the measure of the chances of survival for different counter strategies. The mission would be recalculated if particular sortie does not fall within the physical boundary of the performance of an aircraft. This is required both for the success of the mission and the survivability of the aircraft in the harsh enemy conditions.
A system is envisioned comprising of the accurate modeling of the physical world and the accurate model of control system. An interoperable system which can work seamlessly together will provide mission planners, System integrators, aeronautical/aerospace engineers a milieu wherein the Control System designer who is found wanted as far as the physical world is concerned is given a system which can simulate the real world in lab conditions. To achieve this, we combine the two most promising environments prevalent in the industry today namely Systems tool kit for modeling the operational environment MATLAB and LabVIEW for modeling the control system environment. Using a Math script window of LabVIEW, we have designed the aircraft model and controlling the variables of an aircraft using a simulation loop of a LabVIEW. The different flight conditions were arrived using Orthogonal Array (OA) based on different Aircraft weight, Altitude, Mach number configurations. This attempts to span the aircrafts across the regimes in aircrafts flight envelope. A system comprising of both, with seamless UDP based connection between the two is developed to expedite the process of development of feasible control system design and verification which allows the aircrafts to undertake complex mission. This system we believe would answer questions of limits of the aircrafts maneuverability and survivability in terms of its limitation concerning control system design and development of commercial fighter aircrafts, UAV's and Quad copters.
Key elements
Dynamic Distributed MILS platform
Dynamic MILS platform with deterministic networking
Mechanisms for dynamic reconfiguration and configuration introspection
Declarative dynamic architecture modeling and verification
Language to describe reconfigurable systems architecture, component models, failure models and fault propagation
Theory and framework for dynamic reconfiguration
Theory and framework for adaptation
Language to express critical properties to be verified
Compositional verification framework
Monitoring, Adaptation, Configuration, & Certification Assurance Planes
Assurance-based security evaluation methodology and runtime mechanisms for just-in-time certification of adaptive systems
[Capella Day 2019] Model execution and system simulation in CapellaObeo
A common need in system architecture design is to verify that if the architect is correct and can satisfy its requirements. Execution of system architect model means to interact with state machines to test system’s control logic. It can verify if the logical sequences of functions and interfaces in different scenarios are desired.
However, only sequence itself is not enough to verify its consequence or output. So we need each function to do what it is supposed to do during model execution to verify its output, and that is what we called “system simulation”.
This presentation introduces how we do model execution in Capella, and how to embed digital mockup inside functions to do “system simulation” with a higher confidence.
Renfei Xu, Glaway
Renfei Xu is the technical manager of MBSE solution in Glaway. He has participated in many pilot projects of MBSE in areas like Engine Control, Avionics, Mechatronics and so on. In recent years, he is responsible for the deployment of MBSE using Capella and ARCADIA methodology in a Radar research institute.
Wenhua Fang, Glaway
Wenhua Fang is the Director of Systems Engineering in Glaway. He has more than 12 years of working experience in SE.
He is responsible for more than 10 implementation projects of MBSE in areas like Aircraft, Engine Control, Avionics, Automotive and so on. In recent years, he leads the team to deploy MBSE in China(including using Capella and ARCADIA methodology).
in process control it need to control and monitoring some important measurements such as measuring temperture of boilers,heat exchanger,etc..for safety assurance.
SysML for embedded system engineering - Academy Camp 2015Régis Castéran
Presentation held during the Berner and Mattner Academy Camp 2015 about SysML usage for requirement specification and architecture description applied to embedded system engineering
CONCEPT OF OPERATIONS TO SYSTEM DESIGN AND DEVELOPMENT-AN INTEGRATED SYSTEM F...ijics
In recent times, there has been a significant rise in usage of aircrafts in surveillance and reconnaissance missions. Not all the aircrafts survive the harsh testing conditions put forth by the enemy regions. Aircraft Survivability Analysis gives the measure of the chances of survival for different counter strategies. The mission would be recalculated if particular sortie does not fall within the physical boundary of the
performance of an aircraft. This is required both for the success of the mission and the survivability of the
aircraft in the harsh enemy conditions.
CONCEPT OF OPERATIONS TO SYSTEM DESIGN AND DEVELOPMENT-AN INTEGRATED SYSTEM F...ijcisjournal
In recent times, there has been a significant rise in usage of aircrafts in surveillance and reconnaissance missions. Not all the aircrafts survive the harsh testing conditions put forth by the enemy regions. Aircraft Survivability Analysis gives the measure of the chances of survival for different counter strategies. The mission would be recalculated if particular sortie does not fall within the physical boundary of the performance of an aircraft. This is required both for the success of the mission and the survivability of the aircraft in the harsh enemy conditions.
A system is envisioned comprising of the accurate modeling of the physical world and the accurate model of control system. An interoperable system which can work seamlessly together will provide mission planners, System integrators, aeronautical/aerospace engineers a milieu wherein the Control System designer who is found wanted as far as the physical world is concerned is given a system which can simulate the real world in lab conditions. To achieve this, we combine the two most promising environments prevalent in the industry today namely Systems tool kit for modeling the operational environment MATLAB and LabVIEW for modeling the control system environment. Using a Math script window of LabVIEW, we have designed the aircraft model and controlling the variables of an aircraft using a simulation loop of a LabVIEW. The different flight conditions were arrived using Orthogonal Array (OA) based on different Aircraft weight, Altitude, Mach number configurations. This attempts to span the aircrafts across the regimes in aircrafts flight envelope. A system comprising of both, with seamless UDP based connection between the two is developed to expedite the process of development of feasible control system design and verification which allows the aircrafts to undertake complex mission. This system we believe would answer questions of limits of the aircrafts maneuverability and survivability in terms of its limitation concerning control system design and development of commercial fighter aircrafts, UAV's and Quad copters.
Design of Real - Time Operating System Using Keil µVision Ideiosrjce
IOSR journal of VLSI and Signal Processing (IOSRJVSP) is a double blind peer reviewed International Journal that publishes articles which contribute new results in all areas of VLSI Design & Signal Processing. The goal of this journal is to bring together researchers and practitioners from academia and industry to focus on advanced VLSI Design & Signal Processing concepts and establishing new collaborations in these areas.Design and realization of microelectronic systems using VLSI/ULSI technologies require close collaboration among scientists and engineers in the fields of systems architecture, logic and circuit design, chips and wafer fabrication, packaging, testing and systems applications. Generation of specifications, design and verification must be performed at all abstraction levels, including the system, register-transfer, logic, circuit, transistor and process levels.
This slide contain the description about the various technique related to parallel Processing(vector Processing and array processor), Arithmetic pipeline, Instruction Pipeline, SIMD processor, Attached array processor
Taming event-driven software via formal verificationAdaCore
Event-driven software can be found everywhere, from low-level drivers, to software that controls and coordinates complex subcomponents, and even in GUIs. Typically, event-driven software is characterised as consisting of a number of stateful components that communicate by sending messages to each other. Event-driven software is notoriously difficult to test. There are often many different sequences of events, and because the exact order of the events will affect the state of the system, it can be easy for bugs to lurk in obscure un-tested sequences of events. Even worse, reproducing these bugs can be difficult due to the need to reproduce the exact sequence of events that led to the issue.
Formal verification is one method of solving this: rather than writing tests to check each of the different possible sequences of events, automated formal verification could be used to verify that the software is correct no matter what sequence of events is observed. In this talk, we will look at what capabilities are required to ensure that this will be successful, including what it means for event-driven software to be correct, and how to ensure that the verification can scale to industrial-sized software projects.
Supporting Flight Test And Flight Matchingj2aircraft
This document describes how the j2 Universal Tool-Kit can be used to support a complete flight test program and flight matching through:
The Development of an A Priori Model
Flight Test Planning and Rehearsal
Flight Test Data Analysis
Flight Matching and Model Updates
Model Qualification Certification
Simulator Certification and Qualification
Mission Planning
NO1 Uk best vashikaran specialist in delhi vashikaran baba near me online vas...Amil Baba Dawood bangali
Contact with Dawood Bhai Just call on +92322-6382012 and we'll help you. We'll solve all your problems within 12 to 24 hours and with 101% guarantee and with astrology systematic. If you want to take any personal or professional advice then also you can call us on +92322-6382012 , ONLINE LOVE PROBLEM & Other all types of Daily Life Problem's.Then CALL or WHATSAPP us on +92322-6382012 and Get all these problems solutions here by Amil Baba DAWOOD BANGALI
#vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore#blackmagicformarriage #aamilbaba #kalajadu #kalailam #taweez #wazifaexpert #jadumantar #vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore #blackmagicforlove #blackmagicformarriage #aamilbaba #kalajadu #kalailam #taweez #wazifaexpert #jadumantar #vashikaranspecialist #astrologer #palmistry #amliyaat #taweez #manpasandshadi #horoscope #spiritual #lovelife #lovespell #marriagespell#aamilbabainpakistan #amilbabainkarachi #powerfullblackmagicspell #kalajadumantarspecialist #realamilbaba #AmilbabainPakistan #astrologerincanada #astrologerindubai #lovespellsmaster #kalajaduspecialist #lovespellsthatwork #aamilbabainlahore #Amilbabainuk #amilbabainspain #amilbabaindubai #Amilbabainnorway #amilbabainkrachi #amilbabainlahore #amilbabaingujranwalan #amilbabainislamabad
Hierarchical Digital Twin of a Naval Power SystemKerry Sado
A hierarchical digital twin of a Naval DC power system has been developed and experimentally verified. Similar to other state-of-the-art digital twins, this technology creates a digital replica of the physical system executed in real-time or faster, which can modify hardware controls. However, its advantage stems from distributing computational efforts by utilizing a hierarchical structure composed of lower-level digital twin blocks and a higher-level system digital twin. Each digital twin block is associated with a physical subsystem of the hardware and communicates with a singular system digital twin, which creates a system-level response. By extracting information from each level of the hierarchy, power system controls of the hardware were reconfigured autonomously. This hierarchical digital twin development offers several advantages over other digital twins, particularly in the field of naval power systems. The hierarchical structure allows for greater computational efficiency and scalability while the ability to autonomously reconfigure hardware controls offers increased flexibility and responsiveness. The hierarchical decomposition and models utilized were well aligned with the physical twin, as indicated by the maximum deviations between the developed digital twin hierarchy and the hardware.
Hybrid optimization of pumped hydro system and solar- Engr. Abdul-Azeez.pdffxintegritypublishin
Advancements in technology unveil a myriad of electrical and electronic breakthroughs geared towards efficiently harnessing limited resources to meet human energy demands. The optimization of hybrid solar PV panels and pumped hydro energy supply systems plays a pivotal role in utilizing natural resources effectively. This initiative not only benefits humanity but also fosters environmental sustainability. The study investigated the design optimization of these hybrid systems, focusing on understanding solar radiation patterns, identifying geographical influences on solar radiation, formulating a mathematical model for system optimization, and determining the optimal configuration of PV panels and pumped hydro storage. Through a comparative analysis approach and eight weeks of data collection, the study addressed key research questions related to solar radiation patterns and optimal system design. The findings highlighted regions with heightened solar radiation levels, showcasing substantial potential for power generation and emphasizing the system's efficiency. Optimizing system design significantly boosted power generation, promoted renewable energy utilization, and enhanced energy storage capacity. The study underscored the benefits of optimizing hybrid solar PV panels and pumped hydro energy supply systems for sustainable energy usage. Optimizing the design of solar PV panels and pumped hydro energy supply systems as examined across diverse climatic conditions in a developing country, not only enhances power generation but also improves the integration of renewable energy sources and boosts energy storage capacities, particularly beneficial for less economically prosperous regions. Additionally, the study provides valuable insights for advancing energy research in economically viable areas. Recommendations included conducting site-specific assessments, utilizing advanced modeling tools, implementing regular maintenance protocols, and enhancing communication among system components.
CFD Simulation of By-pass Flow in a HRSG module by R&R Consult.pptxR&R Consult
CFD analysis is incredibly effective at solving mysteries and improving the performance of complex systems!
Here's a great example: At a large natural gas-fired power plant, where they use waste heat to generate steam and energy, they were puzzled that their boiler wasn't producing as much steam as expected.
R&R and Tetra Engineering Group Inc. were asked to solve the issue with reduced steam production.
An inspection had shown that a significant amount of hot flue gas was bypassing the boiler tubes, where the heat was supposed to be transferred.
R&R Consult conducted a CFD analysis, which revealed that 6.3% of the flue gas was bypassing the boiler tubes without transferring heat. The analysis also showed that the flue gas was instead being directed along the sides of the boiler and between the modules that were supposed to capture the heat. This was the cause of the reduced performance.
Based on our results, Tetra Engineering installed covering plates to reduce the bypass flow. This improved the boiler's performance and increased electricity production.
It is always satisfying when we can help solve complex challenges like this. Do your systems also need a check-up or optimization? Give us a call!
Work done in cooperation with James Malloy and David Moelling from Tetra Engineering.
More examples of our work https://www.r-r-consult.dk/en/cases-en/
Final project report on grocery store management system..pdfKamal Acharya
In today’s fast-changing business environment, it’s extremely important to be able to respond to client needs in the most effective and timely manner. If your customers wish to see your business online and have instant access to your products or services.
Online Grocery Store is an e-commerce website, which retails various grocery products. This project allows viewing various products available enables registered users to purchase desired products instantly using Paytm, UPI payment processor (Instant Pay) and also can place order by using Cash on Delivery (Pay Later) option. This project provides an easy access to Administrators and Managers to view orders placed using Pay Later and Instant Pay options.
In order to develop an e-commerce website, a number of Technologies must be studied and understood. These include multi-tiered architecture, server and client-side scripting techniques, implementation technologies, programming language (such as PHP, HTML, CSS, JavaScript) and MySQL relational databases. This is a project with the objective to develop a basic website where a consumer is provided with a shopping cart website and also to know about the technologies used to develop such a website.
This document will discuss each of the underlying technologies to create and implement an e- commerce website.
2. Source: Université grenoble-Alpes (UGA)
Abstract: This material provides a thorough presentation of the
CITADEL Reconfiguration Plane, hereafter denoted XP, from high-level
design to low-level implementation and deployment on the CITADEL
platform.
Learning outcome: Learn about the design, implementation and capabilities of
the CITADEL Configuration plane.
Intended audience: System integrators
Pre-requisites:
MILS and Adaptive MILS
CITADEL Modeling Language (SLIM)
CITADEL platform (PikeOS, TSN)
Python and C languages
Language: English
Format: PDF slides
Expected workload: 2h
Introduction
Univ. Grenoble Alpes Configuration Plane Training 2
3. Overall organization
Role in the CITADEL framework
Interaction with other planes
Reconfig. Planner, Controller, Agent
Interactions and operation
Implementation and deployment
Usage and examples
Outline
3Configuration Plane TrainingUniv. Grenoble Alpes
6. In the CITADEL framework, the configuration plane (XP),
plays an executive role which is to reconfigure the
Adaptive MILS system.
Reconfiguration performed by XP covers mainly:
The MILS policy architecture:
● subjects,
● communication between subjects, and
● subjects deployment.
The MILS monitoring systems
● Monitors.
To achieve reconfiguration, XP interacts with other
planes of the CITADEL framework, namely the
Adaptation Plane (AP), the Monitoring Plane (MP), the
Operational Plane (OP) and the Foundational Plane (FP)
as shown in the next slide.
Reconfiguration Plane Position (II)
Univ. Grenoble Alpes Configuration Plane Training 6
8. Interactions with other planes (II)
8
Adaptation Plane
(AP)
1- target
configurationnotification
2- reconfiguration
step
notification
2- reconfiguration
step
notification
Foundational (FP)/Operational Planes (OP)
…
Reconfiguration Plane
(XP)
Monitoring Plane (MP)
Node 1
S1 Si
…
TSN
Net.
PikeOS
Node M
Si+1 SN
…
PikeOS
1. XP receives a target configuration
from AP, i.e. the new system
configuration to reach.
2. Based on that, XP issues
reconfiguration commands to
reconfigure MP and OP.
3. XP always expect a
notification back from
the reconfigured
planes.
Configuration Plane Training
4. It also notifies back AP.
Univ. Grenoble Alpes
9. Reconfiguration operation: overview
9
Configuration
Plane
Operational/Foundational Planes
Curent intermediate
Configuration
Target intermediate
Configuration
…
Intermediate Abstract Configurations
Current Concrete
Configuration
…
Small Step
Small Steps
Primitive Primitives
Target Concrete
Configuration
…Primitives
Current Architecture
(SLIM Model + Parameter Vector1)
Adaptation
Plane
Target Architecture
(SLIM Model + Parameter Vector2)
Big Step
XP proceeds by refining a high-level reconfiguration objective (big step) into
an intermediate plan (small steps) then into low-level primitives.
Configuration Plane TrainingUniv. Grenoble Alpes
11. Reconfiguration Plane Components
Reconfiguration plan
Constraints
Target configuration
Current
Configuration
Reconfiguration
commands
AdaptionPlane
MonitorPlane
Reconfiguration Planner
Reconfiguration
State Controller
Notification
Operational Plane
Notification
Low-level
Reconfiguration
PrimitivesNotification
Configuration
Change Agents
Foundational Plane
The figure shows the different
components of XP, namely
• The Planner,
• The Controller, and
• The Config. Change Agent,
in addition to the interactions
with the other planes.
Notification
Notification
deployment
11Configuration Plane TrainingUniv. Grenoble Alpes
12. The Planner
Is responsible for computing a reconfiguration plan
given the target configuration sent by AP.
The Controller
Is responsible to refine the high-level
reconfiguration plan computed by the planner and
to execute it by sending reconfiguration commands
to the Configuration Change Agent and to MP.
The Configuration Change Agent
Is responsible for reconfiguring FP/OP. It executes
the appropriate low-level reconfiguration primitives
(PikeOS and TSN network) upon receiving
reconfiguration commands from the Controller.
Components roles
Univ. Grenoble Alpes Configuration Plane Training 12
13. Applies high-level reasoning to compute a reconfiguration plan that
leads the system from its current configuration to the target
configuration.
The current and target configurations received from AP are SLIM
models. They are transformed into a graph representation.
The reconfiguration plan is a sequence of actions over graphs e.g.,
add/remove nodes and edges.
The constraints represents requirements such as
• « always remove the node’s edges before removing the node ».
• « always remove before add ».
A notification is sent back to AP to notify success or failure.
Reconfiguration Planner
Univ. Grenoble Alpes Configuration Plane Training 13
Reconfiguration plan
Constraints
Target configuration
Reconfiguration Planner
Notification
AdaptionPlane
Notification
14. Refines the reconfiguration plan generated by the planner and
drives the reconfiguration execution.
It includes appropriate reconfiguration commands into the
reconfiguration plan for monitors reconfiguration.
deployment information concern the subjects of the
application and the configuration change agents.
Reconfiguration commands are sent accordingly to the
monitoring plane and the config. change agents in each node.
A notification is sent back to the planner to notify
success/failure.
Reconfiguration Controller
Univ. Grenoble Alpes Configuration Plane Training 14
Reconfiguration
commands
MonitorPlane
Reconfiguration
State Controller
Notification
Notification
deployment
Reconfiguration plan
Notification
15. Maps high-level reconfiguration commands
received from the controller to concrete
reconfiguration primitives and executes them.
A Configuration Change Agent is deployed in each
node of the distributed MILS platform.
Based on the primitive execution result, it notifies
back the controller.
Configuration Change Agent
Univ. Grenoble Alpes Configuration Plane Training 15
Low-level
Reconfiguration
PrimitivesNotification
Configuration
Change Agents
Reconfiguration
commandsNotification
17. The Configuration plane is designed as a
back-end and a front-end
The back-end
● encompasses the Planner and the Controller,
● is fully implemented in Python.
https://redmine.citadel-
project.org/projects/citadel-
framework/repository/show/Configuration-
Plane/controller/trunk
The front-end
● contains different instances of config. change
agents,
● is fully implemented in C,
● Relies on PikeOS and ElinOS libraries.
Overall design
Univ. Grenoble Alpes Configuration Plane Training 17
18. Deployment
Univ. Grenoble Alpes Configuration Plane Training 18
reconfiguration
commands
Foundational (FP)/Operational Planes (OP)
…
XP back-end
Node 1
S1 Si
…
TSN
Net.
PikeOS
Node M
Si+1 SN
…
PikeOS
Planner
Controller
Reconfig.
planNotification
XP
front
-end
XP
front
-end
Notification
Notification
The XP back-end is to be deployed on the same node as
the remaining CITADEL framework components. It is
deployed as an ElinOS partition.
The front-end is deployed on the different nodes of
MILS Platform. Each node of the system hosts a
Configuration Change Agent (CCA).
19. The Configuration Change Agent (CCA) is further decomposed into two modules:
A communication agent
● Is responsible for interacting with the controller (front-end) and other components
inside/outside the node, e.g. TSN partition,
● Is deployed as an ElinOS partition.
https://redmine.citadel-project.org/projects/citadel-framework/repository/show/Configuration-
Plane/agent/trunk/CommHandlerApp.eapp
A core agent
● Is responsible for executing PikeOS primitives,
● Is deployed as a native PikeOS partition,
● Requires abilities: read/write file system (eth0:dyn_reconf.conf), VM_AB_PART_SET_MOD
https://redmine.citadel-project.org/projects/citadel-framework/repository/show/Configuration-
Plane/agent/trunk/ReconfCoreAgent.p4app
Communication between the two agents is performed using PikeOS Queue ports.
CCA implementation
Univ. Grenoble Alpes Configuration Plane Training 19
Core
Agent
- PikeOS -
XP back-end
- ElinOS -
Comm.
Agent
- ElinOS - out_ex
in_ex Reconfiguration commands
Notifications
Qports
XP
Front-end
22. Subjects deployment file
provides information about all application’s subjects (running/parked).
Each line contains sid,pid,vca,vcb,ip,status,node
sid = application subject identifier (id)
pid = running partition identifier (number)
vca = virtual channel identifier (id) - connecting subject partition to virtual eth service
vcb = virtual channel identifier (id) - connectint virtual eth service to tsn partition
ip = ip address of the application subject (xxx.yyy.zzz.www)
status = initial subject status (UP | DOWN)
node = node identifier (id)
Information about the "tsn" partition are to be included in the same way.
Example of a valid description
subject,partition,ch1,ch2,ip_addr,status,node
hello,4,16,17,192.168.0.5,UP,N1
tsn,5,*,*,198.22.14.5,UP,N1
CCA deployment file
Provides information about all the deployed configuration change agents
Each line contains node,ip,port
node = node identifier (id)
ip = ip address of the CCA (xxx.yyy.zzz.www)
Port = port number of which the CCA listen to contorller commands (number)
Example of a valid description
node;ip_addr;port
N1;192.168.0.6;24000
Input files specification
Univ. Grenoble Alpes Configuration Plane Training 22
23. Example: Sender/Receiver
Univ. Grenoble Alpes Configuration Plane Training 23
Current configuration
Sender
{nodes_1}
Receiver
{nodes_2}
Target configuration
Sender
{nodes_2}
Receiver
{nodes_2}
Move Sender
To illustrate the reconfiguration steps, let’s
consider the simple example depicted on the left.
In the latter, the MILS policy architecture
(application) is made of two subjects, namely the
Sender and the Receiver. These are initially
deployed respectively on node N1 and N2 of the
MILS platform.
The considered reconfiguration, is to move the
Sender to N2 (because of a certain event, e.g. N1 is
no more operational). The target configuration is
thus as shown by the graph on the bottom.
The code to run this example is provided under …
24. In this example, we have two nodes
nodes_1 and nodes_2
We will have tow Configuration Change
Agents, one on each node.
Run the configuration change agents:
./commagent.exe --master-port 24000
./commagent.exe --master-port 25000
Running XP components (Front-end)
Univ. Grenoble Alpes Configuration Plane Training 24
25. To run the back-end use the following commands with the mentioned
input files.
./$CITADEL_PATH/Configuration-Plane/controller/trunk/xp.py
--ccas_deployment send-recv-netmon-ccas-deployment.csv
--subjects_deployment send-recv-netmon-subject-deployment.csv
ccas deployment file
node;ip_addr;port
nodes__1;127.0.0.1;24000
nodes__2;127.0.0.1;25000
subjects deployment file
subject,partition,ch1,ch2,ip_addr,status,node
sender,4,1,2,192.168.0.5,UP,nodes__1
receiver,5,3,4,192.168.0.6,UP,nodes__2
sender,6,1,2,192.168.0.5,DOWN,nodes__2
receiver,7,3,4,192.168.0.6,DOWN,nodes__1
Running XP components (back-end)
Univ. Grenoble Alpes Configuration Plane Training 25
26. Running XP components
Univ. Grenoble Alpes Configuration Plane Training 26
Configuration Change Agent on nodes_1
Configuration Change Agent on nodes_2
XP back-end Initialization
27. Example: Sender/Receiver (Cont.)
Univ. Grenoble Alpes Configuration Plane Training 27
Current configuration
Sender
{nodes_1}
Receiver
{nodes_2}
Target configuration
Sender
{nodes_2}
Receiver
{nodes_2}
Sender
{nodes_1}
Receiver
{nodes_2}
1- Remove Sender->Receiver
Receiver
{nodes_2}
2- Remove Sender on N1
Sender
{nodes_2}
Receiver
{nodes_2}
3- Start Sender on N2
4- Re-establish Sender->Receiver
This reconfiguration plan
is computed by the Planner
component.
