The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The DAISI (Design of Accelerators, optImizations and SImulations) is the user-configurable code for plasma and beam dynamics simulations using particle-mesh methods of Vlasov equation solution in electrostatic approximation. Coordinate system, computational domain geometry, boundary conditions and solver settings are specified by user. The user interface is developed using Qt. Additional modules and...
Mosaik is a co-simulation framework enabling automatic simulations of Smart Grids using simulation tools. This paper gives insights into the communication between Mosaik and several simulation tools and explains its realization. A interface for DIgSILENT PowerFactory and Matlab is implemented. The source code is made available for further implementation by other researchers. A case study demonstrates...
Critical infrastructures are the set of essential systems for the normal functioning of our modern society. Their failure could have severe consequences on economy and population and may undermine security. Indeed, their protection is a requirement. Nowadays Critical infrastructures are becoming tightly coupled and interdependent due to the exchange of products and services, which leads to the hardness...
The main purpose of OLAP projects is to consolidate and aggregate operational system data, allowing thus measuring, analyzing and help in decision-making. Nevertheless, such systems are rarely linked to their business context, goals or objectives that enterprise wishes to achieve, and metrics such as Key Performance Indicators (KPIs) to evaluate the degree of their satisfaction. Indeed, KPIs are measurements...
The evolution of information systems requires the implementation of a high level of security to minimize the problems associated with these systems. Intrusion Detection Systems (IDS) play a very important role in the security of networks by detecting when an attack is happening, but most current IDS are generally centralized and suffer from significant limitations. This paper describes a new security...
In this paper, we propose a new approach to derive GUIs from Abstract models by applying the Model Driven Engineering Methodology. Structural and dynamic aspects of GUIs are modeled. Our model driven development process is based on Ontology and IFML. The logical description UIs components is presented by Ontology domain and their interactions are captured with IFML in order to enhance presentation...
Model Driven Architecture (MDA) is one of the most prominent trends in software development nowadays. This approach has proven to alleviate many problems that usually appear in software development processes. In particular, the possibility to automatically translate models into executable code reduces bugs and development/deployment times, among other important advantages. Then, transformation and...
The growing complexity of digital signal processing applications makes a compelling case for the adoption of higher-level programming models such as dataflow for the implementation of applications on programmable logic devices and many/multi-core embedded processors. Past research works have shown that raising the level of abstraction of design stages does not necessarily come at penalties in results...
This paper provides a number of recommendations for expressing the behavioral semantics of a digital health enterprise. This includes the specification of policies, processes and services, with a particular focus on the RM-ODP enterprise and computational concerns. We believe that these behavioral aspects are needed to complement well developed expression of information semantics. The paper is motivated...
The importance of Modelling Method Engineering is equally rising with the importance of Domain Specific Languages and individual modelling approaches. In order to capture the most relevant semantic primitives that address domain specific needs, it is necessary to involve both the method engineers as well as domain experts. Based on practical experience in business, more than twenty EU-projects and...
En este trabajo se presentan los resultados de una evaluación aplicada a un conjunto de elementos notacionales en sistemas interactivos. La evaluación se realizó con el fin de: 1. Validar las categorías de una Taxonomía de la Actividad para Sistemas Interactivos y 2. Analizar el nivel de comprensión que tienen los ingenieros y estudiantes, que practican el Desarrollo de Sistemas Interactivos, acerca...
La navegación de los modelos de software en las actuales herramientas CASE es realizada a través del uso de árboles de navegación, y el desplazamiento en los diagramas es realizado típicamente por barras de scroll laterales. Este mecanismo introduce una discontinuidad entre la información desplegada que puede causar cargas cognitivas y mecánicas para los usuarios. La solución propuesta para enfrentar...
Managing variations of product portfolios and small lot sizes constitute some of the most important challenges in industrial automation today. Ever shorter development cycles require new tools to integrate all relevant corporate divisions from product design to production planning and quality control. In this paper we describe a formal modeling approach that allows to encapsulate properties of product...
Several leading research groups name hardware generation as the next disruptive productivity improvement after IP-reuse. Metamodeling and code generation have already demonstrated a speedup by a factor 3× for the complete implementation phase of a chip. Furthermore, code size reduction by a factor of 3× was achieved with the hardware generation language (HGL) Chisel.
In software development processes, diagram editors play an important role. For instance, editors for creating UML diagrams are often used in early stages of software development. Three input methodologies can be distinguished: traditional mode-based editors, sketching editors, and gesture-based editors. Most of today's diagram editors are mode-based and use the mouse as an input device. (Multi-)touch...
We present a fully automated technique to detect nondeterminism in state diagrams. Although nondeterminism is a tool often adopted by requirement engineers for specification of a system under development (SUD), it is normally undesirable in actual implementation. Discovering nondeterminism manually is infeasible for industrial-sized systems. Solutions in the literature lack the capability to analyze...
Studies of domain feature model validation only concerned with the rationality of feature model but ignored the correctness. For this situation, a sample-system-based approach of correctness validation is developed in this paper. Some concepts and terms are proposed to facilitate the process of establishing a map between the domain feature model and the object models of sample systems. To improve...
Requirement Engineering plays a very significant role in order to encode domain knowledge (customers) and implementation strategies (developers). Further, for the development of quality software, it is indeed necessary to specify both functional and non-functional requirement for the proposed software especially for those who program it. Hence, it is must to model the non-functional properties of...
The semi-formal language UML has become a standard notation for describing analysis and design models of complex software systems. But it's difficult to be verified formally. In order to solve this problem, a method to translate the UML models to the Event-B models has been proposed. The specific research is on the translation of the use case diagram and sequence diagram in UML. In the use case diagram,...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.