[HTML][HTML] Preliminary Design of Satellite Systems through the Integration of Model-Based System Engineering and Agile Methodologies: Application to the 3ColStar …

JN Buitrago-Leiva, JJ Mejía, JF Puerta-Ibarra… - Aerospace, 2024 - mdpi.com
This paper presents a case study on integrating Agile Systems Engineering methodologies
in the preliminary design phase of satellite systems, focusing on the 3ColStar satellite …

Towards a Robust Computational Solution for the Verification and Validation of Complex Systems in MBSE using Wymore's Tricotyledon Theory of System Design

A Gharbi, O Fischer, DN Mavris - AIAA SCITECH 2022 Forum, 2022 - arc.aiaa.org
View Video Presentation: https://doi. org/10.2514/6.2022-0094. vid Model Based Systems
Engineering is continuously getting more traction and interest from both industry and …

Hardware-in-the-loop simulation of PV systems in micro-grids using SysML models

A Gutierrez, HR Chamorro, JF Jimenez… - 2015 IEEE 16th …, 2015 - ieeexplore.ieee.org
This paper outlines a methodology for modeling photovoltaic systems in embedded
hardware. This methodology uses the HiLeS platform to transform SysML models in Petri …

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 …

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 …

HiLeS2: model driven embedded system virtual prototype generation

H Hoyos, R Casallas, F Jiménez… - Proceedings of the 2011 …, 2011 - dl.acm.org
Embedded system virtual prototyping allows exploration of solutions in system architecture
and hardware specification, prior to real prototype construction, resulting in higher quality …

SysML methodology for HIL implementation of PV models

A Gutierrez, HR Chamorro, LFL Villa… - 2015 17th European …, 2015 - ieeexplore.ieee.org
This paper describes a methodology for implementing in FPGA models of photovoltaic
panels for Hardware-in-the-Loop (HIL) and real-time simulations. The proposed …

Model-based framework for embedded system product line

H Hoyos, R Casallas, F Jiménez - IECON 2012-38th Annual …, 2012 - ieeexplore.ieee.org
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 …

Combining Discrete and Continuous Domains for SysML-Based Simulation and Test Generation

JM Gauthier - 2015 - inria.hal.science
The research conducted during this thesis fall within the scope of modeling, verification and
validation of critical and complex systems. This work aims to bridge the gap between the …

From embedded systems requirements to physical representation: A model-based methodology in accordance with the EIA-632 standard

C Gomez, P Esteban, JC Pascal, F Jimenez - Production Systems and …, 2012 - Springer
The concept of system level, introduced in Electronic System Level (ESL), offers a system-
model representation before thinking about the partition between software and hardware …