Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café

En la actualidad se están implementando técnicas de diseño de máquinas de forma virtual, intentando reducir los tiempos y costos, y fortaleciendo la calidad de los productos. Para esto se utilizan herramientas de simulación en las diferentes fases del desarrollo. Una simulación integrada del sistema...

Full description

Autores:
Naranjo Casallas, Sergio Alejandro
Tipo de recurso:
Fecha de publicación:
2017
Institución:
Universidad de los Andes
Repositorio:
Séneca: repositorio Uniandes
Idioma:
spa
OAI Identifier:
oai:repositorio.uniandes.edu.co:1992/34280
Acceso en línea:
http://hdl.handle.net/1992/34280
Palabra clave:
Diseño de máquinas - Investigacion - Métodos de simulación
Tostadoras de café - Diseño y construcción - Investigacion - Métodos de simulación
Arduino (Controlador programable) - Investigaciones - Estudio de casos
Sistemas integrados de fabricación por computador - Investigaciones
Ingeniería
Rights
openAccess
License
https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
id UNIANDES2_e7041544841934b133f2c7d1f5d0f569
oai_identifier_str oai:repositorio.uniandes.edu.co:1992/34280
network_acronym_str UNIANDES2
network_name_str Séneca: repositorio Uniandes
repository_id_str
dc.title.es_CO.fl_str_mv Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
title Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
spellingShingle Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
Diseño de máquinas - Investigacion - Métodos de simulación
Tostadoras de café - Diseño y construcción - Investigacion - Métodos de simulación
Arduino (Controlador programable) - Investigaciones - Estudio de casos
Sistemas integrados de fabricación por computador - Investigaciones
Ingeniería
title_short Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
title_full Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
title_fullStr Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
title_full_unstemmed Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
title_sort Comparación de dos métodos de verificación de software : aplicación a una máquina tostadora de café
dc.creator.fl_str_mv Naranjo Casallas, Sergio Alejandro
dc.contributor.advisor.none.fl_str_mv Barbieri, Giacomo
Córdoba Nieto, Ernesto
dc.contributor.author.none.fl_str_mv Naranjo Casallas, Sergio Alejandro
dc.contributor.jury.none.fl_str_mv Rodríguez Herrera, Carlos Francisco
González Mancera, Andrés Leonardo
dc.subject.keyword.es_CO.fl_str_mv Diseño de máquinas - Investigacion - Métodos de simulación
Tostadoras de café - Diseño y construcción - Investigacion - Métodos de simulación
Arduino (Controlador programable) - Investigaciones - Estudio de casos
Sistemas integrados de fabricación por computador - Investigaciones
topic Diseño de máquinas - Investigacion - Métodos de simulación
Tostadoras de café - Diseño y construcción - Investigacion - Métodos de simulación
Arduino (Controlador programable) - Investigaciones - Estudio de casos
Sistemas integrados de fabricación por computador - Investigaciones
Ingeniería
dc.subject.themes.none.fl_str_mv Ingeniería
description En la actualidad se están implementando técnicas de diseño de máquinas de forma virtual, intentando reducir los tiempos y costos, y fortaleciendo la calidad de los productos. Para esto se utilizan herramientas de simulación en las diferentes fases del desarrollo. Una simulación integrada del sistema requiere no sólo el comportamiento dinámico del sistema de producción, sino también probar las situaciones de funcionamiento y posibles fallos a los que está sometido el dispositivo. Este proyecto de tesis compara dos técnicas de verificación para el control de una máquina tostadora de café, desde el diseño del mismo hasta la prueba de diferentes situaciones a las que está sometida la misma, implementando el mismo control en dos lenguajes de programación, Arduino y PLC, para un prototipo físico y uno virtual respectivamente. Se diseñó un prototipo físico y se utilizó este mismo diseño para la simulación. Para la modelación del control se utilizó el lenguaje UML, y la metodología RUP para el desarrollo del software. Se elaboró una lista de pruebas, a las que fue sometido el control. Se comparó, el tiempo de implementación para cada caso y el cumplimento de la respuesta esperada.
publishDate 2017
dc.date.issued.none.fl_str_mv 2017
dc.date.accessioned.none.fl_str_mv 2020-06-10T09:01:10Z
dc.date.available.none.fl_str_mv 2020-06-10T09:01:10Z
dc.type.spa.fl_str_mv Trabajo de grado - Maestría
dc.type.coarversion.fl_str_mv http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.driver.spa.fl_str_mv info:eu-repo/semantics/masterThesis
dc.type.content.spa.fl_str_mv Text
dc.type.redcol.spa.fl_str_mv http://purl.org/redcol/resource_type/TM
dc.identifier.uri.none.fl_str_mv http://hdl.handle.net/1992/34280
dc.identifier.pdf.none.fl_str_mv u807268.pdf
dc.identifier.instname.spa.fl_str_mv instname:Universidad de los Andes
dc.identifier.reponame.spa.fl_str_mv reponame:Repositorio Institucional Séneca
dc.identifier.repourl.spa.fl_str_mv repourl:https://repositorio.uniandes.edu.co/
url http://hdl.handle.net/1992/34280
identifier_str_mv u807268.pdf
instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
repourl:https://repositorio.uniandes.edu.co/
dc.language.iso.es_CO.fl_str_mv spa
language spa
dc.rights.uri.*.fl_str_mv https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
dc.rights.accessrights.spa.fl_str_mv info:eu-repo/semantics/openAccess
dc.rights.coar.spa.fl_str_mv http://purl.org/coar/access_right/c_abf2
rights_invalid_str_mv https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdf
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.extent.es_CO.fl_str_mv 109 hojas
dc.format.mimetype.es_CO.fl_str_mv application/pdf
dc.publisher.es_CO.fl_str_mv Uniandes
dc.publisher.program.es_CO.fl_str_mv Maestría en Ingeniería Mecánica
dc.publisher.faculty.es_CO.fl_str_mv Facultad de Ingeniería
dc.publisher.department.es_CO.fl_str_mv Departamento de Ingeniería Mecánica
dc.source.es_CO.fl_str_mv instname:Universidad de los Andes
reponame:Repositorio Institucional Séneca
instname_str Universidad de los Andes
institution Universidad de los Andes
reponame_str Repositorio Institucional Séneca
collection Repositorio Institucional Séneca
bitstream.url.fl_str_mv https://repositorio.uniandes.edu.co/bitstreams/1b834ef4-d09a-4b46-8527-4946ad0e2896/download
https://repositorio.uniandes.edu.co/bitstreams/c295074e-e07a-4f54-bcff-eaf1e1023ff5/download
https://repositorio.uniandes.edu.co/bitstreams/fe7e62aa-d51b-4993-b6b7-a4486312e717/download
bitstream.checksum.fl_str_mv 566458c4f9b78a2ca88fe56def2a94da
ed05ce96216135cf6856fe1446be505f
c492056c7e8005a231fb09eb805a743f
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositorio institucional Séneca
repository.mail.fl_str_mv adminrepositorio@uniandes.edu.co
_version_ 1812133826553446400
spelling Al consultar y hacer uso de este recurso, está aceptando las condiciones de uso establecidas por los autores.https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdfinfo:eu-repo/semantics/openAccesshttp://purl.org/coar/access_right/c_abf2Barbieri, Giacomoaae7a65a-6cd9-43b8-b3d7-915405e2af0f400Córdoba Nieto, Ernestof2aa1acf-9d92-4b7d-8110-6c6a245663f4500Naranjo Casallas, Sergio Alejandro3729450f-176f-4fee-9134-1890801c03d6500Rodríguez Herrera, Carlos FranciscoGonzález Mancera, Andrés Leonardo2020-06-10T09:01:10Z2020-06-10T09:01:10Z2017http://hdl.handle.net/1992/34280u807268.pdfinstname:Universidad de los Andesreponame:Repositorio Institucional Sénecarepourl:https://repositorio.uniandes.edu.co/En la actualidad se están implementando técnicas de diseño de máquinas de forma virtual, intentando reducir los tiempos y costos, y fortaleciendo la calidad de los productos. Para esto se utilizan herramientas de simulación en las diferentes fases del desarrollo. Una simulación integrada del sistema requiere no sólo el comportamiento dinámico del sistema de producción, sino también probar las situaciones de funcionamiento y posibles fallos a los que está sometido el dispositivo. Este proyecto de tesis compara dos técnicas de verificación para el control de una máquina tostadora de café, desde el diseño del mismo hasta la prueba de diferentes situaciones a las que está sometida la misma, implementando el mismo control en dos lenguajes de programación, Arduino y PLC, para un prototipo físico y uno virtual respectivamente. Se diseñó un prototipo físico y se utilizó este mismo diseño para la simulación. Para la modelación del control se utilizó el lenguaje UML, y la metodología RUP para el desarrollo del software. Se elaboró una lista de pruebas, a las que fue sometido el control. Se comparó, el tiempo de implementación para cada caso y el cumplimento de la respuesta esperada.At present, machine design techniques are being implemented virtually, trying to reduce the time, costs, and quality of the products. For this, simulation tools are used in the different stages of development. An integrated simulation of the system requires not only the dynamic behavior of the production system, but also to test the operating situations and possible failures to which the device is subjected. This thesis project compares two verification techniques for the control of a coffee roaster, from the design of the same to the testing of different situations to which it is subjected, implementing the same control in two programming languages, Arduino and PLC, for a physical prototype and a virtual prototype respectively. A physical prototype was designed and this was used for the simulation. For the modeling of the control the UML language was used, and the RUP methodology for software development. A list of tests was prepared, to which the control was submitted. It was compared, the implementation time for each case and the fulfillment of the expected response.Magíster en Ingeniería MecánicaMaestría109 hojasapplication/pdfspaUniandesMaestría en Ingeniería MecánicaFacultad de IngenieríaDepartamento de Ingeniería Mecánicainstname:Universidad de los Andesreponame:Repositorio Institucional SénecaComparación de dos métodos de verificación de software : aplicación a una máquina tostadora de caféTrabajo de grado - Maestríainfo:eu-repo/semantics/masterThesishttp://purl.org/coar/version/c_970fb48d4fbd8a85Texthttp://purl.org/redcol/resource_type/TMDiseño de máquinas - Investigacion - Métodos de simulaciónTostadoras de café - Diseño y construcción - Investigacion - Métodos de simulaciónArduino (Controlador programable) - Investigaciones - Estudio de casosSistemas integrados de fabricación por computador - InvestigacionesIngenieríaPublicationTEXTu807268.pdf.txtu807268.pdf.txtExtracted texttext/plain158328https://repositorio.uniandes.edu.co/bitstreams/1b834ef4-d09a-4b46-8527-4946ad0e2896/download566458c4f9b78a2ca88fe56def2a94daMD54ORIGINALu807268.pdfapplication/pdf1881892https://repositorio.uniandes.edu.co/bitstreams/c295074e-e07a-4f54-bcff-eaf1e1023ff5/downloaded05ce96216135cf6856fe1446be505fMD51THUMBNAILu807268.pdf.jpgu807268.pdf.jpgIM Thumbnailimage/jpeg9424https://repositorio.uniandes.edu.co/bitstreams/fe7e62aa-d51b-4993-b6b7-a4486312e717/downloadc492056c7e8005a231fb09eb805a743fMD551992/34280oai:repositorio.uniandes.edu.co:1992/342802023-10-10 15:38:08.996https://repositorio.uniandes.edu.co/static/pdf/aceptacion_uso_es.pdfopen.accesshttps://repositorio.uniandes.edu.coRepositorio institucional Sénecaadminrepositorio@uniandes.edu.co

Publicaciones similares