The Functional Mock-up Interface (FMI) is an industry standard which enables co-simulation of complex heterogeneous systems using multiple simulation engines. In this paper, we show how to use FMI in order to co-simulate hybrid systems modeled in the model checkers SPACEEX and UPPAAL. We show how FMI components can be automatically generated from SPACEEX and UPPAAL models. We also validate the ...

Co-simulation refers to simulating a complex system using several coupled numerical models. Engineers define the rate of data exchange between the models by setting communication steps. FMI is a standardized interface which easily allows coupling and co-simulation of numerical models. The RCOSIM approach allows the parallelization on multi-core processors of co-simulations using the FMI standar...

The objective of Task T2.4 is to provide formal foundations for comodelling with the Functional Mockup Interface (FMI). In Year 2, we have created the first behavioural semantics for the FMI standard. We use the state-rich process algebra, Circus, to present our modelling approach, and indicate how models can be automatically generated from a description of the individual simulations and their ...

Esta nota narra la consolidación fiscal ocurrida en los últimos 40 años, las evoluciones conceptos de déficit monitoreados el análisis fiscal, y impacto condicionalidad del Fondo Monetario Internacional (FMI) inmersa sucesivos programas financieros subscritos entre Perú FMI sobre evolución principales agregados fiscales. La también elabora logros retos gestión pública a fecha.

OBJECTIVE While the cochlear implant provides many deaf patients with good speech understanding in quiet, music perception and appreciation with the cochlear implant remains a major challenge for most cochlear implant users. The present study investigated whether a closed-set melodic contour identification (MCI) task could be used to quantify cochlear implant users' ability to recognize musical...

The objective of the present study was to investigate the relationship between the indices of body size such as BMI, fat-free mass index (FFMI, FFM/height2), fat mass index (FMI, FM/height2), and body fat percentage (%BF), and physical activities assessed by the doubly-labelled water (DLW) method and an accelerometer in free-living Japanese adult women. We conducted a cross-sectional study in 1...

OBJECTIVES To investigate associations between timing of adiposity rebound (AR; the period in childhood where BMI begins to increase from its nadir) and adiposity (BMI, fat mass) at age 15 years in the Avon Longitudinal Study of Parents and Children (ALSPAC). METHODS The sample consisted of 546 children with AR derived in childhood and BMI and fat mass index (FMI; fat mass measured by dual-en...

Body composition is sparsely described in spinal muscular atrophy (SMA). Body (BMI, mass/height in m(2)), fat-free (FFMI, lean mass/height in m(2)) and fat (FMI, fat mass/height in m(2)) mass indexes were estimated in 25 children (aged 5-18) with SMA (2 type I, 13 type II, 10 type III) using dual-energy radiograph absorptiometry and anthropometric data referenced to gender and age-matched healt...