Items related to Contribution à la conception de systèmes temps-réel:...
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) - Softcover
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.
"synopsis" may belong to another edition of this title.
Product Description:
Hard to find
About the Author:
Christophe Lohr, ingénieur et docteur en informatique, études dessystèmes temps réels au LAAS-CNRS et à l'Université Concordia.Enseignant-chercheur à Télécom Bretagne, Brest, France.
"About this title" may belong to another edition of this title.
- PublisherÉditions universitaires européennes
- Publication date2010
- ISBN 10 6131534705
- ISBN 13 9786131534706
- BindingPaperback
- Number of pages204
Top Search Results from the AbeBooks Marketplace
Stock Image
Contribution La Conception de Systmes Temps-Rel
Print on Demand
Seller:
Rating
Book Description PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9786131534706
Buy New
£ 72.23
Convert currency
Stock Image
Contribution à la conception de systà mes temps-rà el
Published by
OmniScriptum
(2010)
ISBN 10: 6131534705
ISBN 13: 9786131534706
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9786131534706_lsuk
Buy New
£ 65.57
Convert currency
Stock Image
Contribution a la conception de systemes temps-reel
Published by
OmniScriptum 2018-02
(2018)
ISBN 10: 6131534705
ISBN 13: 9786131534706
New
PF
Quantity: 10
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9786131534706
Buy New
£ 61.40
Convert currency
Seller Image
Contribution À La Conception de Systèmes Temps-Réel
Published by
ED UNIVERSITAIRES EUROPEENNES Feb 2018
(2018)
ISBN 10: 6131534705
ISBN 13: 9786131534706
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 204 pp. Französisch. Seller Inventory # 9786131534706
Buy New
£ 60.63
Convert currency
Seller Image
Contribution À La Conception de Systèmes Temps-Réel
Published by
KS Omniscriptum Publishing
(2010)
ISBN 10: 6131534705
ISBN 13: 9786131534706
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - 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. Seller Inventory # 9786131534706
Buy New
£ 61.36
Convert currency
Stock Image
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) (French Edition)
Published by
Éditions universitaires européennes
(2010)
ISBN 10: 6131534705
ISBN 13: 9786131534706
New
Softcover
Quantity: 19
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Apr0316110200976
Buy New
£ 87.63
Convert currency
Stock Image
Contribution La Conception de Systmes Temps-Rel
Print on Demand
Seller:
Rating
Book Description PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # L0-9786131534706
Buy New
£ 65.84
Convert currency
Seller Image
Contribution à la conception de systèmes temps-réel
Published by
Éditions universitaires européennes
(2010)
ISBN 10: 6131534705
ISBN 13: 9786131534706
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # 5795695
Buy New
£ 49.96
Convert currency