Middleware for Internet of Things
Le concept d'informatique ubiquitaire «Ubiquitous Computing» ou informatique ambiante «Ambient Computing» a été développé par Mark Weiser * au cours des années 80 à Xerox PARC, pour désigner sa vision de l’ordinateur du 21ième siècle.
(*) M. Weiser. “The computer for the 21st century”, Scientific American, 1991. [Weiser, H-ind. 22.6]
Main Conferences and Journals
Books
[2013] Gaëlle Calvary, Thierry Delot, Florence Sèdes, Jean-Yves Tigli, editors. “Computer Science and Ambient Intelligence” 335 pages, ISTE Ltd and Wiley & Sons Inc, March 2013, ISBN 978-1-84821-437-8
[2012] Gaëlle Calvary, Thierry Delot, Florence Sèdes, Jean-Yves Tigli. “Informatique et Intelligence Ambiante : des Capteurs aux Applications (Traité Informatique et Systèmes d'Information, IC2)” Hermes Science, July 2012, ISBN 2-7462-2981-1
Videos
Illustrations of Service Continuity Challenge in Ambient Systems
For Mobility : AmbientComp Project, AmbientComp Project For Internet of Things : UbiFlood Project (Research Cooperation Programme with Asia), UbiFlood Project
Illustrations of UbiComp Middleware to facilitate Service Continuity Design in Ambient Systems
For Mobility : Continuum Project (National Research Agency), Continuum Project Videos
Lectures :
Lecture 1 : Introduction to Middleware for Internet of Things
- Lecturer : J.-Y. Tigli
- Author : J.-Y. Tigli
Materials : lecture1_mit_ubinet_2015_slides_middleware_internet_of_things.pdf
Introduction to Middleware from Internet of Things to Web of Things
- Challenges of Ubiquituous Computing Software
- Requirements to Design Ubiquituous Computing Software
- The purpose of a middleware
- from Distributed Computing (as the required student background) …
- … to Ubiquituous Computing
Other Links and References :
- Event oriented Middleware : MQTT,
Lecture 2 : From Services Oriented Middleware to Web of Things
- Lecturer : S. Lavirotte
Materials :
Reference :
- Journal of Internet Services and Applications, July 2011, Volume 2, Issue 1, pp 23-45, Service-oriented middleware for the Future Internet: state of the art and research directions, Valérie Issarny, Nikolaos Georgantas, Sara Hachem, Apostolos Zarras, Panos Vassiliadist, Marco Autili, Marco Aurélio Gerosa, Amira Ben Hamida
Techniques de l'ingénieur Management des systèmes d'information, Editions T.I., 2014, base documentaire : TIB302DUO, Service UPnP pour dispositifs autonomes,Tigli, J.-Y.; Hourdin, V. & Lavirotte, S.
Lecture 3 : Service Composition for Ubiquitous Computing
- Lecture : J.Y. Tigli
- Author : J.Y. Tigli
Service Composition Models :
- From Orchestration, Choregraphy (Language based : BPEL)
- To event driven approaches
- Introduction Event Driven and LighWeight Components based Composition : LCA / SLCA
Materials for the lecture :
Materials for the Tutorial : WComp
Lecture 4 : UbiComp Middleware and Verification
- Lecturer : A. Ressouche
- Author : A. Ressouche
- Introduction to critical system validation :
- Critical software characterization
- Critical software development :
- needs for formal methods
- introduction to validation techniques: testing, static analysis, fonctional verification
- Model-checking solution for critical software validation :
- Model specification with synchronous languages
- Model-checking techniques :
- Property expression with temporal logic
- Safety property validation
- Model-checking implementation
- Application to compenent based adaptive middleware for ubiquitous computing :
- Middleware critical component as synchronous monitors to allow validation
- The SCADE solution
- The CLEM solution
- CLEM to design synchronous monitors
- CLEM model-checking with observer method
- CLEM code generation in C# to implement synchronous monitors in middleware
- Asynchronous versus synchronus: entry and output event generators
- Synchronous monitor composition
Materials :
References:
- Model Checking, E. M. Clarke Jr., O. Grumberg and D. Peled, MIT Press.
- Synchronous Programming of Reactive Systems, N. Halbwachs, Kluwer Academic, sbn = {0-7923-9311-2}.
- Synchronous observers and the verification of reactive systems, N. Halbwachs, F. Lagnier and P. Raymond, In Third Int. Conf. on Algebraic Methodology and Software Technology, M. Nivat and C. Rattray and T. Rus and G. Scollo editors, Springr Verlag.
- Toward Validated Composition in Component-based Adaptive Middleware, Annie Ressouche, Jean-Yves Tigli and Oscar Carrillo. In “SC2011”, Zurich Suisse, E.J. Sven Apel (editor), LNCS Springer, July 2011, vol 6708, p 165-180, available from: http://hal.inria.fr//inria-00605915/en/.
- Composition and Formal Validation in Reactive Adaptive Middleware,Annie Ressouche, Jean-Yves Tigli, and Carillo Oscar. Research report, PULSAR – INRIA Sophia Antipolis - Laboratoire d'Informatique, Signaux, et Systemes de Sophia-Antipolis (I3S) / Equipe RAINBOW – Universite de Nice Sophia-Antipolis - CNRS : UMR6070, 02 2011. Available from: http://hal.inria.fr/inria-00565860/en/.
Lecture 5 : Practical Course on UbiComp Middleware and proved components
- Lecturer : A. Ressouche
The purpose of this practical course is to illustrate the Lecture4 and apply verification technique to the validation of critical components. The main goal is to design a validated crossroads component in a specific middleware (WComp).
Materials :
- Clem Toolkit: to use the software in the clem toolkit, put it in a dedicated folder and improve the Path environment variable with a path to this folder (see Tutorial 5 for detail).
- GenInOut: input, output event generator examples.
Lecture 6 : UbiComp, Context and Middleware for Self Adaptation
- Instructor : J.-Y. Tigli
- Materials :
- New package to install :
References :
- Book : L'adaptation dans tous ses états, Auteur(s): Lopisteguy Philippe / Rieu Dominique / Roose Philippe, Rubrique(s): Données – informatique – I.A. – IHM, Référence: 1029,
- David Garlan, Bradley Schmerl, and Shang-Wen Cheng, “Software Architecture-Based Self-Adaptation” in Autonomic Computing and Networking, M.K. Denko et al. (eds.),DOI 10.1007/978-0-387-89828-52,C Springer Science+Business Media, LLC 2009
- CANAL, Carlos, MURILLO, Juan Manuel, POIZAT, Pascal, et al. Software Adaptation. L'objet, 2006, vol. 12, no 1, p. 9-31.
Lecture 7 : Aspect of Assembly for Self Adaptation
- Instructor : S. Lavirotte
- Materials :
References :
- Daniel Cheung-Foo-Wo “Dynamic Adaptation by weaving aspects of assembly”, Ph.D. Thesis, University of Nice-Sophia Antipolis, 223 pages, March 2009.
- Jean-Yves Tigli, Stéphane Lavirotte, Gaëtan Rey, Vincent Hourdin, Daniel Cheung-Foo-Wo, Eric Callegari, Michel Riveill. “Wcomp Middleware for Ubiquitous Computing: Aspects and Composite Event-based Web Services” in Annals of Telecommunications (AoT), 64 (3-4), pages 197-214, Springer, 2009 AD
- Jean-Yves Tigli, Stéphane Lavirotte, Gaëtan Rey, Nicolas Ferry, Vincent Hourdin, Sana Fathallah, Christophe Vergoni et Michel Riveill. “Aspects of Assembly: from Theory to Performance”. LNCS Transactions on Aspect-Oriented Software Development (TAOSD), volume 7271, 2012. ISSN 1864-3027 (Print) 1864-3035 (Online).
Exam
Exam Modalities
- J.-Y. Tigli, S. Lavirotte, A. Ressouche
- Evaluated Tutorial on CLEM
- First part of a final paper exam as Multiple Choices Test Questions (MCQ)on all the lectures and tutorials
- Second part of a final paper is an exam with some synthetic answers to various questions on a selected paper per student. Papers should have beeen distributed at the beginning of the exam. After requests of the students, the papers have been sent on friday afternoon, the 7th of february.
Assigned Papers
| Abd El Messih Fadi | A survey about Composition Middleware in Pervasive Environments.pdf |
| Abdalla Omar | A survey about Context Aware Middleware.pdf |
| Afra Salim | A survey on self-healing systems approaches and systems.pdf |
| Alshabani Halima | A Survey on Service Composition Middleware in Pervasive Environments.pdf |
| Bachrouch ramla | A survey on Service Composition Middleware in Pervasive Environments.pdf |
| Belli Fabien | A_Survey_of_Context-aware_Middleware.pdf |
| Ben Alaya Aymen | IoT Survey.pdf |
| Bouakkazine Tarak | MUSIC Middleware Surpport for Sel-Adaptation in Ubiquituous and Service-Oreinted Environments.pdf |
| Bouhafa Nesrine | Policy-Driven Middleware for Self-Adaptation of Web Services Compositions.pdf |
| Boursier Alexandre | Role of Middleware in Internet of Things A Study.pdf |
| Cacciuttolo Olivier | Service oriented Middleware for Future Internet State of the Art Research Directions.pdf |
| Calvier Jean-Sebastien | Service Oriented Middleware for the Internet of Things A Perspective.pdf |
| Carunchio Rodolfo | Survey of Middleware .pdf |
| Daikhi Rahma | Survey_of_adaptation_system.pdf |
| Djimenou Loic Evrard Setondji | A survey about Composition Middleware in Pervasive Environments.pdf |
| Faizant Loic | A survey about Context Aware Middleware.pdf |
| Gebereselase Befekadu | A survey on self-healing systems approaches and systems.pdf |
| Gjata Eneina | A Survey on Service Composition Middleware in Pervasive Environments 2009.pdf |
| Gorrieri Cyril | A survey on Service Composition Middleware in Pervasive Environments.pdf |
| Hamrouni Karim | A_Survey_of_Context-aware_Middleware.pdf |
| Ismail Tarek | IoT Survey.pdf |
| Jacquelin Elie | MUSIC Middleware Surpport for Sel-Adaptation in Ubiquituous and Service-Oreinted Environments.pdf |
| Kaddouri Sara | Policy-Driven Middleware for Self-Adaptation of Web Services Compositions.pdf |
| Kharroubi Majdi | Role of Middleware in Internet of Things A Study.pdf |
| Lipchev Gatlin | Service oriented Middleware for Future Internet State of the Art Research Directions.pdf |
| Maugard Matthieu | Service Oriented Middleware for the Internet of Things A Perspective.pdf |
| Menage Emmanuel | Survey of Middleware .pdf |
| Nguyen Thai Ha | Survey_of_adaptation_system.pdf |
| Obreja Denis | A survey about Composition Middleware in Pervasive Environments.pdf |
| Paeta Suzy | A survey about Context Aware Middleware.pdf |
| Rambert Maurice | A survey on self-healing systems approaches and systems.pdf |
| Rifai Myriana | A Survey on Service Composition Middleware in Pervasive Environments.pdf |
| Roufast Romain | A survey on Service Composition Middleware in Pervasive Environments.pdf |
| Sabet Ahmed | A_Survey_of_Context-aware_Middleware.pdf |
| Sarray Ines | IoT Survey.pdf |
| Shoja Mahdi | MUSIC Middleware Surpport for Sel-Adaptation in Ubiquituous and Service-Oreinted Environments.pdf |
| Soni Hardik | Policy-Driven Middleware for Self-Adaptation of Web Services Compositions.pdf |
| Soroush Haddadi Nima | Role of Middleware in Internet of Things A Study.pdf |
| Sweyllam Lotus | Service oriented Middleware for Future Internet State of the Art Research Directions.pdf |
| Taleb Mohamed Yacine | Service Oriented Middleware for the Internet of Things A Perspective.pdf |
| Toth Ferenc | Survey of Middleware .pdf |
| Varava Anastasiia | Survey_of_adaptation_system.pdf |
| Zhang Yuanrui | A survey about Composition Middleware in Pervasive Environments.pdf |
| Zholtkevych Galyna | A survey about Context Aware Middleware.pdf |
| zou Enshuo | A survey on self-healing systems approaches and systems.pdf |
| Zouari Bilel | A Survey on Service Composition Middleware in Pervasive Environments.pdf |
Papers to download
a_survey_about_composition_middleware_in_pervasive_environments.pdf
a_survey_about_context_aware_middleware.pdf
a_survey_on_self-healing_systems_approaches_and_systems.pdf
a_survey_on_service_composition_middleware_in_pervasive_environments.pdf
a_survey_of_context-aware_middleware.pdf
music_middleware_surpport_for_sel-adaptation_in_ubiquituous_and_service-oreinted_environments.pdf
policy-driven_middleware_for_self-adaptation_of_web_services_compositions.pdf
role_of_middleware_in_internet_of_things_a_study.pdf
service_oriented_middleware_for_future_internet_state_of_the_art_research_directions.pdf
service_oriented_middleware_for_the_internet_of_things_a_perspective.pdf
NOTES about your assigned Paper
Between 10:00 AM and 12:15 AM, on February, the 11th 2014, you must write some notes on your assigned paper in a simple text editor. Be careful to regulary save your file.
To do what you can do, look at the Example of Notes file as examples.
At 12:15 AM send your text file as this :
- As an attached file of an email to tigli@unice.fr
- the name of the attached file will be “<your name>_<name of the file like just below>.txt”
- the subject of the email will be “[MUC EXAM BIBLIO][<your name>][<name of the file like just below>]”
Any wrong procedure (wrong title of the file, of the email) to send your notes will be penalized. Any delay to send me your notes will be penalized.
Software Tools
Last release of WComp
The last release of WComp consists in Addins and SharpDevelopp 3.X. Then you need :
Scade Software Tool
Links to download it : ET_SCADE64.zip or ET_SCADE64.zip
To install the Scade suite:
- Download the archive ET_SCADE64.zip
- Launch the setup: …\SCADE64\EsterelSCADE642\WINDOWS\SCADE\ScadeSetup; SCADE64 being the place where the archive has been extracted. Select the Design Verifier (at least) in order to install Scade model-checking tool.
- Define the user environment variable ESTERELD_LICENSE_FILE = <the path where the license file (ESTERELD.lic) is>. For instance, ESTEREL_LICENSE_FILE=C\Users\ar\Documents\Scade, the file ESTERELD.lic being at this place.
Planning 2013 2014
In Sophia Antipolis
- mardi 10 Décembre 2013 : 9h00 - 10h, Tigli, 10h15 - 12h15, Tigli
- mardi 17 Décembre 2013 : 08h00 - 9h00, Tigli, 9h15 - 12h15 Brel
- mardi 07 Janvier 2014 : 08h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
- mardi 14 Janvier 2014 : 09h00 - 10h00, Ressouche , 10h15 - 12h15, Ressouche
- mardi 21 Janvier 2014 : 08h00 - 10h00, Ressouche , 10h15 - 12h15, Ressouche
- mardi 28 Janvier 2014 : 09h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
- mardi 04 Février 2014 : 09h00 - 10h00, Lavirotte , 10h15 - 12h15 Lavirotte
- mardi 11 Février 2014 Exam : 09h00 - 12h00 Tigli, Lavirotte, Ressouche, Brel
In Tunis
- mardi 10 Décembre 2013 : 9h00 - 10h, Tigli, 10h15 - 12h15, Tigli
- mardi 17 Décembre 2013 : 09h00 - 10h00, Tigli, Brel : 10h15 - 12h15 Brel
- mardi 07 Janvier 2014 : 08h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
- InTunis, mercredi 15,16,17 Janvier 2014 (in french) : 4h , Ressouche , 4h, Ressouche
- mardi 21 Janvier 2014 : 08h00 - 10h00, Ressouche , 10h15 - 12h15, Ressouche
- mardi 28 Janvier 2014 : 09h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
- mardi 04 Février 2014 : 09h00 - 10h00, Lavirotte , 10h15 - 12h15 Lavirotte
- mardi 11 Février 2014 Exam : 09h00 - 12h00 Tigli, Lavirotte, Ressouche, Brel
Warning
Archives
Before 2009
Since 2009 in The international cursus of the MSc IFI "Ubiquitous Networking and Computing" of the University of Nice Sophia Antipolis.