Formal Verification of Embedded Distributed Systems in a Prototyping Approach - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2001

Formal Verification of Embedded Distributed Systems in a Prototyping Approach

Fabrice Kordon
Emmanuel Paviot-Adet
  • Fonction : Auteur
  • PersonId : 971651
Dan Regep
  • Fonction : Auteur
  • PersonId : 1009154

Résumé

This paper presents an evolutionary prototyping methodology dedicated to the design, verification and implementation of embedded systems. This methodology relies on L f P : a formalism combining UML-like structuring capabilities and a precise semantic suitable for both code generation and formal verification based on colored Petri nets. We apply this methodology on a small example and show how it enables system designers to detect non-trivial problems on the system.
Fichier non déposé

Dates et versions

hal-01571064 , version 1 (01-08-2017)

Identifiants

  • HAL Id : hal-01571064 , version 1

Citer

Fabrice Kordon, Isabelle Vernier-Mounier, Emmanuel Paviot-Adet, Dan Regep. Formal Verification of Embedded Distributed Systems in a Prototyping Approach. International Workshop on Engineering Automation for Software Intensive System Integration, Jun 2001, Monterey, United States. pp.ONLINE. ⟨hal-01571064⟩
48 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More