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 development of cyber-physical systems (CPSs) is a multi-disciplinary process. A model-based approach during the design of a system is important for making design decisions during the exploration of alternatives. However, all disciplines use different modelling tools and techniques, which makes the integration of these models difficult and time-consuming. The use of the High Level Architecture...
In this work, we present a modular software subsystem that exposes a set of APIs for supporting the automation of a set of design choices in the synthesis of a hardware accelerator by a proprietary FPGA toolchain. We model the subsystem around Vivado, Xilinx's proprietary FPGA toolchain, in order to provide a finer grained control on the toolchain's features with respect to the standard .tcl interface...
The traditional teaching-learning processes used by Chilean universities are changing. This document describes two innovative strategies applied to teach software engineering (SE) at two universities in Chile. Teaching experiences are part of our ongoing effort to improve the current teaching-learning strategies of SE in the mentioned universities. In this paper, we describe our teaching experiences...
Context: Software Bug Severity Classification can help to improve the software bug triaging process. However, severity levels present a high-level of data imbalance that needs to be taken into account. Aim: We investigate cost-sensitive strategies in multi-class bug severity classification to counteract data imbalance. Method: We transform datasets from three severity classification papers to a common...
In this work, we present a proposal for a reference architecture for the modeling and execution of business processes. We define business processes following the subject-oriented business process management (S-BPM) methodology, which recently has been amalgamated in a Web Ontology Language (OWL) definition. Consequently, all created process definitions are serialized as OWL files. The S-BPM approach...
High Availability (HA) is a quality of service that is required for many services, e.g. carrier grade services. Systems providing such services undergo upgrades, e.g. software version upgrade, like any other system. Avoiding/limiting service outage during these upgrades is of critical importance to meet the HA requirement. Thus, the upgrade campaign specifications, which drive the process need to...
With the rapid development of educational information, the market demand for early childhood education software is increasing. But the evaluations of early childhood education softwares have fallen behind the development of software products. In this paper, we take the United States Haugland / Shade as evaluation criteria to evaluate those Apps with great download amount and with better feedbacks...
The vehicles typically have a lifetime of several years, possibly even longer than 10 years, over which communication technology will almost certainly evolve dramatically. The challenge of automotive communication platform is to ensure that a radio communication component remains relevant over the entire lifetime of a vehicle. A highly efficient software reconfiguration solution is introduced in this...
In the present industrial world, Programmable Logic Controllers (PLCs) are playing a vital role. A Programmable Logic Controller is a solid state user programmable control system with functions to control logic, sequencing, timing, arithmetic data manipulation and counting capabilities. As the applications are becoming more and more complex, the single-core PLCs are unable to meet the high speed execution...
Digital video compression techniques have an important role that makes transmission and storage of multimedia content in bandwidth and storage space limited environment efficient. This paper describes 3D video coding using FPGA encoder architecture for newer and more reliable multimedia technologies to drive the industry to improve services in the field of entertainment marketing, to encourage the...
The study presents a multi-disciplinary application of the Internet of Things (IoT) benefiting both the engineering and music community. A music composition algorithm based on a finite-state machine was designed to receive and manipulate wind turbine voltage output data into a musically aesthetic composition. The algorithm adapts common western music theory and imposes these limitations on the wind...
This paper presents the work performed at (removed for blind review) to automate the integration of virtual systems development (VSD) and simulation in its embedded software development process. The approach is based on a combination of metamodels, model transformations and design patterns, the SysML standard and the use of the open source Eclipse framework. The purpose is to derive all the design...
Developing high quality software is a major industry concern, since programs that "just work" may not be suitable to contemporary technological challenges. Agile practices, such as Test-First development (TFD), may help in this direction. However, in our experience this technique is introduced late (if ever), when programmers' habits are already set and difficult to change. Early exposure...
Architecture-Driven Modernization (ADM) intends to standardize software reengineering by relying on a family of standard metamodels. Knowledge-Discovery Metamodel (KDM) is the main ADM ISO metamodel aiming at representing all aspects of existing legacy systems. One of the internal KDM metamodels is called Structure, responsible for representing architectural abstractions (Layers, Components and Subsystems)...
The practitioner interested in reducing software verification effort may found herself lost in the many alternative definitions of Graphical User Interface (GUI) testing that exist and their relation to the notion of system testing. One result of these many definitions is that one may end up testing the same parts of the Software Under Test (SUT), specifically the application logic, twice. To clarify...
This article introduces the Hardware Robot Operating System (H-ROS), a joint hardware and software infrastructure to create vendor-agnostic reusable and reconfigurable robot hardware components. These robot components dynamically modify and extend the internal representation model of the robot enabling robots to switch on or off components selectively and literally exchange hardware components between...
Integrated environmental modelling (IEM) couples interdependent environmental models and data together to solve complex environmental problems. There are two major modelling frameworks for IEM: component based framework, and service oriented framework. This paper suggests to take the best of both to couple modelling components and services together. The result is a hybrid method to leverage Open Modelling...
Identification of runoff generation areas and erosion prone zones of a watershed are important for the efficient and effective implementation of the greatest management practices for preserving the natural resources. In the present study, an effort is completed to recognize the critical erosion-prone zones of the study area by using the spatially distributed parameters liable for hazards of erosion...
Within the context of automated assembly systems, one of the challenges is ensuring that machine program logic is consistent with process planning requirements. A critical inconsistency can arise due to a lack of i) formal engineering tools and methods that link the Process and Resource domains, ii) a standard way to describe the assembly process that maintains a consistent level of granularity, and...
Cyber physical Systems (CPS) are a key technology to enable the development of highly automated and autonomous maritime systems. The development of new complex and distributed safety-critical systems increases the challenges of testing due to a variety of Verification and Validation (V+V) methods, strictly required confidence to functional correctness of heterogenous cooperating systems and management...
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.