scholarly journals Desenvolvimento de um Gerador de Programas Aleatórios em Java

2021 ◽  
Author(s):  
Luiz Felipe Kraus ◽  
Bruno Schafaschek ◽  
Samuel Da Silva Feitosa
Keyword(s):  
Computer Science ◽  
Flight Control ◽  
Critical Systems ◽  
Software Validation ◽  
Testing Area ◽  
Science Area ◽  
Java Programs ◽  
Nuclear Systems ◽  
Validation Testing

With great advances in the computer science area where technologicalsystems are becoming more and more complex, tests are hardto perform. The problem is even more serious in critical systems,such as flight control or nuclear systems, where an error can causecatastrophic damage in our society. Currently, two techniques areoften used for software validation: testing and software verification.This project aims the testing area, generating random programs tobe used as input to property-based tests, in order to detect errorsin systems and libraries, minimizing the possibility of errors. Morespecifically, Java programs will be automatically generated from existentclasses and interfaces, considering all syntactic and semanticconstraints of the language.

Characteristics for Performance Optimization of Safety-Critical System Development (SCSD)

2020 ◽  
Vol 24 (2) ◽  
pp. 232-242
Author(s):  
Abdulaziz Ahmed Thawaba ◽  
Azizul Azhar Ramli ◽  
Mohd. Farhan Md. Fudzee ◽  
Junzo Wadata ◽  
◽  
...  
Keyword(s):  
Flight Control ◽  
Performance Optimization ◽  
System Development ◽  
Critical Systems ◽  
Critical System ◽  
Safety Critical ◽  
Railway Systems ◽  
Safety Critical System ◽  
Nuclear Systems ◽  
Causes Of Failure

Safety-critical systems (SCS) are the most significant systems that affect our daily life in many areas such as flight control systems, railway systems, medical devices, nuclear systems, and military weapons. SCS failures could result in losing life or serious injuries. Improving the practices during development phases of SCS can reduce failures up to 40%, thus resulting developers to follows specific development practices and techniques. Developers should improve safety-critical system development (SCSD) by taking into account all factors and understanding the causes of failure. Previous studies have highlighted the causes of failure during the development of SCS, but for specific areas such as designs, requirements, or the human factor, while developers need to know the causes of failure in all areas and the relationship between them clearly and comprehensively. This research aims to analyze SCSD characteristics and discuss performance improvement as well as causes of failure. This paper proposed a guideline that helps developers reduce the causes of failure during SCS development. This guide has four characteristics, each with a role in improving SCSD and reducing causes of failure.

scholarly journals Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems

2013 ◽  
Vol 23 (4) ◽  
pp. 675-675
Author(s):  
AZER BESTAVROS ◽  
ASSAF KFOURY
Keyword(s):  
Computer Science ◽  
Formal Methods ◽  
Wide Spectrum ◽  
Critical Systems ◽  
Research Groups ◽  
Special Issue ◽  
Mathematical Structures ◽  
Safety Critical ◽  
Safety Critical Systems ◽  
Final Selection

The papers included in this special issue of Mathematical Structures in Computer Science were selected from a larger set we solicited from leading research groups on both sides of the Atlantic. They cover a wide spectrum of tutorials, recent results and surveys in the area of lightweight and practical formal methods in the design and analysis of safety-critical systems. All the papers we received were submitted to a rigorous process of review and revision, based on which we made our final selection.

scholarly journals Evaluación comparativa de los resultados de la aplicación del cuestionario del estilo de aprendizaje Honey-Alonso a estudiantes del área de las ciencias computacionales

2020 ◽  
pp. 32-40
Author(s):  
Abraham Esquivel-Salas ◽  
Verenice Ábila-Aguilar ◽  
María del Refugio Molina-Wong ◽  
Manuel Ignacio Salas-Guzmán
Keyword(s):  
Higher Education ◽  
Learning Styles ◽  
Sample Size ◽  
Computer Science ◽  
Learning Style ◽  
Comparative Evaluation ◽  
Career Path ◽  
Learning Motivation ◽  
Science Area ◽  
Professional Studies

In this article a first approach was made about the tracking of a student’s learning styles preferences along their higher education. The investigation was applied to students of the Computer Science area, through a comparative evaluation of the Honey-Alonso Learning Styles Questionnaire to selected students, in three moments of their career path. In a first instance, the results show a change in the learning style of the students, later an analysis provides the nature of that change. The study presents the sample size as a limitation, because the tests had to be applied to the selected students and at different times of their professional studies. The interest for get knowledge about learning styles, aims to increasing the comprehension about how the students learn, and in the possibility of developing tools that allow, as far as possible, increasing the learning motivation and personalization.

FPGA Evaluation of Reconfigurable Modules With Fault Detection and Repair Technique

2014 ◽  
Vol 3 (2) ◽  
pp. 39
Author(s):  
Pradeep C ◽  
Radhakrishnan R
Keyword(s):  
Fault Detection ◽  
System Reliability ◽  
Communication Systems ◽  
Digital Systems ◽  
Critical Conditions ◽  
Partial Reconfiguration ◽  
Critical Systems ◽  
New Approach ◽  
Repair Technique ◽  
Nuclear Systems

<p>This paper proposes a fault detection and repair algorithm which is suitable for fault free reconfigurable systems. In recent years Built in Self Repair digital systems have got very important role in the applications such as nuclear systems, space missions and communication systems etc where system reliability is very critical . Systems designed  to operate in critical conditions will collapse due to even a single fault occurrence. To avoid these situations  many methods have developed in recent years. This work proposes an area efficient and fast fault detection and repair algorithm.  For the evaluation of the new approach and older methods a system with a standalone module and four add on modules were designed and evaluated for resource utilization using XUPV5 board. The entire FPGA is divided in to tiles and each module is implemented in different tiles using partial reconfiguration method using Xilinx Plan Ahead 14.2 with partial reconfiguration facility.</p>

Sign in / Sign up

Export Citation Format

Share Document