PBR Compiler: Automatic system description generator software
AM Rojas, SP Amaya, JM Calderon - IFAC-PapersOnLine, 2022 - Elsevier
In order to get an automatic code generation, some tools like HILES (High-Level
Specification of Embedded Systems) require a high-level system definition with blocks …
Specification of Embedded Systems) require a high-level system definition with blocks …
Coordinated control based Petri nets for microgrids including wind farms
HR Chamorro, CA Ordonez… - 2012 IEEE Power …, 2012 - ieeexplore.ieee.org
Hierarchical coordinated control architectures applied to Microgrids (MG) are a requirement
in order to monitor and supervise the power stages involved and to provide some …
in order to monitor and supervise the power stages involved and to provide some …
Use of petri nets for load sharing control in distributed generation applications
HR Chamorro, JF Jimenez - 2012 3rd IEEE International …, 2012 - ieeexplore.ieee.org
Smart Microgrid (MG) systems require the development of new control strategies in order to
provide of autonomous operability in their processes and self-diagnosis in case of different …
provide of autonomous operability in their processes and self-diagnosis in case of different …
HiLeS-T: an ADL for early requirement verification of embedded systems
Verification of functional and non-functional requirements throughout the design process is a
cost-effective solution when compared to a build-test validation process. By using a model …
cost-effective solution when compared to a build-test validation process. By using a model …
Hardware-in-the-loop based sysml for model and control design of interleaved boost converters
A Gutierrez, HR Chamorro… - 2014 IEEE 15th …, 2014 - ieeexplore.ieee.org
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 …
Embedded Systems-Rich Client Platform) to model and design controllers of interleaved …
Model-based framework for embedded system product line
The use of reconfigurable platforms for embedded system design leverages product line
engineering (PLE), in which the development of products starts from a set of core assets (the …
engineering (PLE), in which the development of products starts from a set of core assets (the …
Tucan: Virtual prototype generation and time constraints analysis of real-time embedded systems
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 …
to support the analysis of VP testing results to validate time constraint requirements in real …
Proposition d'une démarche de spécification et de vérification des systèmes complexes
M Rahim - 2017 - ccdz.cerist.dz
Résumé Dans le cadre de l'ingénierie système et en nous basant sur le langage SysML, les
travaux exposés dans cette thèse contribuent au développement d'une démarche pour la …
travaux exposés dans cette thèse contribuent au développement d'une démarche pour la …
Specification, model and implementation in hiles designer of a test equipment for an aircraft DC generator control unit
A Mateus Rojas - 2016 - repositorio.uniandes.edu.co
La definición de un sistema a alto nivel es un tema de interés en ingeniería aeronáutica
dada la creciente complejidad y necesidades de seguridad de sistemas y componentes a …
dada la creciente complejidad y necesidades de seguridad de sistemas y componentes a …
[PDF][PDF] HiLeS-PL: un framework para la construcción de líneas especializadas en el diseño de sistemas embebidos
CA Arcos Mosquera - 2012 - repositorio.uniandes.edu.co
El diseno y desarrollo de sistemas embebidos es una tarea compleja debido a que los
sistemas actuales involucran varios dominios de ingenierıa. Generalmente, estos disenos …
sistemas actuales involucran varios dominios de ingenierıa. Generalmente, estos disenos …