Maison de la Pédagogie - Bureau A.110
The activities of the ALSOC team concern methods and tools for multiprocessors system on chip design. Such highly integrated multiprocessors architectures are used in embedded applications such as automotive, nomad, audio & video, and telecom. The design of these systems requires the development of hardware and software co-design methods. We focus on advanced hardware architecture, communication protocols, embedded operating system, real-time constraints, formal methods for verification systems and optimization of code generation.
system on chip, multiprocessors, embedded operating system, test, verification, compilation
