Autor:
Rodríguez Polo, Óscar

Foto de perfil

E-mails conocidos

o.rodriguez@uah.es

Fecha de nacimiento

ORCID

0000-0002-7893-4247

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Rodríguez Polo

Nombre de pila

Óscar

Nombre

Nombres alternativos

Polo, Oscar R.

Afiliaciones conocidas

Universidad de Alcalá, Spain

Páginas web conocidas

Página completa del ítem
Notificar un error en este autor

Filtros

20241
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 1 de 1
  • Miniatura
    Artículo
    A Domain-Specific Language for Real-Time Critical Systems
    Parra, Pablo; Ceresa, Martin; Moreno, Elsa; Rodríguez Polo, Óscar; Sánchez, César. Actas de las XXIII Jornadas de Programación y Lenguajes (PROLE 2024), 2024-06-17.
    Software development for real-time critical systems is hard, complex and challenging. In real-time critical systems, the imposed requirements are not solely functional, but they also establish a set of temporal constraints that the system must meet to ensure its correct operation. Moreover, validation and verification costs of software development projects for hard real-time critical systems, such as on-board satellite systems, in most cases account for more than half of the total project cost. In this work-in-progress, we introduce a new domain-specific language targetting real-time critical systems aimed at reducing validation and verification costs. The language includes real-time reactive systems abstractions as language citizens, making programs clearer and easier to reason about than current implementations in C or Ada. Moreover, we build the language around two main principles: restricted memory management and every fragment written by users should terminate.