Mohlo by sa vám tiež páčiť

Viac informácií o knihe Contribution La Conception de Syst mes Temps-R el

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 200 bodov

Anotácia knihy

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.

Parametre knihy

Zaradenie knihy Knihy po francúzsky LITTÉRATURE GÉNÉRALE Essais littéraires

• Celý názov: Contribution La Conception de Syst mes Temps-R el
• Autor: Christophe Lohr
• Jazyk: Francúzština
• Väzba: Brožovaná
• Počet strán: 204
• EAN: 9786131534706
• ISBN: 6131534705
• ID: 06996606
• Nakladateľ: Omniscriptum
• Hmotnosť: 304 g
• Rozmery: 229 × 152 × 12 mm
• Dátum vydania: 28. February 2018

Obľúbené z iného súdka

---

---

---