Résumé : : La diffusion des approches IAD-SMA vers le secteur industriel demande le développement de méthodologies de conception de systèmes multi-agents. Des contributions existent dans le domaine des systèmes cognitifs. Dans le cas des systèmes réactifs destinés à des applications de contrôle de systèmes complexes (supervision et contrôle de processus industriels, systèmes embarqués autonomes, robotique mobile, etc...), l'utilisation de techniques de vérification existantes doit être développée. Le processus de développement de systèmes multi-agents pour cette catégorie d'applications repose généralement sur un cycle itératif de prototypage et de simulation. Cette approche ne suffit pas lorsque l'utilisateur attend une certaine fiabilité comportementale. Nous nous proposons d'aller un peu plus loin dans le processus de développement et de validation de systèmes multi-agents en associant dans un couplage fort deux approches complémentaires, le prototypage à l'aide d'outils formels et la simulation dans l'environnement de programmation cible. Cette démarche, dont l'intérêt et les limitations sont présentés ici apporte une contribution au chantier plus vaste d'un atelier logiciel pour le développement de SMA.