Unai Diaz de Cerio

Ikerlan · Dependable Embedded Systems

La conducción autónoma despierta un interés cada vez mayor en la industria, no solo en el sector de la automoción, sino también en el transporte de personas o mercancías por carretera o ferrocarril y en entornos de fabricación más controlados. Los sistemas ciber-físicos que se están proponiendo para este tipo de aplicaciones requieren de una gran c...

One field of research that has gained importance within the automotive industry is autonomous driving. In recent years, interesting advances have been made in this field. In turn, the emerging technology vehicle-to-everything (V2X), is expanding the automotive world by enabling a cooperative autonomous driving due to communication between vehicles....

We formalize, in the Dafny language and verifier, a proof system PS for deciding the model checking problem of the fragment of first-order logic, denoted \(\mathcal {FO}(\forall ,\exists ,\wedge )\), known as conjunctive positive logic (CPL). We mechanize the proofs of soundness and completeness of PS ensuring its correctness. Our formalization is...

Dynamic scheduling techniques, and EDF (Earliest Deadline First) in particular, have demonstrated their ability to increase the schedulability of real time systems compared to fixed-priority scheduling. In distributed systems, the scheduling policies of the processing nodes tend to be the same as in stand-alone systems and, although few EDF network...

Offset-based response time analysis is a technique introduced to eliminate some of the pessimism inherent to the holistic analysis developed to analyze schedulability in distributed and partitioned multiprocessor systems. The original offset-based response time analysis techniques for preemptive fixed-priority schedulers only considered precedence...