Author: Philippe Vanheeghe
Publisher:
ISBN:
Category :
Languages : en
Pages : 88

View

Book Description

Author: KORDON Fabrice
Publisher: Lavoisier
ISBN: 2746289008
Category : Embedded computer systems
Languages : en
Pages : 322

View

Book Description
Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).

Author: Mihaela Mares
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0

View

Book Description

Author: Jean-Louis Le Moigne
Publisher:
ISBN: 9782100043828
Category :
Languages : fr
Pages : 178

View

Book Description

Author: Hervé P. Zwirn
Publisher: Odile Jacob
ISBN: 9782738118585
Category : Science
Languages : fr
Pages : 226

View

Book Description
Comment les oiseaux coordonnent-ils leurs vols au long cours ? Comment nos milliards de neurones se connectent-ils pour fabriquer notre personnalité ? Pourquoi des espèces animales restent-elles stables pendant des millénaires avant de se transformer en un instant ? Pourquoi l’Union soviétique a-t-elle pu s’effondrer en quelques mois après avoir dominé l’Europe pendant plus d’un demi-siècle ? Qu’est-ce qui différencie un système complexe d’un système simple ? Comment peut-on étudier un système sans le réduire à ses constituants ? Comment peut-on décrire son fonctionnement s’il est chaotique ? Dans cette introduction qui fourmille d’exemples concrets, Hervé Zwirn décrit les mathématiques des systèmes complexes dans la vie et la société. Hervé Zwirn, polytechnicien, est directeur de recherche associé au laboratoire de mathématiques appliquées de l’École normale supérieure de Cachan et président de la société de conseil aux entreprises Eurobios.

Author: Mihaela Mares
Publisher:
ISBN:
Category :
Languages : fr
Pages : 141

View

Book Description
Ce mémoire traite de la modélisation et de l'analyse des systèmes à événements discrets (SED). Leur théorie comporte une grande variété de classes de problèmes et d'approches de modélisation, sans qu'il en existe une méthode universelle de modélisation et d'analyse. Nous avons choisi d'utiliser les réseaux de Petri, un outil mathématique et graphique, parce qu'ils permettent a la fois la spécification fonctionnelle, la modélisation et l’évaluation des SED. Les réseaux de Petri colorés (RdPC) en sont une évolution qui autorise une description plus concise et plus générale en représentant de façon unique les parties similaires que comportent souvent les systèmes réels Toutefois, leur analyse est délicate et ils sont mal adaptés à la modélisation de séquences C'est la raison pour laquelle nous avons introduit les RdP Z/pZ, définis sur un corps de caractéristique non nulle ; ils se prêtent bien à la modélisation de systèmes cycliques et sont adaptés à la prise en compte de caractéristiques temporelles. Nous en avons présenté une méthode générale de détermination des invariants de marquage et de franchissement. Nous avons également abordé des problèmes d'ordonnancement, particulièrement ceux d'atelier qui sont des problèmes généraux à contraintes de ressources renouvelables. Les RdP généralisés temporisés modélisent avec un seul formalisme les contraintes potentielles et de ressources ; ils sont un bon outil de simulation et permettent d'obtenir des résultats analytiques dans le cas des problèmes cycliques. L'avantage du formalisme des RdP Z/pZ est que le changement de la politique d'ordonnancement implique seulement une modification des polynômes et du marquage initial, la structure du réseau restant inchangée. L’intégration d'une temporisation unitaire des jetons colorés permet de plus de modéliser la préemption par le biais d'un changement de séquence. Puisqu'il est difficile d'analyser un RdP complexe (généralisé ou coloré) par les méthodes usuelles, nous avons adopté une démarche de modélisation modulaire qui peut aussi servir à analyser des RdP existants en les décomposant en éléments simples. Cette synthèse systématique utilise des RdP connus et les compose de telle façon que leurs propriétés soient conservées. Cette méthode d'analyse graphique ne nécessite pas de calcul.

Author: Frédéric Bousseau
Publisher:
ISBN:
Category :
Languages : fr
Pages : 153

View

Book Description
L’étude des divers systèmes de notre monde est souvent faite par l’intermédiaire d'un modèle. Celui-ci n'est qu'une représentation de la réalité qui ne peut pas être complètement exacte. Cette erreur de modélisation est due, entre autres, à l'environnement du système dont on ne peut pas toujours tenir compte. En effet, tout système est une sous partie d'un autre, plus grand, et peut être, lui-même, décomposé en nombreux sous-systèmes. Cette thèse propose une étude des systèmes interconnectés. Nous allons modéliser et analyser des systèmes qui présentent de nombreuses interactions. Les automates cellulaires sont parmi les plus célèbres modèles de ces systèmes que l'on appelle complexes. L’originalité de ce travail est de proposer l'utilisation des réseaux de Petri comme outil de modélisation de ces systèmes Ces réseaux présentent deux aspects très intéressants : la simplicité de la modélisation et un support algébrique associé qui permet une analyse mathématique du modèle Nous proposons dans cette thèse une méthode de modélisation des systèmes complexes. Celle-ci est basée sur l'utilisation d'un réseau de Petri de base que nous appelons une cellule. Nous lions ensuite ces cellules entre elles afin d'obtenir notre modèle. Nous analysons le comportement de ces modèles en termes d'attracteurs en utilisant le support mathématique associé aux réseaux de Petri et notamment les invariants. Nous étudions enfin les effets des perturbations sur nos modèles. Pour terminer, nous présentons quelques perspectives d'applications liées à notre étude Ces applications sont principalement dédiées aux systèmes ayant une évolution cyclique.

Author: Youssef Monsef
Publisher: Tec & Doc Lavoisier
ISBN: 9782743001353
Category :
Languages : fr
Pages : 277

View

Book Description

Author: Claude Feliot
Publisher:
ISBN:
Category :
Languages : fr
Pages :

View

Book Description
Considerer un systeme comme complexe suppose une approche specifique pour sa modelisation et son analyse. La methodologie proposee est une approche multi modeles, determines par une analyse systemique, dans une structure generale et coherente : la matrice sagace. Ces modeles sont de type fonctionnel, structurel et comportemental, stratifies en niveaux de formalisation descriptif, qualitatif et quantitatif. La modelisation descriptive est une representation graphique des systemes. Ce langage de representation repose sur un alphabet constitue de seulement trois classes de processus dont on demontre, a l'aide du tetraedre d'etat de la theorie bond-graph et de considerations energetiques, qu'il est une base (au sens mathematique du terme) ; que l'agencement de ses elements est contraint par une syntaxe, celle des processus physiques ; que chacun d'eux est une classe d'equivalence, dotant notre langage d'une semantique. C'est un langage algebrique reposant sur une structure d'espace vectoriel defini sur un dioide commutatif. Un reseau de processus y est represente par des systemes d'equations. Avec les operations d'addition, de multiplication, de factorisation de processus, on specifie des algorithmes de calcul de processus equivalents et de leur type et des algorithmes de validation syntaxique des reseaux. Les modeles des niveaux de formalisation superieurs sont concus de telle sorte qu'ils repondent ades algebres isomorphes a celle du modele descriptif. Ainsi, les systemes d'equations differentielles du modele quantitatif associes a des graphes bipartis sont traites par des algorithmes identiques aux precedents mais avec les operateurs d'addition et de multiplication classiques et de composition convexe. Ainsi, pour chaque niveau de formalisation, on dispose d'un seul et meme langage a caractere algebrique pour tous les type de modeles.

Author: Pascal Roques
Publisher:
ISBN: 9782212234824
Category : SysML (Computer science)
Languages : fr
Pages :

View

Book Description