Embedded Execution Environment for Modular Firmware Structures

Applications for Design and Implementation

Since 1965, with Moore’s law statement, industry is continually aggregating complex services into their products, enhancing people’s life quality with decreasing prices. Despite the advances towards hardware integration, current electronic products are relying even more on software to offer distinguished functionalities to users. Hence, the embedded system industry is facing a paradigm shift from its old fashioned hardware driven development to a strong software based one, exposing to the embedded systems domain unforeseen software design challenges. Indeed, this domain must devise its own and very specialized software engineering techniques, in order to achieve sustainable market growth with quality in the scheduled time. Embedded software is distinct from the standard one, fundamentally in the sense that its development is driven by physical properties such as memory footprint and energy consumption. Furthermore, embedded systems are developed within a very tight time-to-market wi...

Proceedings of the 2014 Workshop on Eclipse Technology eXchange, 2014

In this industrial presentation we will demonstrate mbeddr, an extensible set of integrated languages for embedded software development. After discussing the context of the talk, we will give details about the mbeddr architecture, which relies on the MPS language workbench. Then we will elaborate on the extension modules and show how they fit with safety-critical development processes. Finally we will point out how the existing languages can be extended by the user by giving some real-world examples, including a language construct that could have prevented the Apple "goto fail" bug as well as mathematical notations.

Computers, IEEE Transactions on, 2008

EMBEDDED Systems are ubiquitous today. Starting from avionics control, automotive control, and industrial process control and all the way to handheld PDAs, cell phones, and biomedical prosthetic devices, all have embedded control enabled by embedded computing. According to some, embedded computing has seen some of the most explosive growth among all other fields in computing today. Some of the applications running on such embedded computing platforms are also safety-critical, real-time, and require an absolute guarantee of correctness, ...

IEEE Software, 1986

befoebcomig ivolvd i thedetils 6. A.B. fIbcker and M.J. Flynn, "Dynamiic Microprogramnming: Procescentrateon the algorithmb r c n o th a * sor Organization and Programming, " Comm. ACM, Vol. 14, No. 4, of the implementation. As one part of a microprogramming envi-Apr. 1971, pp. 240-250. ronment, HLMLs can support a coherent design strategy for all 7. R.M. Guffin, "A Microprogramming-Language-Directed Microparts of the microprogramminng process. architecture," Proc. 15th Ann. Microprogramming Workshop, Oct. The different applications of microprogramming mean that 1982, pp. 42-49. there will never be a universal HLML. For small amounts of 8. J.F. Bartlett, "MicroTAL-A Machine-Dependent High-Level Micromicrocode for a custom target, a microassembler is most appro-programming Language," Proc. 14th Ann. Microprogramming ?~~~~~~~~~~W orkshop, Oct. 1981, pp. 109-114. priate. C appears to have become the language of choice for those g R O 1 p 10-1e 9.R.P. Gurd, "Experience Developing Microcode Using a High-Level applications where a high-level machine-independent language Language,"Proc. 16th Ann. Microprogramming Workshop, Oct. is appropriate. This is due to its popularity and the availability of 1983, pp. 179-184. C compiler source code. 10. W.C. Hopkins, M.J. Horton, and C.S. Arnold, "Target-Independent There are many instances of the use of high-level machine-High-Level Microprogramming," Proc. 18th Ann. Microprogramdependent languages in industry, and even of the use of schema-ming Workshop, Dec. 1985, pp. 137-144. based languages when several target machines form a family with 11. "Workstations Gain Supercomputer Strength," Electronics, Sept. 30, related microinstruction sets. There is as yet no agreement on the 1985, pp. 52-53. related microinstructionset. Thereisasyetnagree12. WW. Lattin et al., "A Methodology for VLSI Chip Design," Lambda, structure of high-level mixed languages, although a resource

2019

Author(s): Gustafson, Eric; Muench, Marius; Spensky, Chad; Redini, Nilo; Machiry, Aravind; Fratantonio, Yanick; Balzarotti, Davide; Francillon, Aurelien; Choe, Yung Ryn; Kruegel, Christopher; Vigna, Giovanni

ARM and uVision are registered trademarks of ARM Limited.

This book introduces embedded system design using a modern approach. Modern design requires a designer to have a unified view of software and hardware, seeing them not as completely different domains, but rather as two implementation options along a continuum of options varying in their design metrics (cost, performance, power, flexibility, etc.).

International Workshop on Synchronous Languages, Applications, and Programming (SLAP���06), Vienna, Austria, 2006

Embedded systems often suffer from severe resource constraints such as limited memory for programs and data. In this work, we address the problem of compiling the Esterel synchronous language for processors with such constraints. ... We introduce a virtual machine that executes a compact bytecode designed specifically for executing Esterel and present a compiler for it. Our technique generates code that is roughly half the size of optimized C code compiled using existing techniques. ... We demonstrate the utility of our approach on the Lego RCX ...

Journal of internet services and applications, 2024

Unlike other forms of development, the way firmware development is designed is somewhat outdated. It is not unusual to come across whole systems implemented in a cross-dependent monolithic way. In addition, the software of many implementations is hardware-dependent. Hence, significant hardware changes may result in extensive firmware implementation reviews that can be time-consuming and lead to low-quality ports, which may represent an important problem for Internet of Things (IoT) applications that evolve very frequently. To address this problem, this study proposes an embedded firmware development framework that allows reuse and portability while improving the firmware development life cycle. In addition, the typical mistakes of a novice software developer can be reduced by employing this methodology. An embedded IoT system project was refactored for this framework model to validate this proposal. Finally, a comparison was made between a legacy and framework project to demonstrate that the proposed framework can make a substantial improvement in portability, reuse, modularity, and other firmware factors.

ARM and uVision are registered trademarks of ARM Limited. Cortex and Keil are trademarks of ARM Limited.