FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2896044315> ?p ?o ?g. }

• W2896044315 abstract "An increasing variety of emerging systems relentlessly replaces or augments the functionality of mechanical subsystems with embedded electronics. For quantity, complexity, and use, the safety of such subsystems is an increasingly important matter. Accordingly, those systems are subject to safety certification to demonstrate system's safety by rigorous development processes and hardware/software constraints. The massive augment in embedded processors' complexity renders the arduous certification task significantly harder to achieve. The focus of this thesis is to address the certification challenges in multicore architectures: despite their potential to integrate several applications on a single platform, their inherent complexity imperils their timing predictability and certification. Recently, the Measurement-Based Probabilistic Timing Analysis (MBPTA) technique emerged as an alternative to deal with hardware/software complexity. The innovation that MBPTA brings about is, however, a major step from current certification procedures and standards. The particular contributions of this Thesis include: (i) the definition of certification arguments for mixed-criticality integration upon multicore processors. In particular we propose a set of safety mechanisms and procedures as required to comply with functional safety standards. For timing predictability, (ii) we present a quantitative approach to assess the likelihood of execution-time exceedance events with respect to the risk reduction requirements on safety standards. To this end, we build upon the MBPTA approach and we present the design of a safety-related source of randomization (SoR), that plays a key role in the platform-level randomization needed by MBPTA. And (iii) we evaluate current certification guidance with respect to emerging high performance design trends like caches. Overall, this Thesis pushes the certification limits in the use of multicore and MBPTA technology in Critical Real-Time Embedded Systems (CRTES) and paves the way towards their adoption in industry. Una creciente variedad de sistemas emergentes reemplazan o aumentan la funcionalidad de subsistemas mecánicos con componentes electrónicos embebidos. El aumento en la cantidad y complejidad de dichos subsistemas electrónicos así como su cometido, hacen de su seguridad una cuestión de creciente importancia. Tanto es así que la comercialización de estos sistemas críticos está sujeta a rigurosos procesos de certificación donde se garantiza la seguridad del sistema mediante estrictas restricciones en el proceso de desarrollo y diseño de su hardware y software. Esta tesis trata de abordar los nuevos retos y dificultades dadas por la introducción de procesadores multi-núcleo en dichos sistemas críticos: aunque su mayor rendimiento despierta el interés de la industria para integrar múltiples aplicaciones en una sola plataforma, suponen una mayor complejidad. Su arquitectura desafía su análisis temporal mediante los métodos tradicionales y, asimismo, su certificación es cada vez más compleja y costosa. Con el fin de lidiar con estas limitaciones, recientemente se ha desarrollado una novedosa técnica de análisis temporal probabilístico basado en medidas (MBPTA). La innovación de esta técnica, sin embargo, supone un gran cambio cultural respecto a los estándares y procedimientos tradicionales de certificación. En esta línea, las contribuciones de esta tesis están agrupadas en tres ejes principales: (i) definición de argumentos de seguridad para la certificación de aplicaciones de criticidad-mixta sobre plataformas multi-núcleo. Se definen, en particular, mecanismos de seguridad, técnicas de diagnóstico y reacción de faltas acorde con el estándar IEC 61508 sobre una arquitectura multi-núcleo de referencia. Respecto al análisis temporal, (ii) presentamos la cuantificación de la probabilidad de exceder un límite temporal y su relación con los requisitos de reducción de riesgos derivados de los estándares de seguridad funcional. Con este fin, nos basamos en la técnica MBPTA y presentamos el diseño de una fuente de números aleatorios segura; un componente clave para conseguir las propiedades aleatorias requeridas por MBPTA a nivel de plataforma. Por último, (iii) extrapolamos las guías actuales para la certificación de arquitecturas multi-núcleo a una solución comercial de 8 núcleos y las evaluamos con respecto a las tendencias emergentes de diseño de alto rendimiento (caches). Con estas contribuciones, esta tesis trata de abordar los retos que el uso de procesadores multi-núcleo y MBPTA implican en el proceso de certificación de sistemas críticos de tiempo real y facilita, de esta forma, su adopción por la industria." @default.
• W2896044315 created "2018-10-26" @default.
• W2896044315 creator A5026531618 @default.
• W2896044315 date "2023-07-19" @default.
• W2896044315 modified "2023-10-03" @default.
• W2896044315 title "Development and certification of mixed-criticality embedded systems based on probabilistic timing analysis" @default.
• W2896044315 doi "https://doi.org/10.5821/dissertation-2117-121018" @default.
• W2896044315 hasPublicationYear "2023" @default.
• W2896044315 type Work @default.
• W2896044315 sameAs 2896044315 @default.
• W2896044315 citedByCount "0" @default.
• W2896044315 crossrefType "dissertation" @default.
• W2896044315 hasAuthorship W2896044315A5026531618 @default.
• W2896044315 hasBestOaLocation W28960443151 @default.
• W2896044315 hasConcept C111919701 @default.
• W2896044315 hasConcept C112930515 @default.
• W2896044315 hasConcept C115903868 @default.
• W2896044315 hasConcept C121332964 @default.
• W2896044315 hasConcept C125611927 @default.
• W2896044315 hasConcept C127413603 @default.
• W2896044315 hasConcept C136197465 @default.
• W2896044315 hasConcept C149635348 @default.
• W2896044315 hasConcept C154945302 @default.
• W2896044315 hasConcept C17744445 @default.
• W2896044315 hasConcept C185544564 @default.
• W2896044315 hasConcept C197640229 @default.
• W2896044315 hasConcept C199539241 @default.
• W2896044315 hasConcept C200601418 @default.
• W2896044315 hasConcept C201995342 @default.
• W2896044315 hasConcept C2777904410 @default.
• W2896044315 hasConcept C2781124451 @default.
• W2896044315 hasConcept C41008148 @default.
• W2896044315 hasConcept C46304622 @default.
• W2896044315 hasConcept C49937458 @default.
• W2896044315 hasConcept C62520636 @default.
• W2896044315 hasConcept C71924100 @default.
• W2896044315 hasConceptScore W2896044315C111919701 @default.
• W2896044315 hasConceptScore W2896044315C112930515 @default.
• W2896044315 hasConceptScore W2896044315C115903868 @default.
• W2896044315 hasConceptScore W2896044315C121332964 @default.
• W2896044315 hasConceptScore W2896044315C125611927 @default.
• W2896044315 hasConceptScore W2896044315C127413603 @default.
• W2896044315 hasConceptScore W2896044315C136197465 @default.
• W2896044315 hasConceptScore W2896044315C149635348 @default.
• W2896044315 hasConceptScore W2896044315C154945302 @default.
• W2896044315 hasConceptScore W2896044315C17744445 @default.
• W2896044315 hasConceptScore W2896044315C185544564 @default.
• W2896044315 hasConceptScore W2896044315C197640229 @default.
• W2896044315 hasConceptScore W2896044315C199539241 @default.
• W2896044315 hasConceptScore W2896044315C200601418 @default.
• W2896044315 hasConceptScore W2896044315C201995342 @default.
• W2896044315 hasConceptScore W2896044315C2777904410 @default.
• W2896044315 hasConceptScore W2896044315C2781124451 @default.
• W2896044315 hasConceptScore W2896044315C41008148 @default.
• W2896044315 hasConceptScore W2896044315C46304622 @default.
• W2896044315 hasConceptScore W2896044315C49937458 @default.
• W2896044315 hasConceptScore W2896044315C62520636 @default.
• W2896044315 hasConceptScore W2896044315C71924100 @default.
• W2896044315 hasLocation W28960443151 @default.
• W2896044315 hasOpenAccess W2896044315 @default.
• W2896044315 hasPrimaryLocation W28960443151 @default.
• W2896044315 hasRelatedWork W1991659074 @default.
• W2896044315 hasRelatedWork W2054055245 @default.
• W2896044315 hasRelatedWork W2057000094 @default.
• W2896044315 hasRelatedWork W2255529110 @default.
• W2896044315 hasRelatedWork W2404534755 @default.
• W2896044315 hasRelatedWork W2612429302 @default.
• W2896044315 hasRelatedWork W2884601865 @default.
• W2896044315 hasRelatedWork W2983993876 @default.
• W2896044315 hasRelatedWork W3132982456 @default.
• W2896044315 hasRelatedWork W4200347197 @default.
• W2896044315 isParatext "false" @default.
• W2896044315 isRetracted "false" @default.
• W2896044315 magId "2896044315" @default.
• W2896044315 workType "dissertation" @default.