MBSA Approaches Applied to Next Decade Digital Components

In the field of automatic quality or safety assurance level evaluation, this paper proposes the first approach towards the automation of the modelling processes of both the valid and faulty state machines within a SoC (System-on-a-Chip). The choice of using the modelling framework of APSYS guarantees the possibility to model beyond the classical electromechanical systems, exploring the MBSA applied to SoC. Experimental results have been conducted on an I2C-AHB and SPI-AHB systems, laying the base for a more complete and extended analysis of complex digital systems, defining the basis to ensure the scalability of the model, crucial when approaching heavily interconnected systems as those belonging to the digital world.