Remerciez-le!

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

Chap iv h13 CEG CSI ?? Conception de systèmes temps réel Chapitre ?? Outils de spéci ?cation et de validation des systèmes en temps réel Introduction Question Pourquoi des outils de spéci ?cations et de validation Conception d ? un système temps réel ? De

CEG CSI ?? Conception de systèmes temps réel Chapitre ?? Outils de spéci ?cation et de validation des systèmes en temps réel Introduction Question Pourquoi des outils de spéci ?cations et de validation Conception d ? un système temps réel ? Description et expression des contraintes temps réel ? Représentation simultanée de l ? évolution logique et temporelle du système ? Prédiction et estimation des temps de réponse ? Sélection de l ? architecture du matériel et du logiciel ? Le matériel conditionne les coûts de production ? Le logiciel conditionne les coûts de développement ? Compromis et équilibre matériel-logiciel Outils de spéci ?cations et de validation Spéci ?cations et cahier des charges Tout système temps réel doit faire l ? objet d ? un cahier des charges ou spéci ?cation Les problèmes techniques sont dénotés cahier des charges du système ils sont solutionnés comme suit Position du problème Étude et dé ?nitions cahier des charges Analyse ?ne du problème Implémentation de la solution Essais et tests Chapitre IV - CEG CSI ?? RNM ?? SITE ?? uOttawa ?? Hiver CRédaction d ? un cahier des charges La rédaction doit faire apparaitre a Les relations opératrices dans une expression claire sous forme graphique les textes restant souvent imprécis surtout lorsque le système évolue sur des voies parallèles b L ? importance des spéci ?cations qui sont de trois ordres - Les spéci ?cations fonctionnelles - Les di ?érentes fonctions que doit assurer le système doivent être décrites d ? une manière claire et précise - La chronologie des actions doit être conforme au processus - Faire apparaitre la sécurité de fonctionnement qui ne dépend pas de la technologie - Les spéci ?cations technologiques - Ont un aspect physique et technique - Les spéci ?cations opérationnelles - Utiliser le retour de service si le système a déjà fonctionné pour améliorer la ?abilité élimination des pannes facilité de la maintenance etc ? Place de la simulation dans l ? étude des systèmes temps réel La simulation est un processus qui consiste à - Concevoir un modèle du système réel étudié - Mener des expérimentations sur ce modèle et non pas des calculs - Interpréter les observations fournies par le déroulement du modèle et formuler des décisions relatives au système Outils de modélisation et de validation Méthodologie générale On distingue classiquement quatre phases distinctes La modélisation représenter le comportement du système la programmation l'expérimentation et l'interprétation des résultats accompagnée d ? actions Chapitre IV - CEG CSI ?? RNM ?? SITE ?? uOttawa ?? Hiver C a Modèle conceptuel Le modèle n'est qu'une approximation du système il est conditionné par l'objectif de l'étude b Expérimentation Il s'agit de construire des théories ou hypothèses qui prennent en compte le comportement observé Note Le passage du système au modèle conceptuel est une étape essentielle pour la simulation L ? étape de modélisation L ? étape de modélisation est une phase essentielle à la simulation Di ?érents points doivent être abordés ? Dé ?nir l'objectif de