ArtistDesign NoE

Dagstuhl: Model-Based Engineering of Embedded Real-Time Systems

2007-03-20T10:44:45Z

Dagstuhl events are by invitation only.

In today's world embedded real-time systems have become a crucial element in most advanced technical systems such as airplanes, cell phones, and cars. Embedded software has therefore become a main driver of innovation. The complexity of embedded and networked software nowadays often reaches a level at which development, evolution, and maintenance are serious challenges using state-of-practice code-centric and implementation-oriented techniques. The newly emerging technology called “Model-Based Engineering” applied to “Embedded Real-Time Systems” therefore has become a topic of utmost importance for research and industry.

See it online!

Dagstuhl: Formal Protocol Verification Applied

2007-03-20T10:36:49Z

Dagstuhl events are by invitation only.

Security protocols are a core part of distributed computing systems, and are part of our everyday life since they are used in web servers, email, mobile phones, bank transactions, etc. However, security protocols are notoriously difficult to get right. There are many cases of protocols which are proposed and considered secure for many years, but later found to have security flaws. Formal methods offer a promising way for automated security analysis of protocols. While there have been considerable advances in this area, most techniques have only been applied to academic case studies and security properties such as secrecy and authentication. The aim of the proposed seminar is to bring together researchers deploying security protocols in new application areas, cryptographers and researchers from formal methods who analyse security protocols. The interaction between researchers from these different communities will open new research topics, e.g., identify new security properties that need verification and refine abstractions of the abstract models of crytpographic primitives. See it online!

Dagstuhl: Mobile Interfaces Meet Cognitive Technologies

2007-03-20T10:33:51Z

Dagstuhl events are by invitation only.

The ubiquity and miniaturization of mobile sensing devices as well as the increase of computational power of mobile and handheld devices has led to a large increase in research, algorithms and applications in the area. In the near future mobile imaging technology will become ubiquitous such as in camera phones, vision enhanced handhelds, and wearable cameras. Beyond passive data display and transmission, future information technologies will provide smart mobile services being capable of real-time analysis, purposeful selection and interpretation of enormous quantities of sensed and retrieved data. Image understanding for mobile multimodal interfaces would make new approaches possible in object recognition, context awareness, and augmented reality, aiming towards application scenarios of personal assistance, mobile work, and assistive services. The research challenges are not only efficiency, speed and low-complexity algorithms, but also additional demands on robustness of interpretation because of the mobility of the devices as well as the impact of dynamically changing and noisy conditions within urban environments. Since multi-sensor information analysis affords cueing and indexing into databases with nowadays huge information spaces, the sensed data have to be processed in an intelligent way to provide "in time delivery" of the requested relevant information. Knowledge has to be applied in an intelligent way about what needs to be attended to, and when, and what to do in a meaningful sequence, in correspondence with multi-sensor feedback. See it online!

Dagstuhl: Tools for the Model-based Development of Certifiable, Dependable Systems

2007-03-20T10:08:42Z

Dagstuhl events are by invitation only.

The goal of this workshop is to bring together people working on the certification of dependable systems, those working in projects which aim at developing and validating (semi-)formal methods and tools for modelling and verification, and actual developers from the dependable systems industry (the organisers of the seminar are involved in several projects with industry partners which are on the list of invitees).

In particular we would like to discuss the following topics:

Experiences from running or completed certification projects,
The requirements on suitable models and methods, both from a the standpoint of software and system development and from the view of certification,
Presentation and evaluation of existing models and analysis methods, being currently applied in different application domains where dependability is relevant like e.g. medical devices or transport systems,
Similarities and differences with respect to the methods that are required in the standards and norms relevant for certification in different domains,
Tools – experiences and new developments.

See it online!

Dagstuhl: Geometry in Sensor Networks

2007-03-20T09:59:49Z

Dagstuhl events are by invitation only.

Wireless sensors offer exciting new possibilities for both passive monitoring and active intervention in all environments that matter to our health, security, economy, and life. Due to their tiny size and untethered nature, these mass-produced intelligent sensors can be deployed, cheaply and broadly, in many areas where data collection using traditional means is impossible due to either wiring costs or physical access constraints. Once deployed, these devices can collaboratively sense and reason about wide-area phenomena and provide a distributed awareness that no centralized system can attain.

See it online!