Le séminaire du LSV

Le séminaire du LSV a lieu le mardi à 11h00. Le lieu habituel est la salle de conférences au Pavillon des Jardins (plan d'accès). Pour être informé par email des prochains séminaires, contacter Stéphane Le Roux and Matthias Fuegger.

Le séminaire du LSV est public et ne nécessite aucune inscription préalable.

Séminaires passés

Conflict-Tolerant Real-Time Features

Visiter le site web pour cet événement | Exporter cet événement au format iCalendar

Date
Le mardi 29 avril 2008 à 11:00
Lieu
Salle de Conférence (Pavillon des Jardins)
Orateur
Deepak D'Souza (IISc, Bangalore, India)

This work addresses the problem of detecting and resolving conflicts due to timing constraints imposed by features in real-time systems. We consider systems composed of a base system with multiple "features" or "controllers", each of which independently advises the system on how to react to input events so as to conform to their individual specifications. We propose a methodology for developing such systems in a modular manner based on the notion of "conflict-tolerant" features that are designed to continue offering advice even when their advice has been overridden in the past. We give a simple priority-based scheme for composing such features, which guarantees the "maximal" use of each feature. We provide a formal framework for specifying such features, and a compositional technique for verifying systems developed in this framework.

This is joint work with Madhu Gopinathan, Prahlad Sampath, and S. Ramesh.


À propos du LSV

Agenda des séminaires

Exporter l'agenda au format iCalendar | Les séminaires précédents

mar. 19 février

Les séminaires précédents