Note
Information flow control of component-based distributed systems
Noninterference is a strong security policy that enforces confidentiality and integrity. Many solutions are proposed in the state of the art for verifying this policy in programs, but few tools are proposed to implement it. In this paper, we define a ...
A secured, automated, and dynamic end-to-end service level negotiation
Today, the emerging new services like voice over IP and video on demand require some guarantees in terms of QoS. These services can be accessed using wireless technologies, such as Wi-Fi or WiMAX Worldwide Interoperability for Microwave Access. This may ...
Randomized broadcasting in wireless mobile sensor networks
Wireless sensor networks are a new generation of networks that need specific models and algorithms. We are interested specifically in mobile wireless sensor networks that are considered as anonymous asynchronous distributed mobile systems. As broadcast ...
Flexible and energy-efficient duty cycling in wireless networks with MacZ
In wireless networks formed of battery-powered nodes, energy consumption is a major concern. On the communication side, energy can be saved by switching transceivers to idle or power-down mode when notneeded. To this end, duty cycling protocols located ...
Analysis of distributed multiperiodic systems to achieve consistent data matching
The distributed real-time architecture of an embedded system is often described as a set of communicating components. Such a system is dataflow for its description and time triggered for its execution. The architecture forms a graph of communicating ...
Formal system-level design space exploration
DIPLODOCUS is a UML profile intended for the modeling and the formal verification of real-time and embedded applications commonly executed on complex Systems-on-Chip. DIPLODOCUS implements the Y-chart approach, that is, application and HW architecture ...
Automatic configuration generation for service high availability with load balancing
The need for highly available services is ever increasing in various domains ranging from mission-critical systems to transaction-based ones such as banking. The Service Availability Forum has defined a set of services and related API specifications to ...
