5. Model based on a formal language
SDL-2010 an ITU-T STANDARD
Automatic
implementation
on SDLPS
6. Model based on a formal language:
behavior
Fonseca i Casas, P., Fonseca i Casas, A., Garrido-Soriano, N., & Casanovas, J. (2014). Formal simulation model to optimize building
sustainability. Advances in Engineering Software, 69, 62–74. doi:10.1016/j.advengsoft.2013.12.009
7. Model based on a formal language:
Co-simulation
Fonseca i Casas, P., Fonseca i Casas, A., Garrido-Soriano, N., & Casanovas, J. (2014). Formal simulation model to optimize building
sustainability. Advances in Engineering Software, 69, 62–74. doi:10.1016/j.advengsoft.2013.12.009
9. Validation Verification and
Accreditation
Sargent, R. (2009). Verification and validation of simulation models. In M. D. Rossetti, R. R. Hill, B. Johansson, A. Dunkin, & R. G. Ingalls
(Eds.), Proceedings of the 2009 Winter Simulation Conference (WSC) (Vol. 37, pp. 66–66). doi:10.1109/EMR.2009.5235461
22. • Optimization of energy efficiency for buildings based on thousand of
simulation.
• combined with the environmental, economic and social impacts according to
European standard CEN / TC 350.
• Analysis of the four building phases (design - build – use -
deconstruction) and the subsequent treatment of waste and
compensation for the generated impacts.
• Allows you to have full control of the life cycle analysis of the model of study (cycle of
life analysis).
• The use of a formal language (SDL) and modular in a multidisciplinary
team.
• It simplifies the definition and implementation of the model and the co-simulation.
Main innovations
RUNS ON
PC – CLUSTER– CLOUD – SUPERCOMPUTER (MARENOSTRUM)
24. Antoni Fonseca i Casas
PhD Student UPC - Architect and Eng.
antoni.fonseca@necada.com
Ph. D. Pau Fonseca i Casas
InLab FIB, Head of Environmental Simulation
pau@fib.upc.edu