Recherche

Systèmes temps réel embarqués. Spécification, conception, implémentation et validation temporelle, 2e édition

Rédacteurs

Dossiers

ActuaLitté

Dossier

Romance et voyage dans le temps : Outlander, saga “kilt” de Diana Gabaldon

Et bien au-delà... Depuis sa première traduction en français en 1995, tout d’abord Aux presses de la Cité puis chez J’ai lu, la saga de Diana Gabaldon aura séduit plus d’un million de lecteurs tant en numérique qu’en format papier. Cette dernière a connu un incroyable renouveau avec son adaptation en 2014 sur Netflix – la sixième saison est attendue pour le 6 mars prochain. Une chose est sur Claire Randall et Jamie Fraser n’ont pas fini de se retrouver à travers le temps…

ActuaLitté

Dossier

Assises nationales de l'édition indépendante : se définir et agir

Dans la droite ligne de son objet, la Fédération organise, en collaboration avec l’Agence régionale du Livre Provence-Alpes-Côte d’Azur, ses premières Assises nationales les jeudi 2 et vendredi 3 février 2023 à Aix-en-Provence. ActuaLitté, partenaire de l'événement, propose de retrouver dans ce dossier tous les articles, interviews et reportages en amont de la manifestation. Et durant ces deux journées, podcasts et témoignages seront diffusés en temps réel. 

ActuaLitté

Dossier

Comics et super héros : Marvel, pilier historique de l'édition

Marvel : un nom qui incarne à lui seul le concept de super héros. Créée en 1939, la maison d’édition a connu plusieurs identités avant de devenir le groupe multimédia que l’on connaît aujourd’hui. D’abord Timely Comics, puis Atlas Comics, Marvel prend ce nom au début des années 1960, une décennie décisive dans l’histoire de la bande dessinée américaine…

ActuaLitté

Dossier

Les Chroniques du Confiné : au temps du coronavirus, le critique se fait booktuber

Chaque jour apporte son lot de mauvaises nouvelles — ou de nouvelles qu’on préférerait meilleures. Il fallait bien que la rédaction tente d’offrir un moment de pause humoristique. Et même si les librairies sont fermées, et qu’il devient plus difficile de se procurer des nouveautés, pas question de renoncer à la découverte de livres, d’auteurs, de coups de coeur.

ActuaLitté

Dossier

Demain, le livre : regards d'étudiants sur l'industrie et l'édition

Dans le cadre du master Métiers du livre et de l’édition, que propose l’université Sorbonne Paris Nord, les étudiants de première année en apprentissage ont été sollicités. Charge à eux de parler, sous la forme d’un billet d’humeur,  ce qu’évoquait l’industrie du livre à leurs yeux. Visions d’avenir, visions passées, rencontre entre la formation et le réel… des témoignages étonnants. 

ActuaLitté

Dossier

2020, édition particulière pour le Salon international du Livre rare et de l'autographe

Le SLAM, Syndicat de la Librairie Ancienne et Moderne, organise chaque année un Salon international du Livre rare et de l'autographe au Grand Palais, à Paris : l'édition 2020 a été chamboulée à cause de l'épidémie de coronavirus, et reportée du 18 au 20 septembre 2020. Elle accueillera toujours, en tant qu'invitée d'honneur, la Cinémathèque française.

Extraits

ActuaLitté

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

ActuaLitté

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

ActuaLitté

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

ActuaLitté

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

ActuaLitté

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

07/2019

ActuaLitté

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

Tous les articles

ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté
ActuaLitté