The HI-maude tool. In complex hybrid systems, different components may influence each others’ continuous behaviors. HI-Maude is a rewriting-logic-based tool that supports an object-oriented modeling methodology in which it is sufficient to specify the continuous dynamics of single (physical component and physical interaction) objects in such interacting hybrid systems. HI-Maude supports simulation and model checking for a number of numerical approximations of the continuous behaviors, based on adaptations of the Euler and the Runga-Kutta methods.
References in zbMATH (referenced in 3 articles , 1 standard article )
Showing results 1 to 3 of 3.
- Fadlisyah, Muhammad; Ölveczky, Peter Csaba: The HI-maude tool (2013)
- Fadlisyah, Muhammad; Ölveczky, Peter Csaba; Ábrahám, Erika: Formal modeling and analysis of human body exposure to extreme heat in HI-Maude (2012)
- Fadlisyah, Muhammad; Ölveczky, Peter Csaba; Ábrahám, Erika: Object-oriented formal modeling and analysis of interacting hybrid systems in HI-maude (2011)