| Texto completo | |
| Autor(es): |
Duarte, Gabriel C.
;
Loubach, Denis S.
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | 2024 AIAA DATC/IEEE 43RD DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC; v. N/A, p. 8-pg., 2024-01-01. |
| Resumo | |
The main characteristic of avionics systems that makes it a unique application of embedded systems (or cyber-physical system - CPS) is its extremely safety-critical nature. By itself, this makes the design of such a system to be challenging. With the addition of new trends such as artificial intelligence (AI), the use of multicore processors, reconfigurable computing and many others, designing avionics systems is becoming even more complex. These trends allow new capabilities, but we also need to provide confidence to maintain the safety and security of avionics systems. One possible approach is a CPS design using formal models of computation (MoCs), such as the synchronous (SY) and synchronous dataflow (SDF). MoCs are mathematical rules that dictate how software or hardware computations are executed. With that approach, one can design a system at a high-level of abstraction and achieve a correct-by-construction implementation. Avionics systems are safety-critical due to their hard real-time requirements. That would require the designers to model avionics using a timed MoC, such as the SY. On the other hand, runtime reconfiguration can be modeled at a higher level of abstraction using MoCs that are based on the SDF, such as the scenario-aware dataflow (SADF). Therefore, that scenario requires a heterogeneous modeling mixing both timed and untimed MoCs, which is a gap we target in this paper. Here, we introduce the interfaces for communication between the SY and SDF MoCs in a functional programming paradigm framework, allowing heterogeneous system modeling mixing timed and untimed MoCs at a high-level of abstraction. (AU) | |
| Processo FAPESP: | 21/11258-5 - Centro de Pesquisa em Engenharia para a Mobilidade Aérea do Futuro (CPE-MAF) |
| Beneficiário: | Domingos Alves Rade |
| Modalidade de apoio: | Auxílio à Pesquisa - Programa Centros de Pesquisa em Engenharia |