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.
Sophisticated cyber attacks by state-sponsored and criminal actors continue to plague government and industrial infrastructure. Intuitively, partitioning cyber systems into survivable, intrusion tolerant compartments is a good idea. This prevents witting and unwitting insiders from moving laterally and reaching back to their command and control (C2) servers. However, there is a lack of artifacts that...
We present in this paper a method and tool for the verification of causal and temporal properties of embedded systems, by analyzing the trace streams resulting from virtual prototypes that combines simulated hardware and embedded software. The proposed method makes it possible to analyze different kinds of properties without rebuilding the simulation models. Logical clocks are used to identify relevant...
Simulation studies are realized based on fingerprint identification system hardware device. On the study of the device functions, the high-level programming language VC + + is used to simulate. The fingerprint identification system is divided into five modules, namely, display module, password input module, fingerprint input module, error display module and database connectivity module. After hardware...
This paper introduces the integration of communication modelling into design modelling during the early stages of system development. It presents the modelling of flocking behaviour system in SystemC, which is emerging as a suitable language for designing and modelling. SystemC provides a consistent methodology for the design and refinement of complex digital systems. In this paper, a demonstrator...
Microcontrollers are widely applied in the field of industry to solve engineering control problems. The increased use of microcontrollers makes microcontroller course necessary for electricity related speciality. A new simulation software package for microcontroller, Proteus virtual system modelling (VSM), is introduced for industrial and educational use. Proteus VSM combines circuit simulation, animated...
Biological pathways consisted of different elements (actions and reactors) which interact together simultaneously. Because of being closer to the nature of such processes, Concurrent Simulation will result in a much more precise simulation. In this paper, we came up with a new method for parallel processing of biological networks which is based on IEEE STD 1666-2005 standard and uses SystemC for concurrent...
These days computer aided simulations are being used to perform hardware in loop (HIL) simulations. This is to ensure the safety and economics, as the real flight test cannot easily be done. Moreover due to the latest controller design techniques, which have further complicated the design implementation, the use of computer is inevitable for control system realization. The HIL simulation in real time...
Bionic undulating fin is a new bionic underwater propulsor based on propulsive mode of undulating fin which has high propulsive efficiency, maneuverability and stability. The structure and locomotive model of the bionic undulating fin system were analyzed, and a control system which fits several undulating modes was put forward in this paper. Locomotion simulation was done based on the Matlab/Simulink...
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.