Search results for "Communications protocol"
showing 10 items of 76 documents
Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle
2018
This paper presents a proof-of-concept application of an approach to system development based on the integration of formal verification and co-simulation. A simple autonomous vehicle has the task of reaching an assigned straight path and then follow it, and it can be controlled by varying its turning speed. The correctness of the proposed control law has been formalized and verified by interactive theorem proving with the Prototype Verification System. Concurrently, the system has been co-simulated using the Prototype Verification System and the MathWorks Simulink tool: The vehicle kinematics have been simulated in Simulink, whereas the controller has been modeled in the logic language of t…
DNS Tunneling Detection Techniques – Classification, and Theoretical Comparison in Case of a Real APT Campaign
2017
Domain Name System (DNS) plays an important role as a translation protocol in everyday use of the Internet. The purpose of DNS is to translate domain names into IP addresses and vice versa. However, its simple architecture can easily be misused for malicious activities. One huge security threat concerning DNS is tunneling, which helps attackers bypass the security systems unnoticed. A DNS tunnel can be used for three purposes: as a command and control channel, for data exfiltration or even for tunneling another protocol through it. In this paper, we surveyed different techniques for DNS tunneling detection. We classified those first based on the type of data and then within the categories b…
An integrated information system for the acquisition, management and sharing of environmental data aimed to decision making
2012
This paper reports the first results of the Project SESAMO - SistEma informativo integrato per l’acquisizione, geStione e condivisione di dati AMbientali per il supportO alle decisioni (Integrated Information System for the acquisition, management and sharing of environmental data aimed to decision making). The main aim of the project is to design and develop an integrated environmental information platform able to provide monitoring services for decision support, integrating data from different environmental monitoring systems (including WSN). This ICT platform, based on a service-oriented architecture (SOA), will be developed to coordinate a wide variety of data acquisition systems, based…
DSL Based Platform for Business Process Management
2014
Currently nearly all commercial and open source BPMS are based on BPMN as a process notation. In contrast, the paper proposes to build a BPMS based on a domain specific language (DSL) as a process notation – DSBPMS. In such a DSBPMS a specific business process support could be created by business analysts. A platform for creating such DSBPMS with feasible efforts is described. This platform contains a Configurator for easy creation of graphical editors for the chosen DSL and a simple mapping language for transforming processes in this DSL to a language directly executable by the execution engine of this platform. The engine includes also all typical execution support functions so no other t…
Metamodel specialization based DSL for DL lifecycle data management
2020
A new Domain Specific Language (DSL) based approach to Deep Learning (DL) lifecycle data management (LDM) is presented: a very simple but universal DL LDM tool, still usable in practice (called Core tool); and an advanced extension mechanism, that converts the Core tool into a DSL tool building framework for DL LDM tasks. The method used is based on the metamodel specialisation approach for DSL modeling tools introduced by authors.
A software tool to acquire, synchronise and playback multimedia data: an application in kinesiology
2000
Assessing the physical condition of the human body frequently requires evaluating different tests performed by different devices. This information has to be analysed simultaneously to derive conclusions, and so a temporal relationship must be established between the data sources. In this paper, synchronisation of the sources of information is achieved by synchronising the clocks of computers connected in a Local Area Network. A clock synchronisation protocol is used and a global time is stamped in each information data flow. During analysis, the time-stamp is used to playback the data in a synchronised way. The proposed system is valid for any medical application in which data synchronisati…
Remote programming of network robots within the UJI Industrial Robotics Telelaboratory: FPGA vision and SNRP network protocol
2009
This paper presents the UJI Industrial Robotics Telelaboratory, which lets Ph.D. and Master’s degree students perform robotics and computer vision tele-experiments. By using this system, students are able to program experiments remotely via the Web, in order to combine the use of a field-programmable gate array (FPGA) to provide real-time vision processing, a conveyor belt, and a Motoman industrial manipulator. This paper introduces the novel SNRP protocol (i.e., Simple Network Robot Protocol), which permits the integration of network robots and sensors within an e-learning platform in a simple and reliable manner. As long as the students are able to interact remotely with a real robotic sc…
A simple unsynchronized two‐end algorithm for faults location and identification in electrical distribution systems
2012
PurposeThe purpose of this paper is to identify a new and simple two‐end algorithm for fault location identification and characterization, in electrical distribution systems.Design/methodology/approachThe developed diagnostic algorithm is based on a simple model of the network using a lumped parameters representation.FindingsTest results have proved the approach to be efficient, allowing a precise fault identification and location while not requiring synchronized measures from the two ends.Research limitations/implicationsThere is a need for measurement systems at all MV/LV substations.Practical implicationsApplicability with limited investments is not possible where metering systems are no…
Lighting control systems: Factors affecting energy savings' evaluation
2015
Abstract The use of automated lighting control systems allows to reduce lighting costs and to achieve significant energy savings. The energy performances of controls are affected by many factors, the impact of which is very difficult to account for during the design process. The goal of this paper is to describe the factors that influence the control systems’ energy performances, to analyze how the currently available calculation tools take them into account and finally to propose a simple method to adjust results obtained from the simulation software.