A Model-Driven Engineering Approach for Validation of Power System Automation Solutions

The integration of domain-specific concepts in a model-driven engineering (MDE) approach raises a number of interesting research questions. There are two possibilities to represent these concepts. The first one focuses on models that contain domain-specific concepts only, i.e. domain-specific modelling languages (DSML). The second one advocates the integration of domain-specific concepts in general-purpose models, using what we will refer to in this paper as domain-specific modelling annotation languages (DSMAL). In this position paper, we argue that each approach is particularly suited for specific activities and specific actors, and show how they can be developed and used together. We also highlight the challenges created by the use of two representations, such as the evaluation of models OCL constraints and the synchronisation between the two representations. As an illustration, we present rbacUML, our approach for integrating role-based access control (RBAC) concepts into an MDE approach.

The specific requirements of developing Internet of Things (IoT) software for public transportation systems should be considered in addition to the problems always observed in IoT system development. After defining the problems encountered in the development of IoT-based public transport systems, the current model-driven engineering (MDE) approaches for IoT development are examined and their applicability for public transport systems is questioned in this paper. Several points of view are given about what new MDE approaches specific to this field should include in order to eliminate the identified deficiencies. Moreover, it is indicated that new MDE approaches should be designed including round-trip engineering to provide high mobility, use of special standards, in-vehicle communication networks and support for different system-on-chips in these public transportation systems.

Developing software for safety critical embedded systems requires extensive testing, and HIL (Hardware in the Loop) test has one of the most important roles in this testing process. Modern microcontrollers can provide opportunities to improve the efficiency and capability of traditional HIL testing. Many of these opportunities are connected to their internal so called Trace interfaces. This paper shortly introduces the capabilities of these Trace interfaces, and presents the way to integrate them into a professional HIL test development environment the NI VeriStand. The integration process starts with the acquisition of Trace signals, which requires a high speed FPGA based solution, and then a way to capture and process the data at the VeriStand engine level (usually runs on a real-time target), and at the Workspace level (Host PC) is described. The paper ends with the conclusion, which analyzes the throughput and capabilities of the integrated Trace interface and shows the possible application of the data captured by it.

This paper presents the application of a new method for controlling the formation flight of Unmanned Aerial Vehicles. Proposed algorithm is based on the leader follower configuration and uses the potential field to determinate desired heading for the follower UAV. Synthesis of the vector field control algorithm is closely described and presented in details. Proposed control system was carefully checked and verified during Hardware in The Loop (HIL) tests. During the HIL flights the longitudinal and lateral positions of the UAVs (Leader and Follower), orientation angles (pitch, roll, yaw), angular velocities (pitch rate, roll rate, yaw rate) and many other flight parameters were stored and logged. Obtained results validate the effectiveness of the potential field based formation flight control method.

Defining low power design intent for a system-on-chip (SoC) consists in specifying its power management architecture and strategy according to specific low power techniques such as power gating and multi-voltage scaling requirements. Choosing the most-energy efficient power intent for a final system contributes widely to reduce its overall power consumption. At Transaction-Level, a rapid exploration of different power intent alternatives can be made. In this paper, we present a Model Driven Engineering (MDE) approach to automate low power design intent specifications and accelerate Low Power Design Intent Space Exploration (LPDISE) using a Transaction-Level power-aware design methodology. This MDE approach mainly relies on a high level abstraction of the Unified Power Format (UPF) standard concepts that fit a TLM approach use. Then, the MDE approach is applied to automatically generate a UPF code defining the most energy-efficient power intent and being a reference file for Register Transfer Level (RTL) design team. This task focuses on a smart deduction of adequate UPF commands from the high level abstraction semantics. The effectiveness of the proposed MDE approach is illustrated by an example.

Nowadays, Web Applications (WAs) are complex software sys- tems, used by multiple users with different roles and often devel- oped to support and manage business processes. Due to the chang- ing nature of the supported processes, WAs need to be easily and quickly modified, to adapt and align them to the processes they support. In recent years, Model Driven Engineering (MDE) ap- proaches have been proposed and used to develop and evolveWAs. However, the definition of appropriate MDE approaches for the de- velopment of flexible process-centric WAs is still limited. In par- ticular, (flexible) workflow models have never been integrated with the models (e.g., presentation, information models) used in MDE approaches to develop this type of applications. In this paper, we present M3D (Model Driven Development with Declare), a tool for developingWAs that integrates three MDE metamodels used to represent the main components of aWA with the metamodel of De- clare, a declarative language to model business processes. The tool exploits and combines the declarative nature of Declare and the ad- vantages of MDE to get an efficient roundtrip engineering support to develop and evolve flexible process-centric WAs.

In this paper the operation and control of battery-less hybrid systems for off-grid power supply is investigated. The load demand of the system is covered by a diesel-driven generator (DDG) and photovoltaic (PV) arrays. First, an overview of the features and operation of such systems is provided. Primary control of the system is investigated where the PV inverter curtails its active power in order to respect the minimum load ratio of the DDG and contribute to frequency control. Secondary control of the system is applied using the Hardware in the Loop (HIL) technique, where parts of the real-time simulation are replaced with actual physical components. Hardware controllable loads are activated by a hardware controller in order to respect the minimum load ratio of the DDG. An alternative method is applied where instead of controllable loads a hardware PV inverter curtails its active power production. The HIL simulation results show that both methods are effective to reduce the frequency deviation of the system and maintain the power output of the DDG above the predefined minimum requirement. The tests were performed with a combination of Controller HIL and Power HIL simulation leading to more realistic testing than Controller HIL simulation or pure digital simulation.

During the last decade, Model Driven Engineering (MDE) has been proposed for supporting the development, maintenance and evolution of software systems. Model Driven Architecture (MDA), Software Factories and Eclipse Modeling Framework (EMF) are among the most representatives MDE approaches. Nowadays, it is well recognized that model transformation is at the heart of MDE approaches and, consequently represents one of the most important operations in MDE. However, despite the multitude of model transformation language proposals emerging from academic world and industry, these transformations are often manually specified; which is a tedious and error-prone task, and therefore an expensive process. Matching operation between metamodels is the keystone toward a (semi-)automatic transformation process. In this paper, the authors review metamodel matching techniques of the literature and then analyze their pros and cons in order to show how they can be useful for a semi-automatic transformation process. The result is a comparison of metamodel matching techniques, highlighting their similarities and differences in terms of information used for matching, demonstrating significant similarities between these techniques. Next, the authors compare four well-known metamodel matching techniques namely Similarity flooding, SAMT4MDE+ (extended Semi-Automatic Matching Tool for Model Driven Engineering), ModelCVS and AML (AtlanMod Matching Language) on ten couples of metamodels. For this comparison, the authors define a set of six criteria inspired from the database schema matching. One among these criteria is relevant to the quality of matching and for which we define a quality measure metrics. Furthermore, the authors develop a plug-in under Eclipse to support our comparison using ten couples of metamodels.

Today's Web Applications (WAs) are complex multi-user and multi-tenant software systems, used by users with different roles and often developed to support and manage complex business processes. Due to the changing nature of such processes, WAs need to be easily and quickly modified, to be adapted and aligned to the processes they support. In recent years, Model Driven Engineering (MDE) approaches have been used to support the development and the evolution of WAs. However, the definition of appropriate MDE approaches for the development of flexible process-centric WAs is still limited. In particular, flexible workflow models have never been integrated with the models used in MDE approaches to develop this type of applications. This paper proposes an MDE approach for the development and the evolution of flexible process-centric WAs that integrates four MDE metamodels used to represent the main components of a WA with the metamodel of Declare, a declarative language to model business processes. A case study, carried out to validate the feasibility, the correctness and the effectiveness of the proposed approach is presented and discussed.

Model-Driven Engineering (MDE) is changing the way we build, operate, and maintain our software-intensive systems. Several projects using MDE practices are reporting significant improvements in quality and performance but, to be able to handle these projects, software engineers need a set of technical and interpersonal skills that are currently not widely available. The MDE postgraduate diploma intends to fill this gap by offering a full-time one year formation onMDE. The course syllabus is designed to teach students how to work at a higher abstraction level by the rigorous use of (software) models as the main artifacts in all software engineering activities. Contents include the conceptual framework of MDE plus all techniques and tools (e.g. for defining modeling languages, models, and model transformations) required to successfully complete software engineering projects following a MDE approach. The organizational impact (and challenges) of adopting MDE are exemplified using real industrial experiences. This article describes the MDE Diploma and the lessons that we learned after completing its first edition.

Hardware in the loop simulation for homing missiles

BRCode: An interpretive model-driven engineering approach for enterprise applications

Preliminary design and validation of a Real Time model for hardware in the loop testing of bypass valve actuation system

The Induction machines (IM) are widely used due to its economic and robust. Field-oriented control (FOC) is used frequently in the industry. However, most FOC designed for induction motor based on the conventional PI controller. There is always a trade-off between system response time and dynamic performance. Optimal reset controller is introduced to provide a solution by resetting the system state in a fixed time interval. The reset law is designed with optimal control methods and the parameters are found by solving a Raccati equation. In this paper, the Optimal Reset Controller (ORC) is implemented to the speed loop of an induction motor drive. A simulation is made and shown that the dynamic response of the system is improved compared with conventional PI controller. A Hardware in the loop (HIL) experiment is carried out. The simulation result is verified.

Real-time simulation and its use in Hardware in the Loop and Power Hardware in the Loop testing may not be realized with one single hardware platform. Instead, multiple systems are needed to realistically address the analysis and testing needs of the smart grid. This is particularly the case when the target system is the future electrical distribution grid, with its multi-physic, hybrid nature, its pervasive power electronics and communication. The approach adopted at the authors' laboratory is presented to exemplify the interface and integration challenges when such platform is extended to realize relevant scenarios.