Architecting the Executables with DEVS Unified Process ...

Featured Services

Modeling and Simulation Modeling in software and systems engineering is the art of emulation/simplification of real-world using valid abstractions, formal knowledge representation and implementation as a software program or a graphical artifact. Simulation is the act of execution of the model on a time-base to present dynamical behavior. Modeling and Simulation are independent areas of research and the simulator executes a "contract" (simulation protocol) when it simulates a model. Correctness of this contract and simulator implementation is called Verification. Correctness of model is done through Validation.
Executable Architectures The simulation of an architecture model is an open problem and largely unsolved. We at DUNIP with our research repository and experience are moving towards a product that could provide executable architectures based on Department of Defense Architecture Framework (DODAF) Version 2.0 with MDSE. The foundation is described in our latest book.
Model-Driven Systems Engineering (MDSE) With the theoretical foundation of Discrete Event Systems formalism, a.k.a DEVS, we engineer our M&S-driven systems with strong theoretical systems engineering principles and advanced model engineering technologies employing metamodeling and Domain Specific Languages (DSLs). The DEVS Unified Process (DUNIP) facilitates integration and continuous satisfaction of requirements across the entire systems lifecycle in an agile manner
Netcentric Agent-based Distributed Systems With industry's widespread adoption of Service Oriented Architecture (SOA) and its pursuit of semantic web technologies, we at Dunip bring solutions that allow netcentric modeling and simulation-based engineering for interoperable event-driven architectures and systems. We engineer multi-agent systems and complex dynamical system-of-systems using scientific theories/frameworks based on agent-based computing, organic computing and natural computing.
Feature Engineering
PDF Print E-mail

Dunip Tech. has developed new techniques of defining models using Feature Engineering, obtaining models that are simulated using DEVS (Discrete Event Systems Specification) for their study and optimization through (mainly) evolutionary computation techniques.

Sometimes, these systems must be optimized and implemented in hardware. In addition to classic design techniques and hardware implementation, Dunip Tech. has established collaborations to research in the field of evolvable hardware, designing robust systems to unexpected risk situations.

These techniques have already been applied successfully in use cases from areas of Health Sciences and Systems Engineering.

 

How does it work?

First, it is necessary to have a sufficient and representative set of data for which the model must be defined. Subsequently, using techniques coming from Genetic Programming and combined with classic regression algorithms like LARS (Least-Angle Regression) or LASSO (Least Absolute Shrinkage and Selection Operator), we obtain:

  1. the features or combinations of input variables that are representative for the model, and
  2. the model itself, which is a function of these features.

 

Secondly, the model is implemented in software using known techniques for modeling and discrete event system simulation. In particular, DEVS (Discrete Event Systems Specification) is used. With these models we study the behavior of the system, simultaneously validating its feasibility through simulations in virtual or real time. If the model is substantially large, the DEVS simulation engine allows parallel or distributed simulations in the Cloud.

In many cases, some kind of optimization is needed in the modeled environment or in the model contained therein. Minimization of health risks, energy costs, maximizing performance, etc.., are some examples. To this end, several optimization techniques can be applied: MILP (Mixed Integer Linear Programming), Simulated Annealing, Genetic Algorithms, Particle Swarm, Genetic programming, multi-objective optimization, etc. In some cases, the study leads to the design of a new-robust system that includes adaptive features.

Finally, the system is implemented in hardware. Implementation is gradually performed, integrating both hardware and software models in an environment of co-simulation, checking and validating all the previous studies in a real environment.

 

 

 

 

Advantages of this method

The design of models using Feature Engineering can explore new models of a system hitherto unknown. In addition, this method supports the incorporation of prior knowledge and experience, which greatly facilitates the understanding and adaptability of these models to the needs of the end user.

The dimensions of the model are not of concern, because using DEVS formalism, model and simulator are completely independent, so parallelization or distribution of the simulations is orthogonal to the implementation of the model.

Adding the benefits of using feature engineering using the foundation of modeling and simulation based on DEVS, for achieving maximum speedup, the final implementation using evolvable hardware is pursued. The development of evolvable hardware introduces a new hardware design concept that easily adapts to unforeseen situations of risk to the system (degradation of sensors, radioactivity, aging, etc..).

Where has this method been applied

Dunip Tech., in collaboration with the Adaptive and Bioinspired Systems (ABSys) research group, has developed several studies on the blood glucose concentration, based on feature engineering, with two Spanish hospitals.

We have also applied feature engineering in collaboration with the research group GreenDisc for Centro de Supercomputación y Visualización de Madrid (CeSViMa) in order to obtain prediction models for energy consumption.

Dunip Tech. applies DEVS-based M&S research in this field in collaboration with ABSys and ACIMS (Arizona Center for Integrative Modeling and Simulation, http://acims.asu.edu/), at the University of Arizona.

In the optimization area, Dunip Tech. has experience and a repo of tools with a variety of methods for numerical and non-numerical optimization, with emphasized research in the areas of Evolutionary Computation and Soft Computing.

 

Figure 3 - Real-world obtained models. Up to bottom: (1) predictive model of a server’s inlet temperature,  (2- left)  adaptive filter which is automatically recovered under sensor degradation and (2-right) predictive model of blood glucose concentration.

In academia, students in ABSys also contribute to the advancement of these fields with several projects, Master Thesis and PhD work aimed at these areas.