Spécification formelle du protocole TTP/C
dc.contributor.author | Khelifi, Aymen | |
dc.contributor.author | Boutekkouk, Fateh | |
dc.date.accessioned | 2018-12-03T11:26:39Z | |
dc.date.available | 2018-12-03T11:26:39Z | |
dc.date.issued | 2011 | |
dc.description.abstract | Dans notre étude on a fait la spécification formelle des deux algorithmes existant dans le protocole de véhicule TTP/C (Time-Triggered Architecture) qui sont l'algorithme de démarrage des noeuds et celui de bus gardien, notre outil est RT Maude car elle fournit des spécifications en fonctionne du temps. On a aussi testé le bon déroulement de cette spécification avec les propriétés à vérifier à l'aide d'un moyen (Model Checker) donné par le langage Maude. | ar |
dc.identifier.uri | http://hdl.handle.net/123456789/6765 | |
dc.language.iso | fr | ar |
dc.publisher | Université Oum El Bouaghi | ar |
dc.subject | Protocole TTP/C | ar |
dc.title | Spécification formelle du protocole TTP/C | ar |
dc.type | Other | ar |
Files
Original bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- Spécification Formelle Du Protocole TTP.C.pdf
- Size:
- 4.64 MB
- Format:
- Adobe Portable Document Format
- Description:
License bundle
1 - 1 of 1
No Thumbnail Available
- Name:
- license.txt
- Size:
- 1.71 KB
- Format:
- Item-specific license agreed upon to submission
- Description: