MbedTarget - A Simulink Target for Cortex-M Microcontrollers
نویسندگان
چکیده
منابع مشابه
Usable Simulink Embedded Coder Target for Linux
Matlab/Simulink is a commercial tool used by many engineers and researchers worldwide to design and develop various systems, usually containing a lot of mathematical computations. Initially, Simulink was intended for performing simulations of dynamic systems (hence the name), but nowadays it also allows to create their prototypes or even final implementations. The system (for example a motor co...
متن کاملChaskey: a Lightweight MAC Algorithm for Microcontrollers
We propose Chaskey: a very efficient Message Authentication Code (MAC) algorithm for 32-bit microcontrollers. It is intended for applications that require 128-bit security, yet cannot implement standard MAC algorithms because of stringent requirements on speed, energy consump tion, or code size. Chaskey is a permutation-based MAC algorithm that uses the Addition-RotationXOR (ARX) design method...
متن کاملA Transactional Flash File System for Microcontrollers
We present a transactional file system for flash memory devices. The file system is designed for embedded microcontrollers that use an on-chip or on-board NOR flash device as a persistent file store. The file system provides atomicity to arbitrary sequences of file system operations, including reads, writes, file creation and deletion, and so on. The file system supports multiple concurrent tra...
متن کاملPICOBIT: A Compact Scheme System for Microcontrollers
Due to their tight memory constraints, small microcontroller based embedded systems have traditionally been implemented using lowlevel languages. This paper shows that the Scheme programming language can also be used for such applications, with less than 7 kB of total memory. We present PICOBIT, a very compact implementation of Scheme suitable for memory constrained embedded systems. To achieve...
متن کاملModel Checking Software for Microcontrollers
A method for model checking of microcontroller code is presented. The main objective is to check embedded C code including typical hardware specific ingredients like embedded assembly statements, direct memory accesses, direct register accesses, interrupts, and timers, without any further manual preprocessing. For this purpose, the state space is generated directly from the assembly code that i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: SNE Simulation Notes Europe
سال: 2018
ISSN: 2305-9974,2306-0271
DOI: 10.11128/sne.28.sw.10417