Software-Defined Networks’ technologies introduce programmatic ways to reorganize the network logical topology. To achieve this, the switches in the network interact with a set of controllers, these controllers can dynamically update the switches configuration based in received events. A possible practical field of use of Software-Defined Networks’ is the one called Reactive Routing. On Reactiv...

Control systems for telescopes and their instruments are reactive systems very well suited to be modelled using Statecharts formalism. The World Wide Web Consortium is working on a new standard called SCXML that specifies XML notation to describe Statecharts and provides a well defined operational semantic for run-time interpretation of the SCXML models. This paper presents a generic applicatio...

Three approaches to the problem of testing synchronous data-flow programs written in LUSTRE are presented. LUSTRE is a language well-adapted to both the specification and the development of reactive software. The first approach automatically transforms a set of LUSTRE invariant properties characterizing the environment of the reactive program into a constrained random generator of test data seq...

{ Existing software scheduling techniques limit the functions that can be implemented in software to those with a restricted class of timing constraints, in particular those with a coarse-grained, uniform, periodic behavior. In practice, however , many systems change their I/O behavior in response to the inputs from the environment. This paper considers one such class of systems, called reactiv...

Iterative software methodologies allow development teams to be agile in their response to changing requirements and dynamic projects environments. Largely, however, the development team is limited to being reactive to requirement churn occurring outside the purview of the software development team itself. This paper describes a method based on the study of over two million patents, called inven...

This paper presents the results of a study of how software process and software process improvement (SPI) is applied in actual practice in the software industry using the indigenous Irish software product industry as a test-bed. The study used the grounded theory methodology to produce a theory, grounded in the field data, that explains how software processes are formed and evolve and when and ...

Programming complex embedded systems involves reasoning through intricate system interactions along lengthy paths between sensors, actuators, and control processors. This is a challenging, time-consuming, and error-prone process requiring significant interaction between engineers and software programmers. Furthermore, the resulting code generally lacks modularity and robustness in the presence ...

introduction: peripheral reactive lesions of soft tissue are common oral lesions that dentists face during routine examinations. diagnosis and development of a treatment plan is difficult if dentists are not aware of the prevalence and clinical symptoms of these lesions. the frequency of these lesions differs across various populations. the aim of this study was to determine the frequency and d...

sleep deprivation has negative effects on performance and resulted in elevating of mortality risk, cardiovascular disease and diabetes. the purpose of this study was to investigate the effects of 30 hour sleep deprivation on serum levels of c-reactive protein, blood lactate, muscular strength and physiological factors of rast test in active students. the present study was a semi-experimental on...