Network security is a crucial issue of Software Defined Networking (SDN). It is probably, one of the key features for the success and for the future pervasion of the SDN technology. In this perspective, we propose a SDN reactive stateful firewall. Our solution is integrated into the SDN architecture. It filters TCP communications according to the network security policies. It records and proces...

Information overload of the anesthesiologist through technological advances have threatened the safety of patients under anesthesia in the operating room (OR). Traditional monitoring and alarm systems provide independent, spatially distributed indices of patient physiological state. This creates the potential to distract caregivers from direct patient care tasks. To address this situation, a no...

Synchronous languages are intended for programming reactive systems. Reactive systems, which include real-time systems and key operating system components, interact continually with their environment. This paper considers the applicability of imperative synchronous/reactive languages to the development of general system software, that is, to the implementation of operating system kernels, file ...

1 IVTE Supervisor 2 IVTE Studenship 3 GPEAD Members ABSTRACT This paper describes the Intelligent Virtual Teaching Environment (IVTE) implementation. IVTE software uses the newest technologies to develop educational software. Technologies like Multi-Agent Systems, Virtual Reality, Intelligent Tutoring Systems and Distance Learning are being used in it. The paper gives emphasis in reactive agent...

The other important property of reactive systems is the inherent concurrency of their functionality. By notions of modern software design, the natural concurrency in interaction between a reactive system and its environment and within the system itself has to be reflected on the embedded software architecture. Insisting on the resemblance between the real-life problem structure and the structur...

We show how to develop (i.e. specify, program and verify) a non-trivial reactive system, in a relatively easy way, using existing software tools and a bit of elementary mathematics. The reactive system is a lift controller, the software tools are the Lustre compiler 2] and the symbolic model checker Lesar 4], and the elementary mathematics is simply a basic propositional calculus.

Modern software development without reactive programming is hard to imagine. Reactive programming favors a wide class of contemporary software systems that respond to user input, network messages, and other events. While reactive programming is an active field of research, the implementation of reactive concepts remains challenging. In particular, change detection represents a hard but inevitab...