Model-based configuration of access protection units for multicore processors in embedded systems

Safety by Construction: Pattern-Based Application of Safety Mechanisms in XANDAR

“…c) Hardware-enforced information flow control: To perform a logical isolation of physically connected on-chip components, modern MPSoCs are often equipped with Access Protection Units (APUs) attached to their internal interconnects. The work in [7] presents a model-based approach that uses such APUs to enforce an end-to-end information flow policy in a network of MPSoCs. This methodology is highly compatible with the XANDAR process and can be packaged as a safety pattern in a straightforward manner: A pattern application must contain a specification of all accepted information flows at SWC level, i.e., a list of ordered pairs where each pair declares a flow from a source SWC to a sink SWC as accepted.…”

Design and PIL Test of High Performance MPPT Controller Based on P&O-Backstepping Applied to DC-DC Converter

“…This can increase the time it takes to debug run-time errors. Therefore, in other areas such as aviation and automotive, software can be generated from models tested by simulation, and for implementing, there are various steps between simulation and hardware implementation [37], [38]. In addition, the choice of such MPPT algorithms is based on their tracking speed, steady-state performance and the ability to be implemented on embedded boards that ensure high robustness.…”