Seminars

MOCS - séminaire poster 2019

Lorient

Tuesday, April 30, 2019

Le séminaire poster permet de réunir les collègues de toute l'équipe et d'échanger autour d'un poster, déjà présenté lors d'une manifestation scientifique ou créé pour l'occasion.

Chaque poster fait l'objet d'un "teaser", présenté devant l'assemblé.

Les teasers pour cette session 2019 sont disponibles dans le fichier ci-dessous.
Un template pour vous aider à élaborer une seule planche qui résume rapidement le poster est proposé.
Utiliser le template n'est pas obligatoire. Une seule règle : une seule page en pdf !
à renvoyer à Kevin Martin pour le 23/04/2019 à 18h.

Il n'y a pas de service d'impression sur place.
! Les exposants doivent venir avec leur poster imprimé !

Rendez vous à l'amphi Sciences 2 à 12h (UFR sciences, rue Saint Maudé à Lorient).
Rendez-vous pour tout le monde à 13h30 à l'amphi Sciences 2.
Présentation de tous les posters en mode "teaser" (90 secondes) à partir de 13h30.
Tour des posters vers 14h.
Bilan et fin du séminaire prévus vers 16h/16h30.

Download : [pdf] 1allteasers-seminarpostermocs2019.pdf (4.43 Mo)

PRASYS seminar

03/29/19 - 14:00 - ENSTA Bretagne, room D002

Friday, March 29, 2019

 

Irène MOPIN, Research engineer at ENSTA Bretagne - S2MF Astrid Project 

"Use of non-linear acoustic properties of sea-water to characterize the seafloor. Multifrequency singlebeam echosounder and side scan sonar design and development"

Singlebeam echosounders and sonars are nowadays mainly used to study the watercolumn (fisheries acoustics) or the seabed by associating the acoustic backscattering energy to the sounding. In the watercolumn, scatterers (fishes, plancton layers, …) acoustic responses are typical of each targets and their frequency variations allow us to identify species [1]. Likewise, each type of seafloor has its particular backscattering index (BS for Backscattering Strength)  which depends on frequency and also on beam incident angle θ on the seabed [2]. The resulting BS(f,θcurves are used for seafloor characterisation. In that respect, to study all those targets by acoustics, a large panel of frequencies is necessary. But, as sounders of the market are mostly narrow-band, several echosounders must be used in parallel to achieve this aim. Such a system becomes quickly bulky and costly when a large range of frequencies is needed. Therefore, we propose in the S2MF project two prototypes of singlebeam echosounder and sonar able to generate multiple frequencies simultaneously thanks to non-linear properties of acoustic waves in sea water. Wide-band receivers had also been developed in this project with the purpose to characterise the seabed. First, the principles of waves generation and their non-linear propagation will be exposed, with associated in-tank measurements and model. Then, the reflectivity data-processing will be explained : computation of the backscattering index BS, sonar equation compensations, estimation and modelling of BS(f,θ) curves. Finally, results and analysis of measurements at sea will be discussed.

[1] Laurent Berger, Verena M. Trenkela. A fisheries acoustic multi-frequency indicator to inform on large scale spatial patterns of aquatic pelagic ecosystems. Ecological Indicators, Integrating Sciences for Monitoring, Assessment and Management, 2013

[2] Xavier Lurton, Ifremer, GEOHAB Workshop, 2013

 

Thanh Huy NGUYEN, PhD student at IMT-A Plouzané, supervised by J.M. Le Caillec and D. Gueriot

"Methodology of 3D mosaic construction by the fusion of airborne LiDAR data and optical imagery"

 The perception of an environment and its follow-up applications require using multiple heterogeneous sensors to capture specific and informatively complementary characteristics of this environment, in order to improve the scope and/or the quality of the acquired information [1]. In an urban and natural context, airborne LiDAR (Light Detection And Ranging) systems are widely used for providing accurate 3D surface information and 3D geometry of objects and ground elements in the scattered-point data modality thanks to its range detection principle; whereas aerial and satellite photogrammetry supplies semantic and texture information in the form of spectral imagery. Over the years, existing works in the domain of data fusion between optical imagery and airborne LiDAR data have addressed very specific acquisition contexts, in which the datasets are already registered and/or they are acquired from the same platform, at identical or very close dates [2] [3]. As a consequent, they have never intended to overcome the inherent obstacles of the context where data sets collected from different platforms with different acquisition configuration (e.g. flying track, height, orientation, etc.) at different moments and even in different seasons, with different spatial resolutions and levels of detail. This context also relates to the rise of Geographical Information System (GIS) availability, in particular through the open data movement, that requires the integration of data from multiple and heterogeneous sources. However, a solution that is versatile enough to satisfy this difficult context has not been found yet [4]. Motivated by this unresolved research problem, we propose a methodology of fusion of airborne LiDAR data and optical imagery, including a novel feature-based registration approach capable of overcoming the challenges of the aforementioned research context. We focus on urban scenes and more specifically on buildings as primitives on which the matching between the datasets relies.

[1]  Mitchell, H. B. (2007). Multi-Sensor Data Fusion: An Introduction. Berlin, Heidelberg: Springer Berlin Heidelberg.

[2]   Debes, C., Merentitis, A., Heremans, R., Hahn, J., Frangiadakis, N., van Kasteren, T., Pacifici, F. (2014). Hyperspectral and LiDAR Data Fusion: Outcome of the 2013 GRSS Data Fusion Contest. IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing7(6), 2405–2418.

[3]   Vo, A.-V., Truong-Hong, L., Laefer, D. F., Tiede, D., D’Oleire-Oltmanns, S., Baraldi, A., … Tuia, D. (2016). Processing of Extremely High Resolution LiDAR and RGB Data: Outcome of the 2015 IEEE GRSS Data Fusion Contest—Part B: 3-D Contest. IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing9(12), 5560–5575.

[4] Zhang, J., & Lin, X. (2017). Advances in fusion of optical imagery and LiDAR point cloud applied to photogrammetry and remote sensing. International Journal of Image and Data Fusion8(1), 1–31.

 

ACID - Approche formelle pour la vérification et la sécurité de la composition de logiciels

Mohamed Graeit

Wednesday, February 6, 2019

Mercredi 6 février à 14h

La réutilisation est un concept clé dans la construction de systèmes logiciels. Elle permet de composer un ensemble de logiciels existants pour construire de nouveaux logiciels à valeur ajoutée. Dans le contexte de notre travail, on s'intéresse à la composition de deux types de logiciels, à savoir les services Web et logiciels libres à base de packages FOSS (Free and Open Source Software). La vérification de la correction de la composition pour la sécurité de logiciels FOSS et de services Web reste l’une des tâches les plus difficiles malgré les efforts et les travaux de recherches entrepris. Un service composé est déclaré correct s’il respecte un ensemble d’exigences de deux types: les exigences transactionnelles et de QoS (la sécurité des exigences métiers). Les exigences de QoS sont définies sous la forme d’un contrat SLA (service-level agreement). Un contrat SLA est un ensemble de contraintes de QoS. Les exigences transactionnelles sont spécifiées par les concepteurs en utilisant le concept d’états de terminaison acceptés (ETA) (sécurité de l’orchestration des services). Un logiciel composite FOSS est dit correct s’il respecte un ensemble de contraintes de dépendances (sécurité de transaction) et de capacités (sécurité de stockage). Pour parvenir à résoudre ce problème de vérification, nous proposons une approche formelle fondée sur la méthode Event-B. Une telle approche se résume en deux points:
i) Une formalisation Event-B de la composition de services avec Event-B.
ii) Une formalisation Event-B de la composition de logiciels FOSS dans un contexte cloud.

ACID - les moyens de virtualisation de la plate-forme SCAP

Florent de Lamotte

Tuesday, December 4, 2018

Cette intervention présentera les outils mis en place pour virtualiser le système d'information d'une entreprise dans le cadre de la plate-forme SCAP. Les différents outils et matériels mis en oeuvre seront présentés parmi lesquels le serveur de virtualisation équipé de l'hyperviseur Proxmox, les switches, les pare-feux ainsi qu'une solution de monitoring réseau.

PRASYS seminar

11/29/18 - 14h00 - ENSTA Bretagne, room D002

Thursday, November 29, 2018

 

Title : Blackbox and Gray-box Optimization

Speaker : Jordan Ninin, associate professor, Lab-STICC, ENSTA Bretagne

Abstract: Some problems do not possess the required structure to be addressed by classical optimization methods: find the best default parameter of software, or minimize a function build from a numerical simulation. In this presentation we focus on optimization problem where the function to minimize come from an expensive simulation in terms of computational time. This problem can be non-smooth, discontinuous and may even be contaminated by numerical noise. There are named blackbox optimization or derivative-free optimization problems. We also detail an idea to deal with problems where the objective function or constraints are partially known (gray-box optimization), by combining two softwares NOMAD and IBEX.

 

ACID - Unified LTL Verification and Embedded Execution of UML Models

23 October 2018 - 14h

Tuesday, October 23, 2018

Valentin Besnard (PhD student)

The increasing complexity of embedded systems leads to uncertain behaviors, security flaws, and design mistakes. With model-based engineering, early diagnosis of such issues is made possible by verification tools working on design models. However, three severe drawbacks remain to be fixed. First, transforming design models into executable code creates a semantic gap between models and code. Furthermore, for formal verification, a second transformation (towards a formal language) is generally required, which complicates the diagnosis process. Finally, an equivalence relation between verified formal models and deployed code should be built, proven, and maintained. To tackle these issues, we introduce a UML interpreter that fulfills multiple purposes: simulation, formal verification, and execution on both desktop computer and bare-metal embedded target. Using a single interpreter for all these activities ensures operational semantics consistency. We illustrate our approach on a level crossing example, showing verification of LTL properties on a desktop computer, as well as execution on a stm32 embedded target.

Invited speakers

An SDN-based approach to secure MPSoCs

Wednesday, July 18, 2018

Soultana Ellinidou (phd student), Gaurav Sharma (post-doc researcher)
University: Cyber security research center, Université libre de Bruxelles (ULB)

In recent years, Multi Processor System-on-Chips (MPSoCs) are widely deployed in embedded applications. The Cloud-Of-Chips (CoC) is a scalable MPSoC architecture comprised of a variable number of interconnected Integrated Circuits (IC) and Processing Clusters (PC). The Network on Chip (NoC) is now the de facto way of on-chip communication for any scalable MPSoC architecture. The Software Defined Networking (SDN) can be a viable alternative to reduce the current NoC complexity by decoupling the control logic from physical to software layer. Security on SDNoC is of high interest. For instance, in order to execute a sensitive application on an MPSoC platform, a number of PCs  is allocated. These PCs create a virtual zone to run the application securely. The creation of such security zones can be easily managed with the help of SDN approach.

PRASYS seminar

06/27/18 - 10h00 - ENSTA Bretagne, amphitheater 3

Wednesday, June 27, 2018

 

Title : Satellite SAR interferometry

Speaker : Jean-Marie Nicolas,  Professor at IDS (Images, Données, Signal) department, Telecom ParisTech

Download : [pdf] confinterferometrie_jmnicolas_270618.pdf (6.94 Mo)

PRASYS seminar

06/12/18 - 10h00 - ENSTA Bretagne, amphitheater 1

Thursday, December 6, 2018

 

Title : Locomotion dynamics for bioinspired robotics

Speaker : Frédéric Boyer, Professor in robotics, LS2NIMT-Atlantique, Nantes

Invited speakers

10h-12h, room 117-A (salle de réunion 1), 1er étage, Bâtiment LC, site AES, UBO

Wednesday, June 13, 2018

Pierre Olivier
Title: Accelerating the Adoption of Unikernels

Abstract: Unikernels are specialized and lightweight virtualized guests that can be viewed as an application of the Exokernel/LibOS model to the cloud. While they provide multiple benefits in various application domains, unikernels struggle to gain widespread popularity due to several limitations. In this presentation, we will address some of these limitations, in particular the difficulty to port existing/legacy applications to current unikernel models.
Bio: Pierre Olivier achieved his PhD degree from University of South/Western Brittany in 2014. Afterwards he joined Virginia Tech for a postdoc, and he is now a research assistant professor there. His research interests include operating systems, virtualization, storage management, performance/energy analysis and improvement, as well as heterogeneous systems.

Zili Shao
Title: Optimizing Memory/Storage Systems for Big Data Applications

Abstract: Optimizing memory/storage is one of the most critical issues in big data systems as huge amount of data need to be stored/transferred/processed in memory and storage devices. In this talk, I will introduce our recent work in optimizing memory/storage systems for big data applications. In particular, I will present an approach by deeply integrating device and application to optimize flash-based key-value caching – one of the most important building blocks in modern web infrastructures and high-performance data-intensive applications. I will also briefly talk about the challenges and opportunities by utilizing the NVDIMM (Non-Volatile Dual In-line Memory Module) technologies to reduce the long I/O latency for big data workloads. Finally, I will introduce the department of computing at Hong Kong Polytechnic University (i.e. staff, student, curriculum, management, etc.).
Bio: Zili Shao is an Associate Professor and Associate Head in the Department of Computing, Hong Kong Polytechnic University, Hong Kong.  He received the B.E. degree in electronic mechanics from the University of Electronic Science and Technology of China, China, in 1995, and the M.S. and the Ph.D. degrees from the Department of Computer Science, University of Texas at Dallas, Dallas, TX, USA, in 2003 and 2005, respectively. His current research interests include embedded software and systems, storage systems and related industrial applications.

Page(s):  1  2  3  4  5 

©2016-2020 Azimut - Website design & Interactive kiosks Legal information | Site map