scholarly journals ARINC653 Channel Robustness Verification Using LeonViP-MC, a LEON4 Multicore Virtual Platform

Electronics ◽  
2021 ◽  
Vol 10 (10) ◽  
pp. 1179
Author(s):  
Jonatan Sánchez ◽  
Antonio da Silva ◽  
Pablo Parra ◽  
Óscar R. Polo ◽  
Agustín Martínez Hellín ◽  
...  
Keyword(s):  
Fault Tolerance ◽  
Architectural Design ◽  
Fault Injection ◽  
Control Unit ◽  
Tolerance Mechanisms ◽  
Efficient Data ◽  
Instrument Control ◽  
Virtual Platform ◽  
Hardware Platforms ◽  
The University

Multicore hardware platforms are being incorporated into spacecraft on-board systems to achieve faster and more efficient data processing. However, such systems lead to increased complexity in software development and represent a considerable challenge, especially concerning the runtime verification of fault-tolerance requirements. To address the ever-challenging verification of this kind of requirement, we introduce a LEON4 multicore virtual platform called LeonViP-MC. LeonViP-MC is an evolution of a previous development called Leon2ViP, carried out by the Space Research Group of the University of Alcalá (SRG-UAH), which has been successfully used in the development and testing of the flight software of the instrument control unit (ICU) of the energetic particle detector (EPD) on board the Solar Orbiter. This paper describes the LeonViP-MC architectural design decisions oriented towards fault-injection campaigns to verify software fault-tolerance mechanisms. To validate the simulator, we developed an ARINC653 communications channel that incorporates fault-tolerance mechanisms and is currently being used to develop a hypervisor level for the GR740 platform.

scholarly journals Runtime Instrumentation of SystemC/TLM2 Interfaces for Fault Tolerance Requirements Verification in Software Cosimulation

2014 ◽  
Vol 2014 ◽  
pp. 1-15 ◽  
Author(s):  
Antonio da Silva ◽  
Pablo Parra ◽  
Óscar R. Polo ◽  
Sebastián Sánchez
Keyword(s):  
Fault Tolerance ◽  
Energetic Particle ◽  
Fault Injection ◽  
Source Code ◽  
Control Unit ◽  
Particle Detector ◽  
Instrument Control ◽  
Requirements Verification ◽  
Protocol Compliance ◽  
System Properties

This paper presents the design of a SystemC transaction level modelling wrapping library that can be used for the assertion of system properties, protocol compliance, or fault injection. The library uses C++ virtual table hooks as a dynamic binary instrumentation technique to inline wrappers in the TLM2 transaction path. This technique can be applied after the elaboration phase and needs neither source code modifications nor recompilation of the top level SystemC modules. The proposed technique has been successfully applied to the robustness verification of the on-board boot software of the Instrument Control Unit of the Solar Orbiter’s Energetic Particle Detector.

Virtual Verification and Validation of Automotive System

2019 ◽  
Vol 28 (04) ◽  
pp. 1950071
Author(s):  
Mona Safar ◽  
Magdy A. El-Moursy ◽  
Mohamed Abdelsalam ◽  
Ayman Bakr ◽  
Keroles Khalil ◽  
...  
Keyword(s):  
Fault Injection ◽  
Electronic Control Unit ◽  
Control Unit ◽  
Verification And Validation ◽  
System Level ◽  
Development Cycle ◽  
Virtual Platform ◽  
On Chip ◽  
Automotive System

An integrated framework for Virtual Verification and Validation (VVV) for a complete automotive system is proposed. The framework can simulate/emulate the system on three levels: System on Chip (SoC), Electronic control unit (ECU) and system level. The framework emulates the real system including hardware (HW) and software (SW). It enhances the automotive V-cycle and allows co-development of the automotive system SW and HW. The procedure for debugging AUTOSAR application on the virtual platform (VP) is shown. SW and HW profiling is feasible with the presented methodology. Verification and validation of automotive embedded SW is also presented. The proposed methodology is efficient as the system complexity increases which shortens the development cycle of automotive system. It also provides fault injection capability. With HW emulation, co-debugging mechanism is demonstrated. A case study covering the framework capability is presented. The case study demonstrates the proposed framework and methodology to design, simulate, trace, profile and debug AUTOSAR SW using VPs.

Evaluation Of The MARS Fault Tolerance Mechanisms Using Three Physical Fault Injection Techniques

2005 ◽  
Author(s):  
J. Karlsson ◽  
P. Folkesson ◽  
J. Arlat ◽  
Y. Crouzet ◽  
G. Leber ◽  
...  
Keyword(s):  
Fault Tolerance ◽  
Fault Injection ◽  
Tolerance Mechanisms ◽  
Injection Techniques

scholarly journals Towards On-line Adaptation of Fault Tolerance Mechanisms

2010 ◽  
Author(s):  
Jean-Charles Fabre ◽  
Marc-Olivier Killijian ◽  
Thomas Pareaud
Keyword(s):  
Fault Tolerance ◽  
Tolerance Mechanisms ◽  
On Line

A Design for Fault-Tolerant Communication Middleware Based on Time-Triggered

2014 ◽  
Vol 548-549 ◽  
pp. 1326-1329
Author(s):  
Juan Jin ◽  
Qing Fan Gu
Keyword(s):  
Fault Tolerance ◽  
Real Time ◽  
Fault Location ◽  
Fault Tolerant ◽  
Application Software ◽  
Tolerance Mechanisms ◽  
The Real ◽  
Communication Middleware ◽  
Fault Mechanism ◽  
Health Diagnosis

Against to the unsustainable problems of health diagnosis, fault location and fault tolerance mechanisms that existing in the current avionics applications, we proposed a fault-tolerant communication middleware which is based on time-triggered in this paper. This middleware is designed to provide a support platform for applications of the real-time based on communication middleware. From the communication middleware level and also combined with time-triggered mechanism and fault-tolerant strategy, it diagnoses the general faults first, and then routes them to the appropriate fault mechanism to process it. So the middleware completely separates fault-tolerant process from the application software functions.

The instrument control unit of SPICA SAFARI: a macro-unit to host all the digital control functionalities of the spectrometer

2012 ◽  
Author(s):  
Anna Maria Di Giorgio ◽  
David Biondi ◽  
Bortolino Saggin ◽  
Irina Shatalina ◽  
Maurizio Viterbini ◽  
...  
Keyword(s):  
Digital Control ◽  
Control Unit ◽  
Instrument Control

scholarly journals Valoración del uso de la plataforma virtual Moodle como recurso pedagógico en la enseñanza universitaria de la informática

2017 ◽  
Vol 2 (1) ◽  
pp. 51 ◽  
Author(s):  
Juan Manuel Claro-Vásquez
Keyword(s):  
Teaching And Learning ◽  
Collaborative Work ◽  
Structured Interview ◽  
University Teaching ◽  
Subjective Experiences ◽  
Learning Spaces ◽  
Virtual Platform ◽  
The University ◽  
Trabajo Colaborativo ◽  
Estudiantes Universitarios

ResumenEl presente artículo describio las valoraciones que hacen los docentes sobre los usos de la plataforma virtual como un recurso de enseñanza y aprendizaje en los cursos de informática de la Universidad de Santander, sede Cúcuta.  Para la recolección de la información necesaria para la investigación se empleó una encuesta aplicada a ocho profesores pertenecientes al Departamento de Sistemas de la Universidad. Esta encuesta se complementó con una entrevista semiestructurada centrada en las experiencias subjetivas de tres docentes. Entre los resultados más relevantes aparece que los profesores que participaron en el estudio utilizan frecuentemente la plataforma virtual como complemento para el desarrollo de sus cursos. El manejo apropiado de la plataforma se lleva a cabo como un proceso dinámico e interactivo de tal manera que el profesor constituye la base fundamental de la construcción de ideas en su entorno y muestra que el uso de la plataforma virtual en la formación de los estudiantes universitarios ha logrado que se reflexione sobre las técnicas elementales de la educación y puedan ser aplicadas en los procesos de enseñanza basados en la formación virtual.Palabras clave: recursos pedagógicos, espacios virtuales de aprendizaje, plataforma virtual Moodle, trabajo colaborativo Assessment of the use of the Moodle virtual platform as a pedagogical resource in the university teaching of computer scienceAbstractThis article describes teachers’ assessments regarding the uses of the virtual platform as a teaching and learning resource in informatics courses of the University of Santander, Cúcuta. As a means of collecting the information necessary for the investigation, a survey of eight professors belonging to the Systems Department of the university was carried out. This survey was complemented by a semi-structured interview centered on the subjective experiences of three teachers. Among the most relevant results, it appears that the professors who participated in the study frequently use the virtual platform as a complement for the development of their courses. The appropriate management of the platform is executed as a dynamic and interactive process, in such a way that the teacher functions as the fundamental basis for the construction of ideas in its environment. Furthermore, it demonstrates that the use of the virtual platform in the training of university students has managed to reflect on the elementary techniques of education and can be applied in teaching processes based on virtual training.Keywords: pedagogical resources, virtual learning spaces, Moodle virtual platform, collaborative work, Valoração do uso da plataforma virtual Moodle como recurso pedagógico no ensino universitário da informática.Avaliação do uso da plataforma virtual Moodle como recurso pedagógico no ensino Universitário de informáticaResumoResumo: Este artigo descreve as avaliações feitas pelos professores sobre os usos da plataforma virtual como recurso de ensino e aprendizagem nos cursos de informática da Universidade de Santander, Cúcuta. Para a recolha das informações necessárias para a investigação, foi utilizada uma pesquisa aplicada a oito professores pertencentes ao Departamento de Sistemas da Universidade. Esta pesquisa foi complementada por uma entrevista semi-estruturada centrada nas experiências subjetivasde três professores. Entre os resultados mais relevantes, parece que os professores que participaram no estudo freqüentemente usam a plataforma virtual como complemento para o desenvolvimento de seuscursos. O gerenciamento apropriado da plataforma é realizado como um processo dinâmico e interativo, de tal forma que o professor é a base fundamental da construção de idéias em seu ambiente e mostra que o uso da plataforma virtual na formação de estudantes universitários conseguiu refletir sobre as técnicas elementares de educação e pode ser aplicado em processos de ensino baseados em treinamento virtual.Palavras-chave: recursos pedagógicos, espaços virtuais de aprendizagem, plataforma virtual Moodle, trabalho colaborativo 

scholarly journals Development vectors for the NNSUACE campus

2020 ◽  
pp. 157-166
Author(s):  
Anna Gelfond ◽  
Andrei Lapshin
Keyword(s):  
Public Space ◽  
Architectural Design ◽  
Civil Engineering ◽  
Symbiotic Relationship ◽  
State University ◽  
University Campus ◽  
Principal Tool ◽  
The University ◽  
Education Science

The Nizhny Novgorod State University of Architecture and Civil Engineering (NNSUACE) campus is located in Zapochainie, a historical area in Nizhny Novgorod, so the issues of revitalization of the historico-architectural environment and those concerning the methods of architectural design are interwoven in the text. The symbiotic relationship between education, science and practice used as a principal tool for the training of architects at NNSUACE made it possible to envision the evolution of the university campus. The article presents the projects proposed by professional architects and students in response to the need to meet both practical and ideological challenges – to transform the university campus into a viable public space.

Sign in / Sign up

Export Citation Format

Share Document