ENABLE-S3: On Improving the Verification and Validation of Automated Cyber-Physical Systems.

Autor: Leitner, Andrea¹ Andrea.Leitner@avl.com, Sáez-Barona, Sergio² ssaez@iti.es, Slavik, Zora³ slavik@fzi.de, Rautila, Mika⁴ Mika.Rautila@vtt.fi, Marko, Nadja⁵ Nadja.Marko@v2c2.at, Rosenberger, Philipp⁶ rosenberger@fzd.tu-darmstadt.de, Ničković, Dejan⁷ Dejan.Nickovic@ait.ac.at, Krenn, Willibald⁷ willibald.krenn@ait.ac.at, Siegel, Michael michael.siegel@offis.de

Publikováno v: Ada User Journal. Dec2018, Vol. 39 Issue 4, p256-260. 5p.

Algoritmo de Tomasulo

Autor: Petit Martí, Salvador Vicente, López Rodríguez, Pedro Juan, Sáez Barona, Sergio

El objeto de aprendizaje comienza con una breve introducción sobre el manejo del simulador del procesador con ejecución de instrucciones fuera de orden, para luego especificar los objetivos del laboratorio. Los objetivos se alcanzan siguiendo las i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______1560::6a5f1f98dcf4a28c86c7dd7bda74b97b
https://hdl.handle.net/10251/123384

Combined Scheduling of Time-Triggered Plans and Priority Scheduled Task Sets

Autor: Real Sáez, Jorge Vicente, Sáez Barona, Sergio, Crespo Lorente, Alfons

Publikováno v: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

[EN] Preemptive, priority-based scheduling on the one hand, and time-triggered scheduling on the other, are the two major techniques in use for development of real-time and embedded software. Both have their advantages and drawbacks with respect to t

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a8e5b627041d052253700da40cd0d9bc
https://doi.org/10.1145/2971571.2971580

Adding multiprocessor and mode change support to the Ada real-time framework

Autor: Sáez Barona, Sergio, Real Sáez, Jorge Vicente, Crespo Lorente, Alfons

Publikováno v: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

[EN] Based on a previous proposal of an Ada 2005 framework of real-time utilities, this paper deals with the extension of that framework to include support for multiprocessor platforms and multiple operating modes and mode changes. The design of the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cdf2222daaa7615e999c6494f811057c
https://doi.org/10.1145/2492312.2492324

Integrated Schedulers for a Predictable Interrupt Management on Real-Time Kernels

Autor: Sáez Barona, Sergio, Crespo, Alfons

Publikováno v: Reliable Software Technologies – Ada-Europe 2014 ISBN: 9783319083100
Ada-Europe
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
instname

To analyse the timeliness behaviour of a real-time system is one its key aspects. A big effort has been performed by the real-time community to develop accurate and more general schedulability analysis that can ensure the correct execution of the sys

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::65bdc64ec9e458276807010fc090c931
https://doi.org/10.1007/978-3-319-08311-7_11