Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Ch4progadapartie1 2021 Université de Monastir Institut Supérieur d ? Informatique et de Mathématiques Cours Approche à base de composants et concurrence Filière MR-GL Chapitre La concurrence en Ada Partie Introduction à la programmation Ada Réalisé par Dr

Université de Monastir Institut Supérieur d ? Informatique et de Mathématiques Cours Approche à base de composants et concurrence Filière MR-GL Chapitre La concurrence en Ada Partie Introduction à la programmation Ada Réalisé par Dr Sakka Rouis Taou ?k Ch La concurrence en Ada Partie I Introduction Ada est un langage de programmation fortement recommandé pour le développement des systèmes distribués En e ?et le langage Ada o ?re des possibilités importantes vis- à-vis De la programmation structurée structuration de données types prédé ?nis et constructeurs de types simples et structurés et structuration de traitements structures de contrôle et les sous-programmes avec une distinction nette entre procédure et fonction De plus Ada est un langage fortement typé il est plus sévère que Pascal ?? De la programmation modulaire en o ?rant un concept puissant appelé package doté de deux parties interface package et implémentation package body CCh La concurrence en Ada Partie I Introduction ?? De la programmation générique en o ?rant la possibilité de concevoir et de réaliser des unités génériques sous- programmes et paquetages Ces unités peuvent être paramétrées sur de types variables et sous-programmes ?? De la gestion des exceptions ceci permet d ? écrire des logiciels robustes dans divers domaines critiques temps réel systèmes embarqués De la traitement de la concurrence le langage Ada o ?re des constructions intéressantes permettant d ? écrire des ? ? programmes concurrents ?ables De l ? analyse statique Ada est supporté par plusieurs outils permettant l ? analyse statique d ? un programme concurrent Ada tels que SPIN SMV INCA et FLAVERS Sachant que l ? analyse statique est une technique qui permet d ? analyser un programme sans toutefois l ? exécuter Ch La concurrence en Ada Partie I Introduction ? Domaines d ? application transport avionique et ferroviaire spatial militaire ? Exemples Airbus Boeing Fokker Tupolev Eurostar Metro Paris TGV Ariane et Satellites Intersat spatial sonde Cassini Huygens Soho Mars Express militaire Tigre Apache Patriot ? Exemples de projets Ada https www seas gwu edu mfeldman ada-project- summary html CCh La concurrence en Ada Partie II Notre premier programme en Ada with ada textio use ada textio procedure Hello is --partie réservée aux déclarations begin Put Salut tout le monde --on a ?che le message end Hello Ch La concurrence en Ada Partie II Notre premier programme en Ada ? Ada TextIO est un package créé pour gérer le texte comme son nom l'indique Text texte et IO In Out entrée et sortie ? Pour a ?cher un nombre entier il faut utiliser le package Ada IntegerTextIO ? Pour a ?cher un nombre reel il faut utiliser le package Ada FloatTextIO ? La fonction Newline permet de retourner à la ligne ? La fonction Put line fonctionne comme Put sauf qu'elle crée automatiquement un retour à la ligne à la ?n CCh La concurrence en Ada Partie III Variables I Typage et a ?ectation Exemples X Integer -- val dans Z A Natural -- val dans N C