Systèmes temps réel embarqués. Spécification, conception, implémentation et validation temporelle, 2e édition
Extraits
Informatique
Systèmes temps réel embarqués. Spécification, conception, implémentation et validation temporelle, 2e édition
Auteurs : Francis Cottet, Emmanuel Grolleau, Sébastien Gérard, Jérôme Hugues, Yassine, Ouhammou, Sara Tucci-Piergiovanni. Cet ouvrage de référence sur les systèmes temps réel permet de : Connaître et mettre en oeuvre les méthodes de spécification et de conception ; Définir et paramétrer l'environnement d'exécution des systèmes ; Réaliser une implantation multitâche basée sur un noyau temps réel ; Développer l'application en C, Ada ou Labview. Cette deuxième édition a été mise à jour en introduisant l'utilisation de SysML (System Modeling Language) pour la spécification fonctionnelle et du langage AADL (Architecture Analysis and Design Language) qui permet de passer des spécifications fonctionnelles aux architectures matérielles et logicielles. Points forts : Une méthodologie opérationnelle de développement de systèmes temps réels embarqués critiques passant à l'échelle ; Des exemples tirés de l'industrie ; Une présentation de SysML et des IBD ; Une mise en oeuvre du langage AADL (Architecture analysis ans ddesign language).
11/2014
Informatique
Introduction aux systèmes embarqués temps réel. Conception et mise en oeuvre
En analysant des systèmes simples et concrets, cet ouvrage présente tous les concepts nécessaires à la compréhension des systèmes embarqués : programmation séquentielle, interruptions matérielles, programmation cyclique, programmation multitâche, langages de spécification et modélisation, langages spécifiques de domaine, implémentation sur exécutif temps réel et validation temporelle. La première partie part d'un exemple simple de système pour introduire les concepts et les méthodes, et la seconde propose des études de cas concrets avant de s'attacher aux apports de l'ingénierie dirigée par les modèles.
10/2018
Littérature française
Conception des Systèmes Temps Réel. Spécificités des Systèmes en Temps Réel, Ordonnancement des Processus, Ordonnancement de Tâches Péri
Acquérir les bases pour la conception des systèmes embarqués qui satisfont des contraintes matérielles et logicielles associées au traitement des évènements en temps réel. Comprendre la structure et l'opération des microcontrôleurs utilisés dans les systèmes embarqués. Se familiariser avec les spécificités des systèmes d'exploitation temps réel et savoir utiliser leurs services dans le développement de systèmes en temps réel. Acquérir les bases et les techniques de conception sécuritaire pour les systèmes en temps réel. Concepts de base de traitement en temps réel, de temps de réponse et de systèmes embarqués. Etudes des caractéristiques matérielles et fonctionnelles des microcontrôleurs et de leurs interactions avec le code d'application. Notions et catégories d'événements, mécanismes de réponse aux événements en temps réel. Analyse de temps de réponse et de facteur de charge du système. Etudes des noyaux (kernel) en temps réel. Méthodes d'analyse des systèmes en temps réel et notions de base de fiabilité.
01/2023
Réseaux informatiques
Intégration des infrastructures réseaux et systèmes. Conception, implémentation, sécurité et supervision
Les infrastructures IT sont désormais indispensables dans tous les secteurs d'activité. Elles constituent la clé de voûte de tout système d'information. Il est primordial d'accorder le plus grand soin à leur conception, implémentation, sécurisation et supervision afin d'optimiser leur bon fonctionnement et ainsi assurer une meilleure performance. Intégration des infrastructures réseaux et systèmes présente les principes méthodologiques et théoriques nécessaires pour mener à bien un projet d'intégration des infrastructures réseaux et systèmes. Il expose leur conception, les services réseaux, les différents aspects de la sécurité, les principes de base de la virtualisation et du cloud computing, les principaux mécanismes de la qualité de service et la présentation des méthodes et outils de supervision de ces infrastructures.
01/2022
Informatique
Systèmes distribués, embarqués et diffus. JFSMA, Edition 2019
Cet ouvrage contient l'ensemble des contributions sélectionnées et présentées lors de la vingt-septième édition des Journées Francophones sur les Systèmes Multi-Agents (JFSMA) qui s'est tenue à Toulouse, du 3 au 5 juillet 2019, dans le cadre de la Plate-Forme de l'Intelligence Artificielle (PFIA 2019). Par essence pluridisciplinaire, le paradigme multi-agent fournit un cadre conceptuel pour l'étude et la conception de systèmes dont la dynamique globale est le fruit d'entités autonomes - agents - qui interagissent dans un environnement commun.
Les JFSMA constituent un moment privilégié d'échanges scientifiques transversaux qui réunit chaque année des chercheurs qui étudient, utilisent et font évoluer le paradigme multi-agent pour adresser des problématiques issues de domaines liés à l'informatique (intelligence et vie artificielle, génie logiciel, robotique collective, etc.) et aux sciences humaines et naturelles (économie, sociologie, éthologie, etc.).
Les travaux de recherche qui sont associés à ce paradigme proposent ainsi des modèles, des méthodologies, des techniques et des outils qui permettent notamment de répondre à différents problèmes que l'on peut décliner selon quatre aspects ? : - le développement de systèmes informatiques décentralisés où l'approche SMA permet l'intégration flexible et la coopération de logiciels et de services autonome ? ; - la résolution collective de problème pour laquelle il s'agit de résoudre de manière distribuée un problème qui se pose globalement à la collectivité d'agents ? ; - la simulation de phénomènes complexes où la modélisation multi-agent apporte un cadre conceptuel permettant la représentation et la simulation de systèmes faisant intervenir différentes entités en interaction ? ; - le développement de systèmes médiatisés où utilisateurs humains et agents artificiels interagissent directement ou indirectement, dans le cadre d'activités collectives de type éducatif, culturel ou social.
Nous attendons des contributions relevant de ces domaines. Celles-ci peuvent proposer des avancées conceptuelles, formelles ou logicielles. Elles peuvent également être analytiques (sur les problèmes, les enjeux, etc.) ou encore synthétiques (par exemple des retours sur expérimentations). Par tradition, chaque édition des JFSMA met en exergue une thématique spécifique que les auteurs sont invités à prendre en compte dans leurs contributions.
Pour cette édition, le thème des journées fut "? systèmes distribués, embarqués et diffus ? ". Précédentes éditions des JFSMA ? : Toulouse (1993), Grenoble (1994), Chambéry (1995), Port-Camargue (1996), Nice (1997), Nancy (1998), L'Ile de la Réunion (1999), Saint-Etienne (2000), Montréal (2001), Lille (2002), Hammamet (2003), Paris (2004), Calais (2005), Annecy (2006), Carcassonne (2007), Brest (2008), Lyon (2009), Mahdia (2010), Valenciennes (2011), Honfleur (2012), Lille (plateforme IA, 2013), Valence (2014), Rennes (2015), Rouen (2016), Caen
Les JFSMA constituent un moment privilégié d'échanges scientifiques transversaux qui réunit chaque année des chercheurs qui étudient, utilisent et font évoluer le paradigme multi-agent pour adresser des problématiques issues de domaines liés à l'informatique (intelligence et vie artificielle, génie logiciel, robotique collective, etc.) et aux sciences humaines et naturelles (économie, sociologie, éthologie, etc.).
Les travaux de recherche qui sont associés à ce paradigme proposent ainsi des modèles, des méthodologies, des techniques et des outils qui permettent notamment de répondre à différents problèmes que l'on peut décliner selon quatre aspects ? : - le développement de systèmes informatiques décentralisés où l'approche SMA permet l'intégration flexible et la coopération de logiciels et de services autonome ? ; - la résolution collective de problème pour laquelle il s'agit de résoudre de manière distribuée un problème qui se pose globalement à la collectivité d'agents ? ; - la simulation de phénomènes complexes où la modélisation multi-agent apporte un cadre conceptuel permettant la représentation et la simulation de systèmes faisant intervenir différentes entités en interaction ? ; - le développement de systèmes médiatisés où utilisateurs humains et agents artificiels interagissent directement ou indirectement, dans le cadre d'activités collectives de type éducatif, culturel ou social.
Nous attendons des contributions relevant de ces domaines. Celles-ci peuvent proposer des avancées conceptuelles, formelles ou logicielles. Elles peuvent également être analytiques (sur les problèmes, les enjeux, etc.) ou encore synthétiques (par exemple des retours sur expérimentations). Par tradition, chaque édition des JFSMA met en exergue une thématique spécifique que les auteurs sont invités à prendre en compte dans leurs contributions.
Pour cette édition, le thème des journées fut "? systèmes distribués, embarqués et diffus ? ". Précédentes éditions des JFSMA ? : Toulouse (1993), Grenoble (1994), Chambéry (1995), Port-Camargue (1996), Nice (1997), Nancy (1998), L'Ile de la Réunion (1999), Saint-Etienne (2000), Montréal (2001), Lille (2002), Hammamet (2003), Paris (2004), Calais (2005), Annecy (2006), Carcassonne (2007), Brest (2008), Lyon (2009), Mahdia (2010), Valenciennes (2011), Honfleur (2012), Lille (plateforme IA, 2013), Valence (2014), Rennes (2015), Rouen (2016), Caen
07/2019
Informatique
Application des techniques formelles au logiciel
Les méthodes dans le cycle de vie. Pourquoi des méthodes formelles ? Eléments de classification des méthodes formelles. Les expériences industrielles. Application de la méthode B dans l'industrie ferroviaire. Spécifications formelles à Aerospatiale. SAO+/Lustre : utilisation d'une technique formelle en environnement ferroviaire non critique. LDS appliqué à la modélisation et à la validation des processus communicants. Plan de défense - Formalisation du cahier des charges du point central à l'aide de spécifications algébriques. Techniques formelles pour le développement d'une passerelle de sécurité au niveau ITSEC-E41. Vérification formelle de protocoles de commerce électronique : une expérience. Utilisation et développement des méthodes formelles à l'étranger. Les expériences et recherches prometteuses. Evaluation des méthodes formelles chez Dassault aviation. Application des méthodes formelles au développement des logiciels automobiles embarqués. Utilisation d'un environnement de logique temporelle pour la validation et le test d'un système de commandes électriques d'avion. Approche pour la validation et la vérification formelles de systèmes d'interaction homme-machine. Méthodes formelles pour la vérification de logiciels critiques. Descartes et l'enjeu de la programmation automatique. L'architecture informatique du lanceur Ariane 5.
07/1997
Littérature française
Conception, implEmentation et utilisation d'un Portfolio. Conception, implEmentation et utilisation d'un Portfolio pour les externes affectés
La réforme curriculaire centrée sur l'apprenant, dans laquelle s'est engagée notre faculté de médecine de Sousse est arrivée à la phase d'implémentation. Le portfolio s'est donc naturellement imposé comme un moyen d'apprentissage et d'évaluation des compétences en milieu clinique. Objectifs : Elaborer une maquette d'un portfolio pour les étudiants en médecine affectés aux services de gastro-entérologie et l'implémenter en milieu clinique. Evaluer les bénéfices et les difficultés ressenties par tuteurés et les tuteurs vis-à-vis de l'implémentation du portfolio en milieu clinique. Matériel et méthode : Etude observationnelle descriptive, s'étalant sur une période de 3 semaines allant du 9 mai 2018 au 20 juin 2018, ayant inclu tous les étudiants en médecine de la deuxième année du DCEM inscrits à la faculté de médecine de Sousse et affectés au service de gastro-entérologie du centre hospitalo-universitaire Sahloul durant la période d'étude ainsi que les séniors hospitalo-universitaires du service. L'étude s'est déroulée en deux phases.
01/2022
Electronique
Systèmes électroniques embarqués et transports. Automobile, ferroviaire, aéronautique et espace, 3e édition
L'électronique embarquée s'est imposée comme une discipline à part entière avec ses spécificités propres. Dans le domaine des transports, elle a su s'adapter aux contingences les plus critiques et aux cahiers des charges les plus exigeants de l'aéronautique, du ferroviaire, de l'automobile et du domaine spatial auquel cette troisième édition, par ailleurs entièrement mise à jour, consacre une partie totalement nouvelle. Cet ouvrage permet non seulement d'avoir une vision synthétique du secteur, mais donne aussi des revues détaillées de solutions, tant sur les aspects systèmes que sur les aspects composants ou logiciels. Il fait ressortir les similitudes, les différences et les perspectives d'évolution des transports automobile, aéronautique, ferroviaire et spatial à travers de nombreux exemples commentés.
04/2021
Poésie
Temps réel
Le pari de ce livre est de constituer le poème comme une forme entière et autonome, à distance des marges et des formats où il est le plus souvent relégué. Il en passe pour cela par des formes d'écriture qui ne relèvent pas directement de ce qu'on a le réflexe d'associer à la poésie : notes de voyage, mode didactique ou narratif, réflexions sur le temps ou sur le langage, souvenirs, tout contribue à le relancer. L'idée est celle d'une phrase émancipée dont le poème, agissant comme le récit de son recommencement perpétué, serait l'agent. Rien de formel à cela, au contraire : ce livre qui se laisse traverser par de nombreux pays (et par leurs langues) est d'abord une longue exploration du sensible et, via tout un travail sur la résonance, une lecture des traces que l'Histoire laisse sur lui.
03/2024
Littérature française
Contribution à la conception de systèmes d'analyse temps-fréquence
De nombreuses applications, notamment dans le domaine des télécommunications, impliquent des signaux dont le contenu fréquentiel est non stationnaire et de bande passante de plus en plus importante. L'analyse conventionnelle de ces signaux par transformée de Fourier n'est pas adaptée à leur contenu fréquentiel non stationnaire. Une modélisation plus discriminante, fondée sur une représentation temps-fréquence (RTF), permet l'analyse simultanée en temps et en fréquence des ces signaux. Cependant, les RTFs ayant une résolution satisfaisante, comme la transformée de Wigner-Ville, sont trop lourdes en calculs pour être appliquées à de tels signaux en temps réel. Dans cet ouvrage, nous présentons un algorithme original dont nous démontrons les propriétés de RTF, puis nous définissons l'architecture matérielle associée. Nous présentons aussi la validation de l'architecture par la fabrication d'un ASIC cascadable en technologie 130nm utilisé pour concevoir un système prototype fonctionnel.
09/2018
Notions
Vivre en temps réel
Vivre un événement "en temps réel", avec un tic-tac obsédant dans la tête, c'est possible quand c'est exceptionnel. Mais quand cela se prolonge, comme durant la pandémie, cela devient insoutenable. Chacun le sent, aujourd'hui. Ce livre le montre : il ne s'agit pas d'un aspect secondaire de la crise ou de notre vie en général. C'est la clé du moment que nous vivons, avec une alternative simple. Ou bien nous nous laissons écraser par l'urgence, en y sacrifiant tout le reste. Ou bien nous répondons à sa demande vitale mais aussi temporelle, à ce signe des temps, qui est là pour durer. Action immédiate, préparation de l'avenir, institution, participation, libération du temps, avec à la clé, le sentiment d'une juste réponse. Seul le sentiment de justice peut nous donner la force de vivre en temps réel. Nous n'avons plus le choix. Et c'est aussi une chance.
03/2021
Informatique
Solutions temps réel sous Linux. 3e édition
Comprendre le fonctionnement de l'ordonnanceur et du noyau Pour concevoir un système équilibré, stable et réactif aux événements externes, il est indispensable de bien comprendre le rôle et l'organisation de ses divers composants. C'est l'un des premiers buts de ce livre, qui détaille et commente les interactions, les activations et les commutations des tâches. De très nombreux exemples illustrant le propos permettront au lecteur de réaliser ses propres expériences sur son poste Linux. Bâtir un système temps réel sous contraintes temporelles fortes Pour construire une application temps réel sous Linux, l'architecte logiciel doit choisir entre différentes solutions, un choix crucial qui influera sensiblement les limites de fonctionnement de son application. Dans cet ouvrage, l'auteur étudie les environnements libres pouvant répondre à des contraintes temporelles plus ou moins fortes et propose des outils pour valider le comportement des tâches face à des charges logicielles ou interruptives importantes. Augmentée et mise à jour, notamment avec la nouvelle version de Xenomai, la troisième édition a pour support d'expérimentation le nano-ordinateur Raspberry Pi 3. A qui s'adresse cet ouvrage ? Aux développeurs, architectes logiciels et ingénieurs devant mettre en uvre des applications temps réel sous Linux Aux décideurs et industriels souhaitant installer un système temps réel sous Linux Aux étudiants en informatique Sur le site www.blaess.fr/christophe Téléchargez le code source des exemples Consultez les corrigés des exercices et de nombreux documents complémentaires Dialoguez avec l'auteur
01/2019
Littérature française
Chroniques temporelles des Êtres-Temps
Plongez dans un périple fascinant à travers les méandres temporels avec ce recueil de nouvelles de science-fiction. Plus d'une trentaine d'histoires courtes vous attendent, chacune offrant des variations tant humoristiques que poétiques sur le concept de temps. Découvrez des récits tels que "Dieu créa le Temps" et "La couturière du Temps" , transmettant des messages d'espoir, de tolérance, de fraternité et d'amour. "Les profondeurs temporelles" , "La panique mondiale" , "La grande ordonnatrice" et "Un duo improbable" de flics se mêlent pour souligner l'impératif de préserver notre liberté à tout prix. Embarquez pour un voyage où l'humanisme universaliste du XXIe siècle transcende le temps. Ces histoires invitent à la réflexion tout en assouvissant le désir d'évasion. Un recueil incontournable pour les passionnés de science-fiction.
04/2024
Informatique
Programmer avec MicroPython. Programmation Python de systèmes embarqués à microcontrôleurs
Quelle bonne idée que de vous intéresser à MicroPython ! Il s'agit d'une adaptation du langage Python pour programmer les cartes à microcontrôleurs et les systèmes embarqués. Ce livre donne les clés pour vous mettre en route dans la création de projets uniques pour systèmes embarqués grâce à un langage aussi efficace que compact. Si vous connaissez Python en tant que programmeur, enseignant ou simple autodidacte, vous êtes paré pour cette joyeuse aventure ! Depuis vos tout premiers pas avec MicroPython jusqu'au développement de projets complets, l'auteur de ce livre vous propose un voyage fabuleux dans la programmation des systèmes embarqués. Il présente d'abord quatre modèles de cartes à microcontrôleurs fonctionnant avec MicroPython, puis montre comment ce langage exploite les fonctions matérielles que sont les entrées-sorties, les communications sans fil, le son et la musique, et le contrôle d'un robot. Découvrez MicroPython sur quatre cartes (PyBoard, BBC micro : bit, Adafruit Circuit Playground Express et ESP8266/ESP32). Prenez en mains une plate-forme de création pour concevoir et réaliser des systèmes embarqués répondant à des problèmes concrets issus du monde réel. Maîtrisez les effets visuels, dialoguez avec l'utilisateur au moyen de boutons et du toucher capacitif, produisez de la musique et exploitez la synthèse vocale. Découvrez les protocoles de communication UART, SPI et IC. Explorez les capacités d'émission-réception par ondes radio. Adoptez de bonnes pratiques pour bien gérer l'espace mémoire limité d'un système embarqué.
05/2018
Poésie
Temps réel du poème
" Au fil des siècles / la langue force le corps à observer / la mort quelques débris aussi / les paradoxes remontent / à la surface le récit s'installe " - Temps réel du poème est la première anthologie personnelle de Nicole Brossard. Elle réunit ses poèmes les plus marquants ainsi que de nombreux inédits. - A travers l'écriture, Nicole Brossard essaie de résoudre les énigmes de l'existence, de l'être humain et de saisir le frémissement du monde. - Nicole Brossard joue avec les mots, la syntaxe, elle " trame la langue " afin de révéler une nouvelle présence au monde et l'intimité de l'être.
03/2023
Prière et spiritualité
Embarqués avec Jésus. Méditations pour temps d'épreuves
Les femmes et les hommes du monde entier ont traversé, avec la pandémie et les confinements, une épreuve sans précédent dans l'histoire de l'humanité. Cette épreuve a-t-elle un sens ? Quelles leçons peut-on en tirer ? Comment Dieu, qui est amour, peut-il permettre la souffrance ? Mgr Aillet montre que l'écriture sainte nous éclaire sur ce grand mystère. Par sa parole écoutée et méditée chaque jour, en particulier dans la Liturgie, le Seigneur vient nous révéler le sens qu'il donne lui-même aux événements de la vie présente. A travers ces méditations, le lecteur est conduit dans une conversion de son regard sur les épreuves qui nous abattent pour y découvrir leur sens spirituel et y voir peu à peu une occasion providentielle de revenir à l'essentiel de notre alliance avec la Sagesse éternelle, celle de notre baptême.
03/2021
Beaux arts
Les temps de la conception
Le temps incarne l'espace, le mouvement, la perception, la création, la compréhension, la réflexion, l'action, l'art, mais aussi : la conception et le design. Plus étonnant encore, tout le monde sent ou croit savoir qu'il existe un temps qui fait évoluer ces autres temps. Chacun pense toujours pouvoir gérer ce temps-là. Il n'y a rien ici qui doive surprendre ou flatter l'opinion, il n'est au contraire que de constater un phénomène omniprésent depuis que fut assumé collectivement le concept même de temps. Aussi n'est-il pas concevable d'étudier ni d'analyser les processus de conception ni même de porter un intérêt quelconque au design, sans jouer, directement ou indirectement, avec le temps. En tant que genèse, le travail de conception s'inscrit dans de multiples temporalités : le temps du projet, temps des processus de fabrication et d'industrialisation, temps du geste des concepteurs et de son renouvellement. A l'heure de l'immédiateté numérique, la conception reste soumise aux temps de l'élaboration, de la confrontation de points de vue, du dépassement des contradictions, de la prise de décision, de l'exploration des possibles et des contraintes : étapes obligatoires, ce sont aussi les moments nécessaires de l'engagement de collectifs de conception dans une oeuvre commune. Dans l'émergence des innovations quelles sont ces nécessités temporelles qui font que les projets naissent, se construisent et se conduisent, développent de nouvelles manières de faire au delà du seul temps du projets, perdurent et/ou disparaissent ? A l'inverse, peut-on discerner dans ces cycles des temporalités inutiles, des pertes de temps ? Existe-t-il une économie temporelle de la conception ? Cet ouvrage qui porte sur "Les temps de la conception" réunit des contributions multidisciplinaires présentées à 01Design. 10 (dixième colloque multidisciplinaire sur la conception et le design) qui s'est déroulé le 9 et 10 Novembre 2016 à l'école d'architecture de Grenade en Espagne (ETS Arquitectura, Universidad de Granada).
03/2019
Science-fiction
Exécutrice temporelle
Les Agents de la Commission Temporelle régulent l'Histoire humaine : ils parcourent les époques pour étudier le passé, veillent à son bon déroulement et corrigent ses dérives. Anna, Exécutrice, résout les cas extrêmes : elle est chargée d'éliminer tous ceux qui mettent en péril le continuum espace-temps. Les événements s'enveniment quand Frederik Wulf, un aviateur allemand de la seconde guerre mondiale recruté par accident, dérobe une soucoupe volante et menace de changer le cours du conflit. Assassiner Wulf se présente comme la solution la plus simple. Mais pourquoi en découle-t-il autant d'incidents temporels ? L'Exécutrice se retrouve plongée dans un tourbillon d'événements qui la conduit à découvrir une terrible vérité.
05/2018
Electronique
Implémentation sur DSP d'une technique de modulation vectorielle
L'utilisation des onduleurs multi niveaux contrôlés par des systèmes de commande embarqués permet de réaliser des plateformes de commande robustes, moins encombrées tout en garantissant une meilleure qualité des grandeurs électriques (courant, tension, etc). L'intégration de cette plateforme avec un système photovoltaïque permet d'adapter la forme de l'énergie généré par la source (DC) à celle demandée par une charge alternative (machine, réseau électrique,...)Partant de cet objectif, on se propose dans ce livre de commander un onduleur triphasé à trois niveaux du type NPC par une technique de modulation MLI vectorielle. La commande est implémentée sur une carte DSP TMS320F28335 du Texas instruments, permettant de contrôler en temps réel les amplitudes et les fréquences des tensions produites par cet onduleur, afin d'alimenter un récepteur triphasé. Quelques résultats expérimentaux relevés sur un prototype du convertisseur seront aussi donnés pour valider l'étude théorique présentée dans ce livre ainsi que la méthode d'implémentation de l'algorithme en temps réel.
04/2022
Grafcet
Comprendre maîtriser et appliquer le GRAFCET
Voici la réimpression de l'ouvrage de référence sur le GRAFCET. Aborder méthodiquement et progressivement la spécification d'un système logique afin d'en établir une bonne représentation par un GRAFCET (Graphe de commande étape. transition), tel est l'objectif premier de cet ouvrage. Mais il est également indispensable de savoir exprimer tous les aspects d'un cahier des charges (fonctionnement normal et aussi sécurités, modes de marche), de connaître les possibilités de simplification d'un GRAFCET, enfin de l'analyser pour en extraire toute l'information en vue de la validation des spécifications. Sans entrer dans le détail de toutes les réalisations possibles, on peut dégager les principes de base communs à toute synthèse directe à partir d'un GRAFCET. Partant d'exemples simples, images de la complexité rencontrée dans des cas industriels réels, cet ouvrage ne donnera pas au lecteur les moyens de résoudre instantanément ses problèmes. Il lui fournira simplement un outil et une approche nouvelle pour bien les poser, de la façon la plus rationnelle et la plus sûre, la plus efficace aussi parce que proche à la fois des besoins de l'utilisateur et des moyens technologiques nouveaux dont dispose le concepteur.
05/2023
Gestion
Les systèmes de coûts. Objectifs, paramètre de conception et analyse comparée
Le passage du simple calcul de coûts aux méthodes de coûts et enfin aux systèmes de coûts s'est imposé en raison de la complexité croissante des organisations et des groupes. En effet, il ne s'agit plus seulement de définir une méthode de calcul mais de collecter, de trier et d'organiser les données nécessaires à l'analyse de la relation coût/valeur. Les trois objectifs d'un système de coûts pour toute organisation sont la gestion des ressources, le dialogue avec l'environnement, l'orientation des comportements. Il en résulte que le choix d'un système influe sur toutes les décisions stratégiques. Cet ouvrage innovant dresse une cartographie complète des systèmes de coûts actuels, en étudie les paramètres de conception et fournit les outils pour évaluer leur pertinence. Il propose ensuite une illustration des systèmes décrits en appliquant sur les données de base d'un même exemple chiffré chacun des différents systèmes de coûts recensés. Cette approche originale permet à la fois de pratiquer l'application d'un système précis et de comparer les résultats obtenus avec différents autres systèmes.
10/2005
Littérature française
Reine du réel. Lettre à Grisélidis Réal
La lettre de Nancy Huston a Grisélidis Réal, poétesse et prostituée. Longtemps je t'ai détestée, Gri. On eût dit que tu acquiesçais à tout ce que les hommes te demandaient. Tu semblais n'avoir aucun problème pour incarner leur fantasme : la pute au grand coeur, celle qui aime ça, celle qui comprend les messieurs et ne les juge jamais, celle qui accepte avec le sourire leur tout et leur n'importe quoi. Grisélidis Réal, écrivaine et prostituée suisse, a fui le milieu où elle est née, bourgeois, calviniste et rigide, pour mener une vie libre. Une vie marquée par des histoires avec des hommes violents, des dizaines de milliers de relations tarifées, quatre enfants placés, des fausses couches, mais une vie illuminée par l'art et l'engagement militant au nom des travailleuses du sexe. Poétesse magnifique, figure rebelle et courageuse, Grisélidis Réal fascine Nancy Huston qui, malgré quelques désaccords, se retrouve beaucoup en elle. A l'aune de son destin, elle questionne le sien, son rapport à la mère, aux hommes, au danger. Véritable déclaration d'admiration, cette lettre révèle une grande artiste de la fin du XXe siècle dont la modernité de pensée annonce les débats contemporains. Un texte résolument féministe, qui interroge avec puissance le rôle du corps féminin dans l'écriture et le rapport au monde.
02/2022
Informatique
Programmation concurrente et temps réel avec ADA 95
Cet ouvrage est essentiellement consacré aux aspects concurrents et temps réel de la programmation de systèmes, notamment embarqués. Le langage Ada y est utilisé comme moyen privilégié pour en illustrer les concepts. Il constitue une suite logique à la programmation séquentielle et un prérequis à la programmation d'objets concurrents et distribués. Destiné à des étudiants avancés, il nécessite la maîtrise préalable de la programmation. Il peut être utilisé à la fois comme support de cours de programmation concurrente et temps réel et comme ouvrage de référence pour des professionnels souhaitant élargir ou approfondir leurs connaissances dans ce domaine.
11/1999
Informatique
FlexRay et ses applications. Réseau multiplexé temps réel
En électronique un bus est un dispositif qui consiste à raccorder à un même câble un grand nombre de calculateurs qui communiqueront à tour de rôle. Cette technique élimine le besoin de câbler des lignes dédiées pour chaque information à faire transiter et permet un gain de poids non négligeable. Le bus FlexRay, développé et standardisé par un consortium d'équipementiers et de constructeurs automobiles, se distingue du bus CAN par un débit plus élevé (jusqu'à 20 Mbits /s), par des mécanismes de tolérance aux fautes et par une meilleure sûreté de fonctionnement.Cet ouvrage, issu de nombreuses formations données par D. Paret en entreprises, fournit des explications détaillées sur la conception et le fonctionnement du bus FlexRay. Il sera utile à tous les concepteurs d'applications qui touchent l’automobile et les systèmes embarqués de tous types (commande de machine outils, de ligne de productions, avionique, transport ferroviaire, immotique, transport d’imagerie numérique, etc.).
02/2011
Informatique
Architecture système et complexité. Apport des systèmes de systèmes à la pensée systémique
Les années 1990 sont une décennie de ruptures. Les machines de petite taille, puissantes, consommant peu d'énergie, se substituent aux mainframes, symboles des systèmes centralisés des années 1970-1980. L'organisation du système limite la puissance de traitement qui va se distribuer là où elle est requise. Grâce aux nouveaux réseaux, tout s'interconnecte en temps réel dans des architectures symétriques clients-serveurs ; en parallèle les systèmes se spécialisent. La modélisation systémique développe une vision plus robuste, plus résiliente, entre des entités qui sont elles-mêmes des systèmes à part entière ayant obligation de coopérer entre eux et avec leurs usagers.
01/2019
Littérature française
Conception et réalisation. Conception et réalisation d'un système de coupure et rétablissement du courant électrique à distance
Système de coupure et rétablissement du courant électrique à distance un système fiable qui n'expose pas les maintenanciers au accident lors du délestage ainsi nous avions mis en place ce système pour protéger nos agents des maintainance ainsi que réduire le temps au lieu de faire un déplacement ex : si le délestage doit ce faire la nuit ce risqué. Du coup les systèmes mis en place par l'igénieur électricien industriel MANDA MANGALA jean est une solution Total a ce problème.
10/2022
Littérature française
Voyageuses temporelles
Entretien avec l'auteur : "Quand il m'est venu en tête d'écrire l'histoire d'anciennes héroïnes qui viendraient demander des comptes à propos de leur vie littéraire et de ce que j'avais écrit sur elles, je me suis dit qu'il s'agissait là d'un défi impossible et fou", déclare Denis Ravel dans l'avant-propos de son dernier ouvrage Voyageuses temporelles. Pourtant l'entreprise n'est pas si incongrue, et elle devient même rapidement une réflexion pertinente sur l'écriture : Création, solitude, réel ou imaginaire, connections avec des mondes invisibles, autant de questions que l'auteur aborde au fil du roman sans vraiment trouver de réponses, mais il suggère des hypothèses parfois troublantes, entre rêve et réalité. Denis Ravel fait référence ici à trois de ses précédents romans : Aventures romantiques sur le Net, Les Mandibules de la mort et La Tueuse de Hong Kong. Il puise son inspiration tant dans le domaine onirique que dans la fiction narrative, et l'allusion à Wim Wenders renoue avec un entre-deux monde.
10/2017
Sciences historiques
LES HISTORIENS ET LE TEMPS. Conceptions, problématiques, écritures
Depuis Fernand Braudel, notamment, les historiens prennent de plus en plus conscience que le temps n'est pas une toile de fond neutre sur laquelle s'inscrivent les faits du passé mais une construction. Le temps n'est plus un absolu, il est un problème. Le " recul du temps " est-il, pour l'historien, une nécessité ou un handicap ? Quelle périodisation choisir ? La " longue durée " en a-t-elle fini avec l'événement ou celui-ci opère-t-il un retour en force ? L'écriture de l'histoire se fait-elle toujours selon l'ordre chronologique ? De quel temps (passés ou présent) et de quels autres indicateurs temporels use cette écriture ? Fruit d'une carrière largement consacrée à la formation des enseignants, s'appuyant sur un demi-siècle de réflexion des historiens français, ce livre offre un tour d'horizon complet et raisonné de la manière dont, dans son " atelier ", l'historien " fabrique " des temporalités.
10/1999
Technologies
La conception mécanique. Méthodologie et optimisation, 2e édition
La conception mécanique est au coeur de la pratique professionnelle de l'ingénieur. A partir d'un cahier des charges, l'objectif du concepteur est de parvenir rapidement et efficacement à un avant-projet optimisé. Cet ouvrage propose une méthodologie qui guide le concepteur dans cette démarche, augmentant ainsi la compétitivité de l'entreprise. Cette méthodologie repose sur le "triangle de la conception" : calculs graphiques, CAO et assurance qualité. Appliqués au cours des projets, ces concepts permettent de guider le concepteur dans sa démarche et de fournir un dossier complet et efficace de conception au client. Deux chapitres complémentaires viennent actualiser cette seconde édition : le premier sur l'hyperstatisme des mécanismes et le second sur l'écoconception.
10/2016
Informatique
Instrumentation industrielle. Spécification et installation des capteurs et vannes de régulation, 4e édition actualisée
En instrumentation industrielle, certains matériels subissent plus d'agressions que d'autres et méritent une attention particulière : c'est le cas des indicateurs, des transmetteurs de mesure et des vannes de régulation. Cet ouvrage propose une approche pratique et concrète pour choisir, commander, installer et entretenir les matériels d'instrumentation en les adaptant aux processus et aux environnements climatique et industriel : - fiches de calcul et feuilles de spécification des vannes de régulation, - schémas types d'installation des matériels, - règles à suivre pour le raccordement au procédé, aux sources d'énergie et aux autres éléments du système de contrôle. Cette 4e édition s'enrichit de diverses mises à jour, notamment de compléments sur les débitmètres électromagnétiques
09/2020
