claim: Padua is in Venezuela.
evidence: COQOS is a highly scalable software framework for in-car head units , instrument clusters , connectivity boxes , or driver assistance systems .. Its hypervisor-based architecture makes it possible to run several separated software partitions on a single processor .. Within such a partition , COQOS supports both AUTOSAR real time automotive functions and full operating systems like Linux and Android ™ .. This system virtually eliminates mutual interference , because of the independence of each partition .. Modular boot and fast boot technology ensure quick availability of critical functionality .. Special drivers make it even possible to share hardware resources -LRB- like audio and video -RRB- between partitions .. Another essential element of COQOS is the AUTOSAR environment .. This allows the seamless integration of AUTOSAR software components and basic software modules .