Articles liés à Contribution à la conception de systèmes temps-réel
L'édition de cet ISBN n'est malheureusement plus disponible.
Afficher les exemplaires de cette édition ISBN
Hard to find
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Présentation de l'éditeur :
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.
Biographie de l'auteur :
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurUniv Européenne
- Date d'édition2010
- ISBN 10 6131534705
- ISBN 13 9786131534706
- ReliureBroché
- Nombre de pages204
Acheter neuf
En savoir plus sur cette édition
EUR 84,67
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Contribution La Conception de Systmes Temps-Rel
Edité par
Omniscriptum
(2018)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
PAP
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9786131534706
Acheter neuf
EUR 84,67
Autre devise
Image d'archives
Contribution à la conception de systà mes temps-rà el
Edité par
OmniScriptum
(2010)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9786131534706_lsuk
Acheter neuf
EUR 79,17
Autre devise
Image d'archives
Contribution a la conception de systemes temps-reel
Edité par
OmniScriptum 2018-02
(2018)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
PF
Quantité disponible : 10
Vendeur :
Evaluation vendeur
Description du livre PF. Etat : New. N° de réf. du vendeur 6666-IUK-9786131534706
Acheter neuf
EUR 74,13
Autre devise
Image fournie par le vendeur
Contribution À La Conception de Systèmes Temps-Réel
Edité par
ED UNIVERSITAIRES EUROPEENNES Feb 2018
(2018)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : 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. N° de réf. du vendeur 9786131534706
Acheter neuf
EUR 69
Autre devise
Image fournie par le vendeur
Contribution À La Conception de Systèmes Temps-Réel
Edité par
KS Omniscriptum Publishing
(2010)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
Taschenbuch
Quantité disponible : 2
Vendeur :
Evaluation vendeur
Description du livre Taschenbuch. Etat : 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. N° de réf. du vendeur 9786131534706
Acheter neuf
EUR 69,83
Autre devise
Image fournie par le vendeur
Contribution à la conception de systèmes temps-réel
Edité par
Éditions universitaires européennes
(2010)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
Couverture souple
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur 5795695
Acheter neuf
EUR 56,85
Autre devise
Image d'archives
Contribution à la conception de systèmes temps-réel: Utilisation de la technique de description formelle RT-Lotos (Omn.Univ.Europ.) (French Edition)
Edité par
Éditions universitaires européennes
(2010)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
Couverture souple
Quantité disponible : 19
Vendeur :
Evaluation vendeur
Description du livre Etat : New. N° de réf. du vendeur ABLIING23Apr0316110200976
Acheter neuf
EUR 102,72
Autre devise
Image d'archives
Contribution La Conception de Systmes Temps-Rel
Edité par
Omniscriptum
(2018)
ISBN 10 : 6131534705
ISBN 13 : 9786131534706
Neuf
PAP
Quantité disponible : > 20
Vendeur :
Evaluation vendeur
Description du livre PAP. Etat : New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9786131534706
Acheter neuf
EUR 79,50
Autre devise