Mohlo by se vám také líbit

Více informací o knize Contribution La Conception de Syst mes Temps-R el

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 306 bodů

Anotace 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.

Parametry knihy

Zařazení knihy Knihy ve francouzštině LITTÉRATURE GÉNÉRALE Essais littéraires

• Plný název: Contribution La Conception de Syst mes Temps-R el
• Autor: Christophe Lohr
• Jazyk: Francouzština
• Vazba: Brožovaná
• Počet stran: 204
• EAN: 9786131534706
• ISBN: 6131534705
• ID: 06996606
• Nakladatelství: Omniscriptum
• Hmotnost: 304 g
• Rozměry: 229 × 152 × 12 mm
• Datum vydání: 28. February 2018

Oblíbené z jiného soudku

---

---

---