Outils de modélisation de systèmes concurrents

Question

Je suis actuellement en train de suivre un cours en conception de logiciels concurrents, et nous nous concentrons beaucoup sur la modélisation. J'en vois la valeur, mais je ne sais pas si l'outil que nous utilisons est horrible, bon ou quelque part entre les deux, car je ne trouve pas d'autres exemples. Nous utilisons actuellement LTS Analyzer, avec plus d'informations here. Donc, ma question est la suivante: pour quelqu'un qui a fait de la conception de systèmes simultanés, modélisez-vous votre application avant de la mettre en œuvre, et si oui, quels outils utilisez-vous pour le faire? Merci.

Answer 1

Bien que je n'ai pas utilisé moi-même, j'ai entendu quelques bonnes choses sur JPF (l'intention de l'utiliser bientôt).

Answer 2

Un des outils plus largement connus pour la vérification modélisation & des systèmes concurrents/distribués dans divers secteurs est le modèle SPIN vérificateur: http://spinroot.com/spin/ Cependant, gardez à l'esprit que peu importe la justesse de votre conception et/ou vérifié votre modèle est, Votre implémentation doit encore suivre. C'est là que de nombreux projets échouent d'une manière ou d'une autre.