CÉU: EMBEDDED, SAFE, AND REACTIVE PROGRAMMING

FRANCISCO PEDRO C SANTANNA, NOEMI DE LA ROCQUE RODRIGUEZ, ROBERTO IERUSALIMSCHY
2018 Monografias em Ciência da Computação  
CÉU is a programming language that unifies the features found in dataflow and imperative synchronous reactive languages, offering a high-level and safe alternative to event-driven and multithreaded systems for embedded systems. CÉU supports concurrent lines of execution that run in time steps and are allowed to share variables. However, the synchronous and static nature of CÉU enables a compile time analysis that can enforce deterministic and memory-safe programs. CÉU also introduces
more » ... support for "wall-clock" time (i.e. time from the real world), and offers seamless integration with C and simulation of programs in the language itself. The CÉU compiler generates single-threaded code comparable to handcrafted C programs in terms of size and portability. Resumo. CÉUé uma linguagem que unifica os estilos dataflow e imperativo das linguagens síncronas reativas, oferecendo uma alternativa segura e de alto nível aos modelos orientados a eventos e multithreaded para sistemas embarcados. CÉU suporta linhas de execução concorrentes que avançam em passos de tempo e podem compartilhar variáveis. No entanto, a natureza síncrona e estática de CÉU viabiliza uma análise em tempo de compilação que assegura programas determinísticos. CÉU também introduz suporte de primeira classe para wall-clock time (i.e. tempo do mundo real) e oferece integração com C e simulação de programas na própria linguagem. O compilador de CÉU gera código single-threaded comparável a programas C em termos de tamanho e portabilidade.
doi:10.17771/pucrio.dimcc.25258 fatcat:ccrtvnqyc5gk5llyvjoftc4evi