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 approach to the intelligent modeling system development is proposed in the paper. Such system should be used for identification, classification and definition of the parameters of motion of marine facilities. Modeling system structure, conceptual model of modeling system and intellectual methods that are used for data processing are described. The ontology model is used for modeling system data...
This paper proposes the principle of classifier construction for software reliability models and assessment techniques. The classifier is built using a facet-hierarchical approach and allows systematizing scientific publications in the field of software reliability. The available publications for more than 50 years have been analyzed and classified by use of hierarchy of software reliability attributes...
Applying Flexsim system simulation software to build the simulation model of logistics sorting system. Before the introduction of automatic sorting equipment and technology in the sorting system, through the establishment of the Flexsim simulation model to simulate, analyze and evaluate the design scheme.
With the development of information technology, software plays an increasingly important role in the process of social development. However, at the same time, the number of software vulnerabilities is growing, posing a threat to national security and social stability. Therefore, some scholars and research institutions are paying their attention to the study of software vulnerability. In this paper,...
The use of semi-physical simulation platform for school laboratory and classroom building scene a lot of field measurements, analysis of power line channel transmission characteristics of the different environments, and features a three-dimensional graphic display of variable power line channel under different scenarios. At the same time in order to improve the efficiency of the data analysis, the...
Security vulnerabilities in system software are a major concern, especially when the software is highly exposed. This paper studies whether it is possible to emulate security vulnerabilities through software fault injection by using well known emulation operators. Emulating security vulnerabilities in the C programming language, in a realistic way using field data, is an unanswered research question,...
System Analysis Modeling Language (SAML) is a formal language which helps in expressing and analyzing the qualitative and quantitative aspects of the software as well as hardware models. This can be used in model-based safety analysis (MBSA) which provides the means of identifying, localizing and analyzing hazards in these real-time Safety-Critical Systems. This paper describes the work carried out...
A data mining of several Bugzilla datasets using Software Reliability models is presented. We analyzed Bugzilla reports from the Xfce, Firefox, Eclipse and Tomcat projects for a long period of time of several thousand of days. In all the cases, an increasing failure rate have been found. Increasing failure rates are usually modeled by the S-shaped model in the literature. We propose to use some models...
Simulation is a powerful tool to evaluate quality attributes of complex software systems, but it is not the most comfortable environment for software engineers. They usually use to specify software architectures graphical notations like Use Case Map (UCM). This paper presents a methodological framework to apply DEVS to the software architecture evaluation problem. This framework is organized in two...
Requirements elicitation is the first crucial stage of a requirements engineering process, which intends to uncover, acquire and elaborate requirements for software systems. When software startups are concerned, requirements elicitation is particularly challenging due to the high uncertainty that a startup is confronted with. Few studies have investigated how software startups conduct requirements...
The design of today's systems on chip (SoC's) raises difficult issues, in particular regarding verification. In their early design phases, hardware/software embedded systems are commonly described as ESL (Electronic System Level) models, such that their functional and transactional behavior can be analyzed by simulation. To enhance this validation process, we have previously developed a framework...
Efficient design of complex multiprocessor embedded systems requires fast technologies for early system cosimulation and evaluation. Host-compiled simulation has been proposed as an option for this purpose, since it enables accurately timed modeling at high simulation speeds. To achieve high accuracy, simulation technology has to consider internal details of the processing system, such as the modeling...
A major challenge for the European electronic industry is to enhance productivity while reducing costs and ensuring quality in development, integration and maintenance. Model-Driven Engineering (MDE) principles and techniques have already shown promising capabilities but still need to scale to support real-world scenarios implied by the full deployment and use of complex electronic components and...
In this paper, details the functioning of a plant of control, air suspension of a sphere, through which it will analyze its mathematical model, its nonlinear behavior, which must be linearized in a point of operation, to subsequently generate a PID control of it, in order to verify the correct behavior of the plant against several perturbations, their respective testing and simulation using MATLAB...
Software Defined Networking (SDN) emphasizes the separation of data and control plane while network function virtualization (NFV) decouples network function from underlying hardware. Combining SDN with NFV would have many benefits, but the problem is how to integrate them. There are two possible architectures for such integration: the controller interacts with virtualized network functions (VNFs)...
A planetary gearbox (PG) has many advantages and thus it is widely used in industry. It is reported that poor operating conditions and complex loading can lead to the impact on the PG, even the failure of the whole transmission system. Therefore, the dynamics and vibration characteristics of the PG has increasingly attracted attentions for the aim of designing a highly reliable and low-vibration planetary...
A software-defined wireless local area network (SDWLAN) has gained significant interest recently from both the academic and industrial communities and initiated a paradigmatic reconsideration on the stereotyped management and control of current WLAN due to its flexibility and programmability. However, with the proliferation of mobile devices, efficient client association with quality of service (QoS)...
The system configuration is an import aspect of Integrated Modular Avionics systems. These IMA blueprints are configured based on ASSAC and ARINC653 standards by analyzing all the requirements. Application requirements, such as required memory, communication, period, deadline and execution time, are stipulated in the blueprint. Hardware resources are also described in the blueprint. Moreover, the...
Statistical testing based on a Markov chain usage model, as a rigorous testing method, has been around for more than two decades. Through the comprehensive application of statistical science to the testing of software, it provides audit trails of evidence to support correctness arguments for a software-intensive system as well as a decision that the system is of requisite quality for its intended...
The purpose of this study is to create a model of a relationship in which the dependent variable is the result of a project and the independent variables are the characteristics of human resources. We attempted a comparative evaluation of discriminant analyses with a statistical model and a machine learning model using assessments of the results of projects and team characteristics derived from questionnaire...
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.