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.
Unified Modeling Language (UML) is a modeling standard that has been commonly used in the software industry. However, students face difficulties while learning how to model complete and correct UML diagrams. One of the reasons is the way UML has been taught. In order to improve the effectiveness of learning it is necessary to employ methods in which the students actively take part in the learning...
Teaching software development to undergraduate students is a challenging task. One of the challenges is to secure a high education quality for large numbers of students. Different projects should be easily comparable while allowing for different tasks for different teams to reduce the risk of plagiarism. Our solution is to use an application framework. The student project teams' final applications...
In embedded system development, a crucial task is to reduce the maximum power consumption owing to power source limitations while maximizing the quality of service. The tradeoff between power consumption and quality of service needs to be resolved. If software can change its power consumption in accordance with the power consumption of hardware, it can reduce the maximum power consumption while increasing...
In the modern industry, human-robot collaboration is becoming more and more important. With the quick development of the small production, the demand of flexibility is growing heavily. Gesture recognition is important for the collaborative work of humans and robots. In industrial applications, the performance of such systems affects the safety of human workers and their manufacturing efficiency. In...
Coil optimization design is the key technology of transcranial magnetic stimulation applications. In order to design the coils of different specifications, the optimization design and simulation system of transcranial magnetic stimulation coil was developed based on VB and Maxwell Ansoft. The software developed in this paper can be used to calculate inductance of the coil with different parameters,...
Due to shortened product innovation cycles, high variant products, demand fluctuation, equipment life cycles, and technology life cycles, regular changes in manufacturing systems are necessary. As elements of a factory are connected via a complex network of relations and flows, single changes can have an impact on the entire manufacturing system. In order to enable a successful change management,...
Compared to critical systems, the user of Android is more concerned about the application launch time. It needs to perform rejuvenation to improve the user experience when the Android suffers from software aging that would lead to an increase of the launch time. Also, rejuvenation can incur in some costs. So it is important to make an optimal rejuvenation strategy to minimize these costs and improve...
The increasing amount of gathered sensor data in Industry 4.0 allows comprehensive data analysis software that creates value-adding opportunities. As companies often cannot implement such software by themselves and as they typically don't want to give their data to external scientists, they commission them to build the required software in order to execute it locally. However, installing, configuring,...
Based on study of risk assessment models on domestic and foreign countries' software projects, this paper adopted Fuzzy Analytic Hierarchy Process to establish the risk assessment model for software projects, so as to realize the effective risk assessment on software projects.
When using formal verification on critical software, an important question involves whether we have we specified enough properties for a given implementation model. To address this question, coverage metrics for property-based formal verification have been proposed. Existing metrics are usually based on mutation, where the implementation model is repeatedly modified and re-analyzed to determine whether...
Program analysis is the process of gathering deeper insights about a source code and analysing them to resolve software problems of arbitrary complexity. The key challenge in program analysis is to keep it fast, precise and straightforward. This research focuses on three key objectives to achieve an efficient program analysis: (i) expressive data representation, (ii) optimised data structure and (iii)...
The use of cognitive maps in support of solving practical problems of analysis of ill-structured situations and large-scale systems in economics, medicine, ecology, education and military-political sphere is growing. The problem of visual perception and understanding of cognitive maps is proven to be extremely urgent and practically important. The set of visualization methods that provide better perception...
Block traces are widely used for system studies, model verifications, and design analyses in both industry and academia. While such traces include detailed block access patterns, existing trace-driven research unfortunately often fails to find true-north due to a lack of runtime contexts such as user idle periods and system delays, which are fundamentally linked to the characteristics of target storage...
The paper presents recent technological advancements that have been made by Siemens PLM in its simulation tools for multi-body analyses and multi-physics simulation in order to run physics-based high fidelity models in real-time. The motivation is enable reuse of simulation models developed during the engineering phase during the validation phase with hardware or humans in the loop. To demonstrate...
A key challenge in the automatic verification of robot mission software, especially critical mission software, is to be able to effectively model the performance of a human operator and factor that into the formal performance guarantees for the mission. We present a novel approach to modelling the skill level of the operator and integrating it into automatic verification using a linear Gaussians model...
Reducing carbon dioxide emissions is an important issue for the environment. The amine-based carbon capture system is a complex system with high energy consumption, and the system needs to be operated flexibly in a wide range. Therefore, advanced control technology is required and an appropriate model is a necessary condition for controller design. To this end, this paper investigates the nonlinearity...
Looking at the end-to-end processing, typical software-intensive systems are built as a system-of-systems where each sub-system specializes according to both the business and technology perspective. One challenge is the integration of all systems into a single system — crossing technological and organizational boundaries as well as functional domains. To facilitate the successful integration we propose...
A significant number of techniques dedicated to requirements specification and documentation is described in the available sources. As there is no purpose to use all of them, a selection has to be made, taking into consideration the context of a given software project, for example its size, usage of agile approach or stakeholders' technical competency. This paper is intended to provide guidelines...
Trade-off analysis through goal model evaluation has been a valuable tool for requirements elicitation and analysis. This is also true in the context of reuse. When goal models are used to describe reusable artifacts and to represent the impacts of reusable artifacts on high-level goals and qualities, they can guide the selection of reusable artifacts to build reuse hierarchies. In previous work,...
We present CoSTest, a tool that supports the validation of Conceptual Schemas by using testing. The tool implements techniques for transforming instantiations from a Requirements Model into test case implementations by supporting a Model-driven architecture.
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.