Theory of Modeling and Simulation
Theory of Modeling and Simulation
Hardware Design Verification: Simulation and Formal Method-Based Approaches (Prentice Hall Modern Semiconductor Design Series)
A framework for heterogeneous specification and design of electronic embedded systems in SystemC
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A formal verification approach for DEVS
Proceedings of the 2007 Summer Computer Simulation Conference
ACM Transactions on Reconfigurable Technology and Systems (TRETS)
SC-DEVS: an efficient SystemC extension for the DEVS model of computation
Proceedings of the Conference on Design, Automation and Test in Europe
| Hi-index | 0.00 |
This paper describes a methodology for the verification of reconfigurable embedded systems. The reconfigurable systems are described by means of the Reconfigurable Discrete Event Specified System (RecDEVS) computational model and the verification is performed by a model transformation from the RecDEVS model into an equivalent representation for the UPPAAL model checking methodology. We introduce an algorithm for the automatic transformation of such models, which originate from disjoint application domains. This allows the usage of an state-of-the art verification tool for the verification of arbitrary properties of system specifications denoted in RecDEVS. We also present a set of important system properties, which now may be verified. This set includes some fundamental reconfiguration domain specific properties, which were not addressed by previous formal verification methods. The feasibility of this approach is demonstrated for a complex automotive application.