Maspatechnologies is a company that provides solutions for the analysis of the temporal behavior of software running on multicore processors according to the safety standards for critical real-time embedded systems in sectors such as aviation and automotive. Specifically, its tools simplify obtaining evidence about the safety of the system in accordance with the safety / certification guidelines in terms of temporality.
