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]

UbiComp Internation Conferences (also Pervasive Computing Conference and Internation Symposium on Wearable Computer

Middleware Internation Conferences

[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

For Mobility : AmbientComp Project, AmbientComp Project For Internet of Things : UbiFlood Project (Research Cooperation Programme with Asia), UbiFlood Project

For Mobility : Continuum Project (National Research Agency), Continuum Project Videos

• 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 :

• Message oriented Middleware : JMS,MSMQ
• Event oriented Middleware : MQTT,
• Object oriented Programming : RMI, COM, CORBA
• Remote Procedure Call : SUN-RPC,JSON-RPC,XML-RPC

• Lecturer : S. Lavirotte

Materials :

• Lecture WoT
• Tutorial WoT - UPnP

• 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

• 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 : 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

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

• 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. Tutorial 5.
2. 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).
3. GenInOut: input, output event generator examples.

• Instructor : J.-Y. Tigli
• Materials :

• Lecture 6
• Tutorial 6

• New package to install :
  • Package for the Tutorial 6

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

• Instructor : S. Lavirotte

• Materials :
  • Lecture 7
  • Tutorial 7 2015

• 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).

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

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

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

survey_of_middleware_.pdf

survey_of_adaptation_system.pdf

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.

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

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.

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

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

Before 2009

Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)

Middleware for Mobile Computing - SI5 - Masters IFI , Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)

Since 2009 in The international cursus of the MSc IFI "Ubiquitous Networking and Computing" of the University of Nice Sophia Antipolis.

Middleware for Ubiquituous Computing - SI5 - Polytech'Nice - Software Engineering Department (2008-2009)

Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)

Middleware for Mobile Computing - SI5 - Masters IFI , Polytech'Nice Sophia Antipolis - Software Engineering Department (2009-2010)

Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2010-2011)

Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2011-2012)

Middleware for Ubiquituous Computing - SI5 - Masters IFI and UbiNet, Polytech'Nice Sophia Antipolis - Software Engineering Department (2012-2013)