Contribution La Conception de Syst mes Temps-R el

Name: Contribution La Conception de Syst mes Temps-R el
Brand: Omniscriptum
SKU: 9786131534706
Price: 84.0 EUR
Availability: InStock

Автор: Christophe Lohr

Език:

Корици: С меки корици

Издател: Omniscriptum

Наличност: Външен склад

Изпращаме след 10-18 дни

84.00 € 164.30 лв

Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formell...

Информация за книгата

Автор

Christophe Lohr

Език

Френски език

Корици

Книга - С меки корици

Издадена

2018

страници

204

EAN

9786131534706

ISBN

6131534705

Enbook ID

06996606

Издател

Omniscriptum

Теглоt

304

Размери

152 x 229 x 12

Пълно описание

Cet ouvrage s'intéresse ŕ la conception de systčmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle ŕ l'algčbre de processus Lotos. Il aborde plusieurs points relatifs ŕ la spécification, la validation et l'ordonnancement de systčmes concurrents sujets ŕ des contraintes logiques et temporelles. La premičre partie présente le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. La deuxičme partie étudie la notion de cohérence temporelle et propose une technique basée sur l'analyse du graphe des régions ainsi qu'un modčle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle. Enfin, la troisičme partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos. Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systčmes temps-réel.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Contribution La Conception de Syst mes Temps-R el

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също