Well typed embedded program cannot burn

Detalhes bibliográficos
Autor(a) principal: André, Nanikafuako Augusto Lusende
Data de Publicação: 2018
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/10400.6/10021
Resumo: Este trabalho apresenta uma farramenta voltada para o ensino de programação e circuítos electronicos usando o arduino. A ferramenta consiste em um compilador que através de uma linguagem de programação textual e simplificada que é a linguagem ardlight, permitir a escrita de programas que depois de compilados pelo ardlight, possam ser enviados e executados como programa do arduíno. Originalmente, os programas eram executados de uma forma em que o programador tinha de pensar em todos os aspetos a ver com o circuíto a ser construído. Com a extensão proposta, a ideia é que o programa compilado pelo ardlight possa fazer de forma automática o que os construtores de circuítos electrónicos em arduíno fazem, acrescendo ainda os cálculos necessários para a proteção do respectivo circuíto. Para que o ardlight funcione, o programador deve escrever no ficheiro de entrada, informações referentes aos componentes que constituem o circuíto a ser construído. Assim, através dos comandos programados com a liguagem ocaml no ardlight é possível criar um ficheiro de saída com todas instruções necessárias e os cálculos para a construção do circuíto. Destaca-se ainda a inclusão da plataforma Arduino, por ser uma opção mais acessível devido as suas características de hardware e software livre, e também pelo fato de que boa parte das instituições de ensino podem adotar o ensino de robótica, pois o kit do arduíno tem baixo custo. Por fim, no intuito de validar o funcionamento do compilador do ardlight, foram feitos testes e observou-se que o ardlight foi capaz de executar todos os comandos da linguagem, apesar de apresentar algumas limitações.
id RCAP_237360872c05997b57391c687ad7c5df
oai_identifier_str oai:ubibliorum.ubi.pt:10400.6/10021
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Well typed embedded program cannot burnArduíno UnoCircuítos Electronicos EducacionalEnsino de ProgramaçãoLinguagens de ProgramaçãoEste trabalho apresenta uma farramenta voltada para o ensino de programação e circuítos electronicos usando o arduino. A ferramenta consiste em um compilador que através de uma linguagem de programação textual e simplificada que é a linguagem ardlight, permitir a escrita de programas que depois de compilados pelo ardlight, possam ser enviados e executados como programa do arduíno. Originalmente, os programas eram executados de uma forma em que o programador tinha de pensar em todos os aspetos a ver com o circuíto a ser construído. Com a extensão proposta, a ideia é que o programa compilado pelo ardlight possa fazer de forma automática o que os construtores de circuítos electrónicos em arduíno fazem, acrescendo ainda os cálculos necessários para a proteção do respectivo circuíto. Para que o ardlight funcione, o programador deve escrever no ficheiro de entrada, informações referentes aos componentes que constituem o circuíto a ser construído. Assim, através dos comandos programados com a liguagem ocaml no ardlight é possível criar um ficheiro de saída com todas instruções necessárias e os cálculos para a construção do circuíto. Destaca-se ainda a inclusão da plataforma Arduino, por ser uma opção mais acessível devido as suas características de hardware e software livre, e também pelo fato de que boa parte das instituições de ensino podem adotar o ensino de robótica, pois o kit do arduíno tem baixo custo. Por fim, no intuito de validar o funcionamento do compilador do ardlight, foram feitos testes e observou-se que o ardlight foi capaz de executar todos os comandos da linguagem, apesar de apresentar algumas limitações.This work presents a tool aimed at teaching programming and electronic circuits using arduino. The tool consists of a compiler that, through a simplified textual programming language, allows the writing of programs that after being compiled by ardlight, can be sent and executed as an arduino program. Originally, the programs were run in a way that the programmer had to think of all the aspects to do with the circuit to be built. With the proposed extension, the idea is that the program compiled by the ardlight can automatically do what the arduino electronic circuit builders do, while adding the calculations necessary to protect the respective circuit. In order for the ardlight to work, the programmer must write in the input file information about the components that make up the circuit to be built. Thus, through the commands programmed with the ocaml language in the ardlight it is possible to create an output file with all necessary instructions and calculations for the construction of the circuit. It is also worth noting the inclusion of the Arduino platform, as it is a more accessible option due to its hardware and free software features, and also because many educational institutions can adopt robotics teaching, since the arduino kit has low cost. Finally, in order to validate the operation of the ardlight compiler, tests were made and it was observed that the ardlight was able to execute all the commands of the language, although it presented some limitations.Sousa, Simão Patricio Melo deuBibliorumAndré, Nanikafuako Augusto Lusende2020-03-12T16:57:57Z2018-11-192018-10-042018-11-19T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10400.6/10021urn:tid:202355918porinfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-03-11T14:36:59Zoai:ubibliorum.ubi.pt:10400.6/10021Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T01:19:20.081401Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Well typed embedded program cannot burn
title Well typed embedded program cannot burn
spellingShingle Well typed embedded program cannot burn
André, Nanikafuako Augusto Lusende
Arduíno Uno
Circuítos Electronicos Educacional
Ensino de Programação
Linguagens de Programação
title_short Well typed embedded program cannot burn
title_full Well typed embedded program cannot burn
title_fullStr Well typed embedded program cannot burn
title_full_unstemmed Well typed embedded program cannot burn
title_sort Well typed embedded program cannot burn
author André, Nanikafuako Augusto Lusende
author_facet André, Nanikafuako Augusto Lusende
author_role author
dc.contributor.none.fl_str_mv Sousa, Simão Patricio Melo de
uBibliorum
dc.contributor.author.fl_str_mv André, Nanikafuako Augusto Lusende
dc.subject.por.fl_str_mv Arduíno Uno
Circuítos Electronicos Educacional
Ensino de Programação
Linguagens de Programação
topic Arduíno Uno
Circuítos Electronicos Educacional
Ensino de Programação
Linguagens de Programação
description Este trabalho apresenta uma farramenta voltada para o ensino de programação e circuítos electronicos usando o arduino. A ferramenta consiste em um compilador que através de uma linguagem de programação textual e simplificada que é a linguagem ardlight, permitir a escrita de programas que depois de compilados pelo ardlight, possam ser enviados e executados como programa do arduíno. Originalmente, os programas eram executados de uma forma em que o programador tinha de pensar em todos os aspetos a ver com o circuíto a ser construído. Com a extensão proposta, a ideia é que o programa compilado pelo ardlight possa fazer de forma automática o que os construtores de circuítos electrónicos em arduíno fazem, acrescendo ainda os cálculos necessários para a proteção do respectivo circuíto. Para que o ardlight funcione, o programador deve escrever no ficheiro de entrada, informações referentes aos componentes que constituem o circuíto a ser construído. Assim, através dos comandos programados com a liguagem ocaml no ardlight é possível criar um ficheiro de saída com todas instruções necessárias e os cálculos para a construção do circuíto. Destaca-se ainda a inclusão da plataforma Arduino, por ser uma opção mais acessível devido as suas características de hardware e software livre, e também pelo fato de que boa parte das instituições de ensino podem adotar o ensino de robótica, pois o kit do arduíno tem baixo custo. Por fim, no intuito de validar o funcionamento do compilador do ardlight, foram feitos testes e observou-se que o ardlight foi capaz de executar todos os comandos da linguagem, apesar de apresentar algumas limitações.
publishDate 2018
dc.date.none.fl_str_mv 2018-11-19
2018-10-04
2018-11-19T00:00:00Z
2020-03-12T16:57:57Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10400.6/10021
urn:tid:202355918
url http://hdl.handle.net/10400.6/10021
identifier_str_mv urn:tid:202355918
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833600926936465408

Registros relacionados