Martínez Medina, Óscar(Universitat Politècnica de València, 2020-05-14)
[ES] Este Trabajo Final de Máster verifica un modelo por elementos finitos de un dispositivo de prueba CAI, para paneles de plástico reforzado con fibra de carbono de pared delgada. Las simulaciones se calculan desde el ...
Llobell Buigues, Juan(Universitat Politècnica de València, 2020-04-06)
[ES] Obtención de las secciones eficaces de un reactor PWR 16X16 mediante el código Montecarlo Serpent para 27 combinaciones de temperatura de moderador, combustible y refrigerante, utilizando el cluster MMP2 del superordenador ...
Pérez Benedí, Jenifer(Universitat Politècnica de València, 2011-10-27)
The work presented in this thesis of master is an approach that takes advantage of the Model-Driven Development approach for developing aspect-oriented software architectures. A complete MDD support for the PRISMA approach ...
García Valero, Víctor(Universitat Politècnica de València, 2021-09-15)
[ES] En el siguiente trabajo modelamos el protocolo de exclusión mutua con tiempo real Fischer como un módulo de sistema mediante el lenguaje de especificación y verificación Maude. Hacemos uso del alcance de la generación ...
[EN] The adaptive nature of cyber physical systems (CPS) comes from the fact that they are deeply immersed in the physical environments that are inherently dynamic. CPS also have stringent requirements on real-time operation ...
Moreno Latorre, Jorge(Universitat Politècnica de València, 2023-09-26)
[EN] This project describes the extension effort of PLEXIL5, a PLEXIL formal interpreter specified in the rewriting logic engine Maude, to achieve higher degrees of correctness and completeness with respect to the PLEXIL ...
Polynomial constraint solving plays a prominent role in several areas of hardware and software analysis and verification, e.g.; termination proving, program invariant generation and hybrid system verification, to name a ...
Valls Mompó, Joan Josep; García-Gordillo, Miguel; Sáez Barona, Sergio(Ada-Europe, 2019-12)
[EN] Automated systems can be found on many current vehi-
cles, either land, air or maritime. The reliability, safety
and robustness of these systems is extremely important,
hence validation approaches need to adapt to ...
Lescaylle Daudinot, Alexei(Universitat Politècnica de València, 2012-01-24)
We propose the tccp language for the specification and verification of security protocols. We study the relation between tccp and utcc by presenting a transformation from utcc into tccp that formally states the relation ...
The concurrent functional language Erlang [1] has a number of distinguishing
features, like dynamic typing, concurrency via asynchronous message passing
or hot code loading, that make it especially appropriate for ...
Marín, Beatriz; Giachetti Herrera, Giovanni Andrés; Pastor López, Oscar; Vos, Tanja Ernestina; ALAIN ABRAN(Association for Computing Machinery (ACM), 2013-07)
Models are key artifacts in Model-Driven Development (MDD) methods. To produce high-quality software by using MDD methods, quality assurance of models is of paramount importance. To evaluate the quality of models, defect ...
Juan Cerdá, José(Universitat Politècnica de València, 2022-04-07)
[ES] El trabajo trata sobre la verificación des de cero de un conversor analógico-digital de aproximaciones sucesivas a nivel de bloque en un entorno DMS. Este bloque forma parte de un chip que va a ser desarrollado por ...
A new solver capable of calculating liquid and/or gas problems has been developed, verified and validated. Compressible solvers in Computational Fluid Dynamics use both mass flux and volumetric fluxes through the cell ...