src: They support the design, implementation and verification and validation of dataand/or compute-intensive, platform-independent real-time applications.
tgt: Estes trabalhos apoiam a concepção, a implementação, a verificação e a validação de aplicações em tempo real, com grande intensidade de dados e/ou de processamento e independentes das plataformas.