OpEn: Code Generation for Embedded Nonconvex Optimization
نویسندگان
چکیده
منابع مشابه
Code generation and optimization for embedded digital signal processors
The advent of deep submicron processing technology has made it possible and desirable to integrate a processor core, a program ROM, and application-specific circuitry all on a single IC. As the complexity of embedded software grows, highlevel languages such as C and C++ are increasingly employed in writing embedded software. Consequently, high-level language compilers have become an essential t...
متن کاملEfficient automatic code generation for embedded systems
Developing a safety critical real-time application raises high challenge: “failure is not an option”. The code has to be readable, reliable and efficient. For doing so, VERILOG has developed an environment based on formal approach. This is the only way to be in a position to prove that the code is doing what it is supposed to do, always.
متن کاملCode Generation for Embedded Java with Ptolemy
Code generation from models is the ultimate goal of model-based design. For real-time systems the generated code must be analyzable for the worstcase execution time (WCET). In this paper we evaluate Java code generation from Ptolemy II for embedded real-time Java. The target system is the time-predictable Java processor JOP. The quality of the generated code is verified by WCET analysis for the...
متن کاملCode generation for embedded processors: an introduction
As the tendency towards more complex electronic systems continues, many of these systems are equipped with embedded processors. For example, such processors can be found in cars, and in audio-, video-, and telecommunication-equipment. Essential advantages of these processors include their high exibility, short design time and (in the case of o -the-shelf processors) full-custom layout quality. ...
متن کاملEmbedded Code Generation for Efficient Reinitialization
Embedded control system design involves continuous time, discrete event mode switching, and discontinuities in system behavior and requires support for: (i) continuous behavior, (ii) discrete event behavior, and (iii) re-initialization when discrete events occur. The graphical block diagram formalism that supports continuous behavior modeling is extended by logic components that seamlessly inte...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC-PapersOnLine
سال: 2020
ISSN: 2405-8963
DOI: 10.1016/j.ifacol.2020.12.071