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.
Modeling and analysis of non–functional properties is crucial in energy-aware real-time (ERT) automotive systems. EAST-ADL is an architectural language dedicated to safety critical automotive embedded system design. We have previously modified EAST-ADL to include energy constraints and transformed ERT behaviors modeled in EAST-ADL/STATEFLOW into UPPAAL models amenable to formal verification. Previous...
Our paper shows a new methodology for controlling the models transformation from CIM to PIM into model driven architecture. In this proposal we founded on an analytical survey. Our methodology is based on creation of the transformable models in CIM level to facilitate the transformation task to the PIM level. We create a good PIM level, according to the three classic modelling views. Then, a set of...
Designing a fully parametric CAD model of a sheet forming tool in a 3D CAD system expends temporal and financial effort and thus engineers shy away from it. The Institute of Forming Technology and Machines (IFUM) and the Society for the Advancement of Applied Computer Science (GFaI) are currently developing a new method for the model driven design of deep drawing tools. The core of this method is...
Model comparison is an important challenge in model-driven engineering, with many application areas such as model versioning and domain model recovery. There are numerous techniques that address this challenge in the literature, ranging from graph-based to linguistic ones. Most of these involve pairwise comparison, which might work, e.g. for model versioning with a small number of models to consider...
This work proposes a textual and graphical domain-specific language (DSL) designed especially for modeling and writing data and image processing algorithms. Since reusing algorithms and other functionality leads to higher program quality and mostly shorter development time, this approach introduces a novel component-based language design. Special diagrams and structures, such as components, component-diagrams...
This paper describes a model-based test generation approach for testing Urban Search and Rescue (USAR) robots interacting with their environment (i.e., world). Unlike other approaches that assume a static world with attributes and values, we present and test a dynamic world. We use Petri Nets to illustrate a world model that describes behaviors of environmental entities (i.e., actors). The Abstract...
The Model-Driven Architecture (MDA) is based on an understanding of a hierarchy of levels that are placed on top of each other and that are connected with instantiation. For practical MDA use, it is important to be clear about the kinds of objects that reside on the different levels and the relations between them as well as relations to objects outside of the MDA domain. This article aims at enhancing...
Modelling and Programming are often used together in system development. However, typically there is a large difference between the handling of modelling parts and the handling of programming parts. This leads to the fact that the transition between the two is not easy, and important information is lost as well as extra information has to be provided when combining modelling and programming. This...
A challenging aspect of model-to-code transformations is to ensure that the semantic behavior of the input model is preserved in the output code. When constructing concurrent systems, this is mainly difficult due to the non-deterministic potential interaction between threads. In this paper, we consider this issue for a framework that implements a transformation chain from models expressed in the state...
This paper presents the design and usage of a language for Conceptual Data Modeling in Model-based Systems Engineering. Based on an existing analysis of presently employed data modeling languages, a new conceptual data modeling language is defined that brings together characteristic features from software engineering languages, features from languages classically employed for knowledge engineering,...
Model-driven software engineering has become more and more important during the last few years. Model transformations constitute the core essence of model-driven development. Throughout the years, the concept of unidirectional model transformations and corresponding tool support has become mature and usable. Transformations of this kind are widely used in model-driven development, for forward or reverse...
Rich Internet Applications (RIAs) combine the simplicity of the hypertext paradigm with the flexibility of desktop interfaces. However, RIAs are complex applications and their development requires designing and implementation which are time-consuming and the available tools are specialized in manual design. In this paper, we present an approach for the model driven generation of Rich Internet Application...
Executing software processes in the cloud can bring several benefits to software development. In this paper, we discuss the benefits and considerations of cloud-based software processes. EXE-SPEM is our extension of the Software and Systems Process Engineering (SPEM2.0) Meta-model to support creating cloud-based executable software process models. Since SPEM2.0 is a visual modelling language, we introduce...
We propose a method for automatic modeling of electronic devices using a prefix-suffix approach. We implement it into a user-friendly computer program and give preliminary results supporting the validity of our approach. Patterns of prefixes and suffixes are obtained. We find two patterns giving 100% correct detection of supply current in 10 regulators' datasheets from Texas Instrument Inc.
Improving effectiveness and safety of patient care is an ultimate objective for medical cyber-physical systems. Many medical best practice guidelines exist in the format of hospital handbooks which are often lengthy and difficult for medical staff to remember and apply clinically. Statechart is an effective tool to model medical guidelines and enables clinical validation with medical staffs. However,...
User interface prototypes are effective structure for describing as models for web application development thanks to their graphical and dynamic architecture. It provides the benefits such as language independent development, less error-prone and increased quality. The executable programming codes are created by code transformation feature of model-driven development tools as well. Nevertheless, this...
In recent years many organizations such as, Amazon, Google, Microsoft, have accelerated the development of their cloud computing ecosystem. This rapid development has created a plethora of cloud resource management interfaces for provisioning, supervising, and managing cloud resources. Thus, there is an obvious need for the standardization of cloud resource management interfaces to cope with the prevalent...
Negotiation diagrams are a model of concurrent computation akin to workflow Petri nets. Deterministic negotiation diagrams, equivalent to the much studied and used free-choice workflow Petri nets, are surprisingly amenable to verification. Soundness (a property close to deadlock-freedom) can be decided in PTIME. Further, other fundamental questions like computing summaries or the expected cost, can...
The objective of this study was to verify if a development model of Units of Learning (UoLs), supported by UoLs authoring tools, that meet the usability criteria and abstract advanced knowledge in programming language by the developers, effectively provides the use and implementation of such resources by teachers in all areas of high school (in this first phase of the research) with few skills with...
Modeling tools serve to guide and discipline the software development process during the design process. However, such tools are not fully explored from a functional point of view, either the complexity of the subject matter or the usability thereof. This study proposes to evaluate the use of three system modeling tools, through a study using students of the Postgraduate Program in Applied Informatics...
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.