Toward a methodology for the AltaRica modelling of multi-physical systems
Romain Adeline, Pierre Darfeuil, Sophie Humbert, Janétte Cardoso, Christel Seguin · 2010
Numerous works deal with the use of the formal language AltaRica to improve the safety as-sessment process of industrial systems. In this context, the paper aims at describing and applying a common methodology to model physical systems. The example of a mechanical system and a hydro-mechanical system will be taken.