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.
HINOC (High Performance Network over Coax) is a coaxial cable access technology used in tri-networks integration. To test and measure the physical-layer performance of HINOC modem (HM), a protocol-mode approach including a specific HINOC MAC layer and test script scheduler of HB is designed to change the status and parameters of the HM during the test. Power, spectrum, modulation and demodulation...
Software vulnerabilities are one of the root causes of network security issues. Software security testing is an essential part of secure software development. Fuzzing has been proven to be an effective dynamic software security testing method. In this paper we present a guided fuzzing approach based on dynamic taint analysis for security testing of network protocol software. This approach identifies...
In this paper, a PXI-based avionics bus test system for ARINC 664 is developed using C# language and NI Measurement Studio. The system uses "Platform Invoke" technology to invoke the built-in functions in DLL files provided by the PXI-C664 board. The network configuration tool and avionics bus test tool are built in the system. The first tool aims to generate the AFDX end system configurations,...
This paper proposes one way of integration of ZigBee protocol in a home automation system. Also, this paper has novel approach for adding ZigBee "of-the-shelf" devices from different manufacturers in the system. The concept define a device as a set of services witch that device provides. Validation and implementation of these concepts are demonstrated in this paper.
Context: The construction of complex systems has increased the adoption of technologies that aim at automating the testing activity. Model-Based Testing (MBT) has emerged as an approach to automate the generation of high-quality test suites from behavioural models. Input/Output Transition Systems(IOTSs) have been used in MBT because they are more expressive than other formalisms. Objective: This paper...
This paper presents a technique for testing software components with contracts that specify functional behavior, synchronization, as well as timing behavior. The approach combines elements from unit testing with model-based testing techniques for timed automata. The technique is implemented in an online testing tool, and we demonstrate its use on a concrete use case.
We advocate online modification of robot-assisted task speed, based on continuously inferred motor imagery as an effective rehabilitation protocol for increasing the involvement levels of the patients in physical rehabilitation exercises. To study efficacy of such Brain-Computer Interface (BCI) based physical rehabilitation protocols, we conduct human subject experiments on healthy volunteers, comparing...
Development and testing of novel Advanced Driver Assistance Systems (ADASs) based on Vehicle-2-X (V2X) communication is often supported by simulations. However, simulation models for Vehicular Ad Hoc Networks (VANETs) can easily become very complex due to the diverse set of involved components such as vehicle mobility, radio propagation, network protocols and application behavior. Therefore, we present...
REST Chart is a Petri-Net based XML modeling framework for REST API. This paper presents two important enhancements and extensions to REST Chart modeling - Hyperlink Decoration and Hierarchical REST Chart. In particular, the proposed Hyperlink Decoration decomposes resource connections from resource representation, such that hyperlinks can be defined independently of schemas. This allows a Navigation-First...
IEC61850 is widely accepted around the globe due to the significant benefits that it provides compared with conventional hard-wired solutions. In this paper, four different IEDs from three different vendors (ABB, Areva and SEL) namely: REF615, SEL487, SEL311 and P145, are used to model a bay level of IEC61850 substation. Then, using industry standard fault test simulator “CMC356 OMICRON”, different...
Hybrid Broadcast Television for All is a European Commission co-financed project, inside the Competitiveness and Innovation Framework Programme (CIP). The project builds on HbbTV, the European standard for broadcast and broadband multimedia converged services, and looks at how HbbTV technology may be used to enhance access services (such as subtitling, audio description or sign language) on both the...
We derive impossibility (converse) bounds for the efficiency of implementing information theoretically secure oblivious transfer and bit commitment using correlated observations. Our approach is based on relating these problems to that of testing if the observations of the parties are conditionally independent given the adversary's observation. The resulting bounds strengthen and improve upon several...
We consider asymptotic hypothesis testing (or state discrimination with asymmetric treatment of errors) between an arbitrary fixed bipartite pure state |ψ〉 and the completely mixed state under one-way LOCC (local operations and classical communications), two-way LOCC, and separable POVMs. As a result, we derive the Hoeffding bounds under two-way LOCC POVMs and separable POVMs. Further, we derive a...
We advocate the use of property-based testing in the area of sensor networks and present a framework to apply this testing methodology. Our framework provides an expressive high-level language to specify a wide range of properties, starting from properties of individual functions to network-global properties, and infrastructure to automatically test these properties in Cooja, the network simulator...
Athletes use kinesiology tape to help work through injuries and increase performance. Kinesiology tape manufacturers claim that these tapes may improve strength, blood flow, and range of motion (ROM). The purpose of this pilot study is to analyze the validity of these claims through evaluation of biomechanical parameters (strength, ROM, muscle activity, and muscle oxygenation) that may potentially...
In software engineering, error impact analysis consists in predicting the software elements (e.g. Modules, classes, methods) potentially impacted by a change. Impact analysis is required to optimize the testing effort. In this paper we present a new protocol to analyze the accuracy of impact analysis. This protocol uses mutation testing to simulate changes that introduce errors. To this end, we introduce...
Accurate and timely traffic classification is a key to providing Quality of Service (QoS), application-level visibility, and security monitoring for network operations and management. A class of traffic classification techniques have emerged that apply machine learning technology to predict the application class of a traffic flow based on the statistical properties of flow-features. In this paper,...
Cyber attacks in the Internet are common knowledge for even nontechnical people. Same attack techniques can also be used against any military radio networks in the battlefield. This paper describes a test setup that can be used to test tactical radio networks against cyber vulnerabilities. The test setup created is versatile and can be adapted to any command and control system on any level of the...
In today's digital era with the development of various types of gadgets causes the growth of traffic and the number of internet service on the network. To provide the maximum monitoring system that can determine service availability, network conditions, uptime and downtime. Protocol monitoring system used in this research is the Simple Network Management Protocol (SNMP). Due to the use of SNMP protocol...
The paper describes the Rapid Environmental Picture Atlantic exercise 2014 (REP14-Atlantic), with special focus on the experiments with autonomous underwater, surface and air vehicles, and discusses how large scale experimentation in operational environments is contributing to advancing the state of the art in networked vehicle systems. REP14-Atlantic was also focused on collaborative experimentation...
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.