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.
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...
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 current stage in the development of information systems is characterized by the use of multi-component distributed architectures and methods of intellectual processing and analysis of large amounts of heterogeneous data. At present, the problem of ensuring the reliability and safety of such systems has not been sufficiently investigated. The purpose of the work is to develop a method for computer...
Compared the mechanical adjustment with hydraulic position closed-loop adjustment, the structure of mandrel supporting device of rolling tube machine is analyzed in this paper, then the AMESim software is applied to model the position closed-loop control hydraulic system dynamics based on its structure parameters, where the simulation results play an important role in designing the hydraulic control...
Exhaustive test of complex and autonomous software systems is intractable and cost prohibitive, however incorporating formal methods analysis throughout the system design process could provide a means to identify faults as they are introduced and drastically reduce the overall system development cost. In this research, formal methods, such as model checking and limited theorem proving, are applied...
Software Defined Network (SDN) is an emerging paradigm for flexible network design and implementation. Availability metric of SDNs is critically demanding further studies. This paper aims to propose hierarchical models to assess the availability of SDNs. We incorporate various failure modes and recovery behaviors in the SDN including (i) link failures at network level, and (ii) software and hardware...
Software code review is a process of developers inspecting new code changes made by others, to evaluate their quality and identify and fix defects, before integrating them to the main branch of a version control system. Modern Code Review (MCR), a lightweight and tool-based variant of conventional code review, is widely adopted in both open source and proprietary software projects. One challenge that...
In Software Defined Networks (SDN), each flow table entry is dedicated to an individual flow and has an idle timeout value associated with it. Due to limited flow table and controller processing resources, SDN suffers from scalability problem especially when dealing with a large number of flows. As Instant Messaging (IM) applications usually generate too many different flows and idle timeout has effect...
Self-adaptive techniques have been introduced in the last few years to tackle the growing complexity of software systems, where a major complexity factor leans on their dynamic nature subject to sudden and unpredictable changes that can heavily impact on the software architecture quality. Nonfunctional models, as generated from architectural descriptions of software, have been proven as effective...
Recent advances offered by Software Defined Networking and virtualization techniques are creating the favourable conditions to design and develop Future Networks where network functions and services can be virtualized, dynamically instantiated and moved across networks. The ability to dynamically allocate virtual nodes across distributed physical hosts and even more the live migration of the Virtual...
In public transportation, simulation provides capabilities of investigation of complex interactions between the components of the transportation system, including infrastructure, vehicles, passengers and intelligent transportation system. Although many simulation platforms (either commercial or open source) exist to test, validate and evaluate the performance of control systems, the development of...
Integrating the computing process and the physical process, cyber-physical systems (CPS) pose many challenges to the system analysis and modeling. While most of the existing work focuses on developing the precise and formal model of CPS, little attentions have been given to the early requirements analysis and modeling which focuses on what the users' requirements are and what the software and physical...
The current research paper specifies the dynamic reconfiguration of distributed embedded control systems. A reconfiguration is a distributed run-time automatic operation to adapt the system's behaviour to its environment. We propose a multi-agent architecture to handle and control all reconfiguration scenarios. In order to specify the defined architecture, we propose a model driven approach based...
In this paper, we first present a formal specification for a part of Software Defined Networks(SDN) using a process algebra called Algebra of Communicating Shard Resources(ACSR). To provide a correct and efficient solution for forwarding packets on the Software Defined Networks, ACSR can express processes running concurrently and communicating switches and a controller. Forwarding packets can be modeled...
This paper provides simulation practitioners and consumers with a grounding in how discrete-event simulation software works. Topics include discrete-event systems; entities, resources, control elements and operations; simulation runs; entity states; entity lists; and entity-list management. The implementation of these generic ideas in AutoMod, SLX, and ExtendSim is described. The paper concludes with...
Dependability is often a very abstract concept. The reason is that dependability implications shall be very rare and are often not even wanted to happen during testing. In particular for software-intensive systems, it is very hard to find correct causal relationships/minimal cut sets. Modern model-based approaches help here by computing for example minimal cut sets automatically. However, these methods...
Real time systems consisting of periodic behaviors together with the mode transition mechanism are largely applied in the development of control systems for spacecrafts and automobiles in industry. We have proposed a requirement modeling language called SPARDL for modeling and analyzing such periodic control systems in [11]. In this paper, we specify an Event-B interpretation for the SPARDL model...
Model Based Development within the area of embedded systems hardware-software co-design has been demonstrated to be effective to handle system complexity. Several modeling formalisms are widely used within this area. The work presented in this paper aims to contribute for the usage of Petri nets as the system-level specification language within model-based development of embedded systems using co-design...
There are several approaches in Requirements Engineering (RE) for obtaining requirements according to some specific decomposition criteria (e.g. viewpoints, goals). One of those is Goal-Oriented Requirements Engineering (GORE), which has become increasingly popular in the recent years. GORE uses goals to elicit, develop, structure, specify, analyze, negotiate, document and modify requirements. However,...
The design process of advanced control solutions has become more and more challenging due to the increasing complexity of current automation systems. In such a context, structured design approaches based on formal reference models as well as reliable verification processes have to be adopted. In addition, in last years Model-based Design methods are being extensively adopted thanks to their capability...
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.