Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.

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

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

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
Illustrations of UbiComp Middleware to facilitate Service Continuity Design in Ambient Systems

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

  1. Challenges of Ubiquituous Computing Software
  2. Requirements to Design Ubiquituous Computing Software
  3. The purpose of a middleware
    1. from Distributed Computing (as the required student background) …
    2. … to Ubiquituous Computing

Other Links and References :

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 :

Lecture 3

Materials for the Tutorial : WComp

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 :

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/.

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 :

  1. 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).
  2. 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

http://www.cepadues.com/Pages/Livre/Livre.aspx?ID=772

Lecture 6 : UbiComp, Context and Middleware for Self Adaptation


  • Instructor : J.-Y. Tigli
  • Materials :
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
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

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 :

  • to download SharpDevlopp 3.X (3.2) on link
  • to download and install the WComp addins on link

Scade Software Tool

Links to download it : ET_SCADE64.zip or ET_SCADE64.zip

To install the Scade suite:

  1. Download the archive ET_SCADE64.zip
  2. 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.
  3. 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

  1. mardi 10 Décembre 2013 : 9h00 - 10h, Tigli, 10h15 - 12h15, Tigli
  2. mardi 17 Décembre 2013 : 08h00 - 9h00, Tigli, 9h15 - 12h15 Brel
  3. mardi 07 Janvier 2014 : 08h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
  4. mardi 14 Janvier 2014 : 09h00 - 10h00, Ressouche , 10h15 - 12h15, Ressouche
  5. mardi 21 Janvier 2014 : 08h00 - 10h00, Ressouche , 10h15 - 12h15, Ressouche
  6. mardi 28 Janvier 2014 : 09h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
  7. mardi 04 Février 2014 : 09h00 - 10h00, Lavirotte , 10h15 - 12h15 Lavirotte
  8. mardi 11 Février 2014 Exam : 09h00 - 12h00 Tigli, Lavirotte, Ressouche, Brel

In Tunis

  1. mardi 10 Décembre 2013 : 9h00 - 10h, Tigli, 10h15 - 12h15, Tigli
  2. mardi 17 Décembre 2013 : 09h00 - 10h00, Tigli, Brel : 10h15 - 12h15 Brel
  3. mardi 07 Janvier 2014 : 08h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
  4. InTunis, mercredi 15,16,17 Janvier 2014 (in french) : 4h , Ressouche , 4h, Ressouche
  5. mardi 21 Janvier 2014 : 08h00 - 10h00, Ressouche , 10h15 - 12h15, Ressouche
  6. mardi 28 Janvier 2014 : 09h00 - 10h00, Tigli , 10h15 - 12h15, Tigli
  7. mardi 04 Février 2014 : 09h00 - 10h00, Lavirotte , 10h15 - 12h15 Lavirotte
  8. mardi 11 Février 2014 Exam : 09h00 - 12h00 Tigli, Lavirotte, Ressouche, Brel

Warning

This page is supposed to evolve continuously with minor revisions.

Archives

cours/muc_2013_2014.txt · Dernière modification: 2015/02/13 15:46 par ressouche
Piste: Middleware for Internet of Things
Dieses Dokuwiki verwendet ein von Anymorphic Webdesign erstelltes Thema.
CC Attribution-Noncommercial-Share Alike 3.0 Unported
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0