This paper outlines the application of the HiLeS-RCP (High Level Specification of
Embedded Systems-Rich Client Platform) to model and design controllers of interleaved …

This paper presents the application of HiLeS (High Level Specification of Embedded
Systems) formalism to design a supervisory controller based on FPGA for interleaved boost …

This paper presents Tucan, an approach to automatically create a virtual prototype (VP) and
to support the analysis of VP testing results to validate time constraint requirements in real …

This article presents an approach for performance verification of requirement scenarios in
Service-Oriented Architecture (SOA) models. The SOA models are represented by …

Un inversor de potencia es una arquitectura versátil capaz de suministrar tensiones de
salida de DC o AC a partir de voltajes de entrada DC. En comparación con otros inversores …

Modern embedded software is more complex than before, therefore an early analysis of the
software architecture is needed to reduce the development cost and risks. However …

En este trabajo de tesis, se investiga la posibilidad de reconfigurar on-line una aplicación
distribuida basada en PLC. En particular el uso del formalismo hibrido High Level …

Hoy en dıa se cuenta con una extensa variedad de herramientas para la generación
automática de código para sistemas embebidos en hardware programable; algunas de …