Scientific publications

When designing, adapting or extending a complex cyber physical system, it extremely difficult to guarantee that all parts cooperate correctly, especially when many parties are involved in the development process. We propose a new approach to identify and to solve problems in the early development phases, thus reducing costs in the system implementation, test and integration phases.

For preemptive scheduling, the discrete scheduling has the same capability as the continuous scheduling. However, most work previously done has been focused on the continuous scheduling. In this paper, a discrete analysis approach EmptySlots method is discussed and applied to fixed priority scheduling for constraint-deadline task model.

This paper describes efficient procedures for model checking Markov reward models, that allow us to evaluate, among others, the performability of computercommunication systems.We present the logic CSRL (Continuous Stochastic Reward Logic) to specify performability measures. It provides flexibility in measure specification and paves the way for the numerical evaluation of a wide variety of performability measures.

Nowadays, mobile devices are used more and more, and their battery lifetime is a key concern. In this paper, we concentrate on a method called battery scheduling with the aim to optimize the battery lifetime of mobile devices. This technique has already been largely theoretically studied in other papers.

Modern embedded multimedia systems process multiple concurrent streams of data processing jobs. Streams often have throughput requirements. These jobs are implemented on a multiprocessor system as a task graph. Tasks communicate data over buffers, where tasks wait on sufficient space in output buffers before producing their data.

To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timing primitives. In addition, we have defined an interface for the co-simulation of a VDM++ model with a continuous-time model of its environment.

This article contains three short abstracts of presentations given at the Sixth Workshop on Model-Based Testing (MBT 2010) on March 21, 2010 in Paphos, Cyprus: Theory of Model-Based Testing and How ioco Goes eco by Jan Tretmans (invited presentation), Model-Centric Testing by Florian Prester and Specification Model Based Testing in the Avionic Domain - Current Status and Future Directions by Philipp Helle and Wladimir Schamai.

Single-Rate Data-Flow (SRDF) graphs, also known as Homogeneous Synchronous Data-Flow (HSDF) graphs or Marked Graphs, are often used to model the implementation and do temporal analysis of concurrent DSP and multimedia applications. An important problem in implementing applications expressed as SRDF graphs is the computation of the minimal amount of buffering needed to implement a static periodic schedule (SPS) that is optimal in terms of execution rate, or throughput.

This paper deals with the innovation of software engineering technologies. These technologies are methods and tools for conducting software development and maintenance. We consider innovation as a process consisting of two phases, being technology creation and technology transfer. In this paper, we focus mainly on the transfer phase.

The problem of configuration of Wireless Sensor Networksis an interesting challenge. The objective is to find the settings, for eachsensor node, that optimise certain task-level QoS metrics. An existing configuration method is available for tree-based static networks. We ex-tend this method to support a mobile sink.