Desenvolvimento Dirigido a Modelo Para Bootloader de Microcontrolador

TCC (graduação) - Universidade Federal de Santa Catarina. Campus Joinville. Engenharia Mecatrônica.Em diversas áreas críticas, faz-se uso de sistemas embarcados, como automóveis esistemas de automação industrial, entre outros. Neste contexto, é interessante usarferramentas que facilitem e tornem mais confiáveis os métodos de desenvolvimentode tais sistemas. Sabendo que boa parte desses sistemas são baseados emmicrocontroladores, a compreensão do uso de ferramentas que atendam esserequisito no desenvolvimento dessa categoria de sistemas. Dessa maneira, estetrabalho traz uma abordagem de desenvolvimento dirigido a modelo do bootloaderpara o microcontrolador ATmega328P, de modo a demonstrar a aplicabilidadedo uso de ferramentas automatizadas de geração de código para tal finalidade.Buscando-se também um código-fonte cujos componentes podem ser reutilizadospor outras aplicações. Baseado no código-fonte fornecido para o Arduino Duemilanove,desenvolveu-se um modelo UML no software Papyrus, aperfeiçoando-o até atingiro desacoplamento desejado. Os modelos são traduzidos em código pelo PapyrusSoftware Designer. Os componentes desacoplados são utilizados em uma aplicaçãodesenvolvida para demonstrar sua usabilidade. Por fim, os códigos gerados sãoanalisados estaticamente e melhorados conforme os resultados.Embedded systems are used in several critical areas, such as automobiles and industrialautomation systems, among others. In this context, it is interesting to use tools thatfacilitate and make the development methods of such systems more reliable. Accordingto the fact that these systems are largely based on microcontrollers, it is important tounderstand the use of tools that meet the requirement in code development for thissystems. In that manner, this one brings a model-driven development approach to theATmega328P microcontroller bootloader, in order to demonstrate the applicability ofusing automated code generation tools for this purpose. This was done by looking for asource code whose components can be reused by other applications. A UML modelwas generated in the Papyrus software, based on the source code provided for theArduino Duemilanove, and was imporoved it until reaching the desired decoupling. Themodels were translated into code by Papyrus Software Designer and the decoupledcomponents were used in an application developed to demonstrate their usability. Finally,the generated codes were subjected to a statical analysis and improved according tothe results

Utilizing Rust Programming Language for EFI-Based Bootloader Design

Abstract Rust, as being a systems programming language, offers memory safety with zero cost and without any runtime penalty unlike other languages like C, C++ or Cyclone. System programming languages are mainly used for low level tasks such as design of operating system components, web browsers, game engines and time critical missions like signal processing. Main disadvantages of the existing systems languages are being memory unsafe and having low level design. On the other hand, Rust offers high level language semantics, advanced standard library with modern skill set including most of the features and functional elements of widely-used programming languages. Moreover, Rust can be used as a scripting language like Python, and a functional language like Haskell or any other low level procedural language like C or C++, since Rust is both imperative and functional having no garbage collector. These design choices make Rust a suitable match for low level tasks via including high level scalability and maintainability. Meanwhile, EFI (Extensible Firmware Interface) specification is aimed to remove the limitations of legacy hardware. Hence, we present our analysis of utilizing Rust language on EFIbased bootloader design for x86 architecture, to make it useful for both practitioners and technology developers

XXV Congreso Argentino de Ciencias de la Computación - CACIC 2019: libro de actas

Trabajos presentados en el XXV Congreso Argentino de Ciencias de la Computación (CACIC), celebrado en la ciudad de Río Cuarto los días 14 al 18 de octubre de 2019 organizado por la Red de Universidades con Carreras en Informática (RedUNCI) y Facultad de Ciencias Exactas, Físico-Químicas y Naturales - Universidad Nacional de Río CuartoRed de Universidades con Carreras en Informátic