{{ :mucimg.jpg?nolink&300|}} {{:drapeau_anglais.jpg?nolink&50|}} ====== 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 ===== [[http://ubicomp.org/ubicomp2014/|UbiComp Internation Conferences (also Pervasive Computing Conference and Internation Symposium on Wearable Computer]] [[http://www.middleware-conference.org/|Middleware Internation Conferences]] ===== Books ===== {{ :cours:wiley.jpg?direct&100|http://books.google.fr/books?id=bF_hfluZigsC&pg=PT58&lpg=PT58&dq=tigli+editeur+sedes+wesley&source=bl&ots=NQftqA4JpD&sig=ArzwCVPS2H26Wh-Q3kxBLmotBPI&hl=fr&sa=X&ei=UpClUpziJ-O-0QWSloH4CQ&ved=0CDIQ6AEwAA#v=onepage&q=tigli%20editeur%20sedes%20wesley&f=false }} {{ :cours:hermes.jpg?100|http://books.google.fr/books?id=bF_hfluZigsC&pg=PT58&lpg=PT58&dq=tigli+editeur+sedes+wesley&source=bl&ots=NQftqA4JpD&sig=ArzwCVPS2H26Wh-Q3kxBLmotBPI&hl=fr&sa=X&ei=UpClUpziJ-O-0QWSloH4CQ&ved=0CDIQ6AEwAA#v=onepage&q=tigli%20editeur%20sedes%20wesley&f=false }} [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 : [[http://www.ambientcomp.fr/|AmbientComp Project]], [[http://www.dailymotion.com/video/xqj9gm_ambientcomp-integrateur-gb-hd_tech|AmbientComp Project]] For Internet of Things : [[http://www.ubiflood.eu/|UbiFlood Project (Research Cooperation Programme with Asia)]], [[http://www.dailymotion.com/video/x10mnn4_ubiflood_tech|UbiFlood Project]] == Illustrations of UbiComp Middleware to facilitate Service Continuity Design in Ambient Systems == For Mobility : [[http://continuum.unice.fr/demo|Continuum Project (National Research Agency)]], [[http://continuum.unice.fr/demo|Continuum Project Videos]] ===== Lectures : ===== ---- ==== Lecture 1 : Introduction to Middleware for Internet of Things ==== ---- * Lecturer : J.-Y. Tigli * Author : J.-Y. Tigli Materials : {{:cours:lecture1_mit_ubinet_2015_slides_middleware_internet_of_things.pdf|}} {{:cours:lecture1_muc_ubinet_2014_slides_middleware_distributed-systems.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 : * Message oriented Middleware : [[http://www.indigoo.com/dox/wsmw/1_Middleware/JMS.pdf |JMS]],[[http://www.indigoo.com/dox/wsmw/1_Middleware/MSMQ.pdf |MSMQ]] * Event oriented Middleware : [[http://www.indigoo.com/dox/wsmw/1_Middleware/MQTT.pdf |MQTT]], * Object oriented Programming : [[http://www.indigoo.com/dox/wsmw/1_Middleware/RMI.pdf |RMI]], [[http://www.indigoo.com/dox/wsmw/1_Middleware/COM.pdf | COM]], [[http://www.indigoo.com/dox/wsmw/1_Middleware/CORBA.pdf | CORBA]] * Remote Procedure Call : [[http://www.indigoo.com/dox/wsmw/1_Middleware/SUN-RPC.pdf |SUN-RPC]],[[http://www.indigoo.com/dox/wsmw/1_Middleware/JSON-RPC.pdf |JSON-RPC]],[[http://www.indigoo.com/dox/wsmw/1_Middleware/XML-RPC.pdf |XML-RPC]] ==== Lecture 2 : From Services Oriented Middleware to Web of Things ==== * Lecturer : S. Lavirotte **Materials** : * [[http://stephane.lavirotte.com/teach/cours/mit/SoM4D.html| Lecture WoT ]] * {{:cours:tutorial2_wot_upnp.pdf| Tutorial WoT - UPnP }} * [[http://stephane.lavirotte.com/teach/mit.html| Lavirotte Web Page ]] **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 * [[http://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/management-des-systemes-d-information-42302210/service-upnp-pour-dispositifs-autonomes-h5002/|{{ :cours:logotechingenieur.png?link&80|}}]] **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 : {{:cours:lecture3_mit_ubinet_2015_slides_composition.pdf| Lecture 3}} Materials for the Tutorial : WComp {{:cours:tutorial3_composition_services_mit_ubinet_2014_2015.pdf|Tutorial 3}} ====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** : {{:cours:lecture4_mit_ubinet_verif_2015.pdf|Lecture4}} **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/. * [[http://www-sop.inria.fr/teams/pulsar/projects/Clem/|Clem]] ====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** : - {{:cours:tutorial_muc_ubinet_verif.pdf| Tutorial 5}}. - {{:cours:clem.zip | 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). - {{:cours:geninout-v1.zip | GenInOut}}: input, output event generator examples. This tutorial will be evaluated by the lecturer ** DEADLINE ** to Send your Project Files by email To: annie.ressouche@inria.fr, Cc: tigli@unice.fr IS **February, the 20th at 12:00 PM** {{ :cours:cepadues_adaptation_dans_tous_ses_etats.jpg?direct&100x200|http://www.cepadues.com/Pages/Livre/Livre.aspx?ID=772}} ====Lecture 6 : UbiComp, Context and Middleware for Self Adaptation ==== ---- * Instructor : J.-Y. Tigli * Materials : * {{:cours:lecture6_mit_ubinet_2014_2015_slides.pdf|Lecture 6}} * {{:cours:tutorial5.pdf| Tutorial 6}} * New package to install : * {{:cours:package_for_tutorial_6.zip|Package for the Tutorial 6}} == 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 : * {{:cours:lecture7_mit_ubinet_2014_2015_slides.pdf|Lecture 7}} * {{:cours:tutorial7.pdf| Tutorial 7 2015}} == 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 == {{:cours:A_survey_about_Composition_Middleware_in_Pervasive_Environments.pdf|}} {{:cours:A_survey_about_Context_Aware_Middleware.pdf|}} {{:cours:A_survey_on_self-healing_systems_approaches_and_systems.pdf|}} {{:cours:A_survey_on_Service_Composition_Middleware_in_Pervasive_Environments.pdf|}} {{:cours:A_Survey_of_Context-aware_Middleware.pdf|}} {{:cours:IoT_Survey.pdf|}} {{:cours:MUSIC_Middleware_Surpport_for_Sel-Adaptation_in_Ubiquituous_and_Service-Oreinted_Environments.pdf|}} {{:cours:Policy-Driven_Middleware_for_Self-Adaptation_of_Web_Services_Compositions.pdf|}} {{:cours:Role_of_Middleware_in_Internet_of_Things_A_Study.pdf|}} {{:cours:Service_oriented_Middleware_for_Future_Internet_State_of_the_Art_Research_Directions.pdf|}} {{:cours:Service_Oriented_Middleware_for_the_Internet_of_Things_A_Perspective.pdf|}} {{:cours:Survey_of_Middleware_.pdf|}} {{:cours:Survey_of_adaptation_system.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 [[:cours:NOTES_ON_A_survey_about_Composition_Middleware_in_Pervasive_Environments|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 "_.txt" * the subject of the email will be "[MUC EXAM BIBLIO][][]" 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 : * to download SharpDevlopp 3.X (3.2) on {{http://www.wcomp.fr/sharpwcomp3| link}} * to download and install the WComp addins on {{http://www.wcomp.fr/sharpwcomp3| link}} === Scade Software Tool === Links to download it : [[ftp://scade64:ScA8YCGFD@ftp.esterel-technologies.com/ET_SCADE64.zip|ET_SCADE64.zip]] or [[http://www-sop.inria.fr/members/Annie.Ressouche/zip/ET_SCADE64.zip|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** = . 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 ===== This page is supposed to evolve continuously with minor revisions. ====== Archives ====== ** Before 2009 ** {{:drapeau_anglais.jpg?30|}} [[:MUC_2009_2010 | Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)]] {{:drapeau_anglais.jpg?30|}} [[:IAM0110 | Middleware for Mobile Computing - SI5 - Masters IFI , Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010) ]] ** Since 2009 in {{http://ubinet.inria.fr/ | The international cursus of the MSc IFI "Ubiquitous Networking and Computing"}} of the University of Nice Sophia Antipolis. ** {{:drapeau_anglais.jpg?30|}} [[:IAM01 | Middleware for Ubiquituous Computing - SI5 - Polytech'Nice - Software Engineering Department (2008-2009)]] {{:drapeau_anglais.jpg?30|}} [[:MUC_2009_2010 | Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)]] {{:drapeau_anglais.jpg?30|}} [[:IAM0110 | Middleware for Mobile Computing - SI5 - Masters IFI , Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)]] {{:drapeau_anglais.jpg?30|}} [[:MUC_2010_2011 | Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2010-2011)]] {{:drapeau_anglais.jpg?30|}} [[:MUC_2011_2012 | Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2011-2012)]] {{:drapeau_anglais.jpg?30|}} [[:MUC_2012_2013 | Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2012-2013)]]