-
Reachability Analysis of Hybrid Systems using Support Functions
In model based design, one constructs a mathematical model of the system and uses it to design the system so that it exhibits the desired properties. For safety... -
Formalism for the high-level design of hard real-time embedded systems
Real-time embedded systems are at the core of modern industrialized societies. They are a privileged target for the application of formal methods. The importance of... -
Optimization methods for side channel attacks
The security of modern embedded systems has been the subject of intensive research in engineering areas. Recent threats called Side-Channel Analysis (SCA) have... -
Exploration architecturale pour la conception d'un système sur puce de vision...
This Ph.D Thesis stands at the crossroads of three scientific domains : algorithmarchitecture adequacy, bio-inspired vision systems in mobile robotics, and image... -
Analyse de diagnosticabilité d'architecture de fonctions embarquées - Applica...
An embedded system can be defined as a constrained autonomous hardware and software system, dedicated to a specific task. The failures of embedded systems are... -
Case Study Modeling Using MARTE
Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services... -
Suivi de santé auto-alimenté et basse consommation des matériaux composites p...
En matière de contrôle de santé de structure intégré (SHM), on observe une demande croissante pour le déploiement de réseaux d'actuateurs et de capteurs sans fil et le... -
Design and Analysis for Multi-Clock and Data-Intensive Applications on Multip...
With the increase in the integration of functions, modern embedded systems have become very smart and sophisticated. The typical examples of this tendency are last... -
Modular diagnosability applied to on line Diagnosis of Digital Embedded System
Today, embedded systems are increasingly used to control complex systems. In this thesis, we are interested in critical embedded systems used for the control of... -
Modélisation de l'étude de cas avec MARTE
Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine énergie,... -
Analyse à partir du modèle
Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine énergie,... -
Evidential perception grids for robotics navigation in urban environment
The research presented in this thesis focuses on the problem of the perception of the urban environment which is complex and dynamic in the presence of noisy and... -
Localisation par vision multi-spectrale. Application aux systèmes embarqués
The SLAM (Simultaneous Localization and Mapping) problematic is widely studied from years at LAAS. The aimed application is the development of a helping rolling system... -
Reconfigurable components software architecture of distributed embedded systems
An embedded software system is reconfigurable when it can modify its behavior or its architecture. The reconfigurations are launched according to the evolution of... -
Environnement de coopération de simulation pour la conception de systèmes cyb...
International audience -
Distributed Implementations of Component-based Systems with Prioritized Multi...
Distributed software is often required for new systems, because of efficiency and physical distribution and sensors and actuators. Ensuring correctness of a... -
Proposition of an "active" monitoring architecture based on smart agents for ...
Over the last two decades, embedded systems have been introduced in several application areas (transportation, industry, housing, medical...). These systems have... -
Java et OSGi embarqué sur Microprocesseur ARM9
Dans cet article nous allons décrire l'utilisation de la plate-forme OSGi sur un système embarqué industrialisé. Le but de notre application est de pouvoir utiliser...
