Formal Verification of Embedded Distributed Systems in a Prototyping Approach

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01571064
Contributor : Lip6 Publications <>
Submitted on : Tuesday, August 1, 2017 - 3:04:52 PM
Last modification on : Thursday, March 21, 2019 - 1:13:31 PM

Identifiers

  • HAL Id : hal-01571064, version 1

Citation

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⟩

Share

Metrics

Record views

40