Formal Methods for Multiscale Models Derivation

Raj Dhara (1) , Bin Yang (1) , Walid Belkhir (1) , Michel Lenczner (1) , Alain Giorgetti (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

We are currently developing software dedicated to multiscale and multiphysics modeling of arrays of micro and nanosystems. Unlike traditional software that is based on models built once and for all, here this is the software that constructs models. It is based on the mathematical Two-Scale Transform, a technique for asymptotic methods, together with formal specification and verification techniques in computer science, combining formal transformations and term rewriting and type theory. We aim at taking into account a wide range of geometries combining thin structures, periodic structures with the possibility of multiple nested scales and any combination of these features. In this paper we present the principle of our methods and our first results.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Cryptographie et sécurité [cs.CR]; Modélisation et simulation

Raj Dhara, Bin Yang, Walid Belkhir, Michel Lenczner, Alain Giorgetti. Formal Methods for Multiscale Models Derivation. CFM 2011, 20ème Congrès Français de Mécanique, 2011, Besançon, France. pp.4092--4097. ⟨hal-01223779⟩