Fairly recently, a new encryption scheme for embedded systems based on continuous third-order hyperbolic sine chaotic system was proposed by Z. Lin et al. The cryptosystem's main objective is to provide faster algorithm with lowest computational time in order be qualified use especially program of UAV (unmanned aerial vehicle). In this paper, we scrutinize the design architecture recently again...

In an embedded real-time system (ERTS), tasks (software) are typically executed on a multicore shared-memory platform (hardware). The number of cores is usually small, contrasted with larger complex that share data to collaborate. Since most ERTSs safety-critical, it crucial rigorously verify their software against various requirements under the actual hardware constraints (concurrent access da...