scholarly journals Development of the EIRSAT-1 CubeSat through Functional Verification of the Engineering Qualification Model

Aerospace ◽  
2021 ◽  
Vol 8 (9) ◽  
pp. 254
Author(s):  
Sarah Walsh ◽  
David Murphy ◽  
Maeve Doyle ◽  
Jack Reilly ◽  
Joseph Thompson ◽  
...  
Keyword(s):  
Functional Test ◽  
System Level ◽  
Functional Verification ◽  
Prototype Model ◽  
Functional Tests ◽  
Crucial Step ◽  
University College ◽  
Reduce Risk ◽  
Flight Model

The Educational Irish Research Satellite (EIRSAT-1) is a 2U CubeSat developed at University College Dublin. The project aims to build, test, launch, and operate Ireland’s first satellite and to perform in-orbit demonstrations of three novel payloads developed in-house. To reduce risk within the mission, the project employs a prototype model philosophy in which two models of the spacecraft exist: an engineering qualification model (EQM) and a flight model (FM). This paper presents the verification approach of the functional tests implemented for the EIRSAT-1 project. The activities of the FlatSat and system level full functional tests of the EQM are presented and the results obtained during the test campaigns are discussed. Four test anomalies were encountered during the full functional test campaign resulting in two minor redesigns, and subsequent reassembly, of the CubeSat. The functional test campaigns highlighted the importance of FlatSat level testing of CubeSats to ensure compatibility of all subsystems prior to assembly and of thorough documentation to diagnose any unexpected behaviour of the hardware efficiently. The functional verification of the EQM proved that the system conformed to its design, verifying 57 mission requirements, and is a crucial step towards the development of the EIRSAT-1 FM.

scholarly journals An Efficient Functional Test Generation Method For Processors Using Genetic Algorithms

2015 ◽  
Vol 66 (4) ◽  
pp. 185-193 ◽  
Author(s):  
Ján Hudec ◽  
Elena Gramatová
Keyword(s):  
Genetic Algorithms ◽  
Test Generation ◽  
Functional Test ◽  
Evolutionary Strategies ◽  
Instruction Set ◽  
Functional Tests ◽  
Automatic Test Generation ◽  
Code Coverage ◽  
Fitness Functions

Abstract The paper presents a new functional test generation method for processors testing based on genetic algorithms and evolutionary strategies. The tests are generated over an instruction set architecture and a processor description. Such functional tests belong to the software-oriented testing. Quality of the tests is evaluated by code coverage of the processor description using simulation. The presented test generation method uses VHDL models of processors and the professional simulator ModelSim. The rules, parameters and fitness functions were defined for various genetic algorithms used in automatic test generation. Functionality and effectiveness were evaluated using the RISC type processor DP32.

NEW RELIABILITY MEASURE FOR SAFETY INSTRUMENTED SYSTEMS

2013 ◽  
Vol 20 (01) ◽  
pp. 1350005 ◽  
Author(s):  
HUI JIN ◽  
MARY ANN LUNDTEIGEN ◽  
MARVIN RAUSAND
Keyword(s):  
Risk Reduction ◽  
Quantitative Measure ◽  
Functional Test ◽  
Test Interval ◽  
High Demand ◽  
On Demand ◽  
Demand Rate ◽  
Reduce Risk ◽  
Standard Probability

Safety instrumented systems (SISs) are installed to provide risk reduction and the performance of a SIS can be assessed by its ability to reduce risk. This article introduces a new quantitative measure for the risk reduction, denoted PFD*. Compared with the current reliability measures, the new measure takes into account the demand rate, and therefore can be used for SISs operating in both low-demand and high-demand mode. For a SIS operating in low-demand mode, the PFD* is approximately equal to the standard probability of failure on demand (PFD) used in IEC 61508 and related standards. PFD* can therefore be considered as an extension and improvement of the standard PFD. Successful handling of a demand verifies the functional status of a SIS in a way similar to a functional test, and the PFD* will therefore depend on the demand rate. The PFD* can be used to select the functional test interval according to the risk reduction allocated to the specific SIS. The properties of the new measure are analyzed through a case study of a 1-out-of-2 system of pressure transmitters.

Automated system level functional test program generation on ATE from EDA using Functional Test Abstraction

2012 ◽  
Author(s):  
Motoo Ueda ◽  
Shinichi Ishikawa ◽  
Masaru Goishi ◽  
Satoru Kitagawa ◽  
Hiroshi Araki ◽  
...  
Keyword(s):  
Functional Test ◽  
Automated System ◽  
System Level ◽  
Test Program ◽  
Program Generation

scholarly journals Mesin Pencacah Limbah Kulit Kakao

2019 ◽  
Vol 3 (1) ◽  
pp. 1
Author(s):  
Moeso Andrianto ◽  
Fahriansyah Fahriansyah
Keyword(s):  
Organic Waste ◽  
Functional Test ◽  
Functional Design ◽  
Functional Tests

<p><em>Cocoa waste can still be used as something useful such as compost. The objective of this work is to make an organic waste crusher machine from cocoa waste. The method was the determination of systematic crushing, functional design, draw the crusher, making a prototype of the crusher machine, and performing functional test of the crusher. The crusher machine has been designed and provided. Functional tests conducted indicate that the machine can chop cocoa waste so that it can be further processed as compost.</em></p>

scholarly journals On the choice issue of functional tests in physical fitness of the undergraduates

2021 ◽  
Vol 29 ◽  
pp. 01006
Author(s):  
Valentina Talantseva ◽  
Andrei Orlov ◽  
Nadezhda Altynova ◽  
Andrei Platunov
Keyword(s):  
Nervous System ◽  
Vestibular System ◽  
Functional Test ◽  
Educational Institutions ◽  
Functional Tests ◽  
Higher Educational Institutions ◽  
Activity Increase ◽  
Eyes Closed ◽  
Significant Difference ◽  
Higher Educational

Purpose: The purpose of our research is to determine, on the basis of mathematical processing of the experimental results, the most informative functional test, which makes it possible with a greater degree of reliability to assess the state of the vestibular apparatus and the presence of deviations in the work of the nervous system of students of higher educational institutions, and thereby recommend it for use in the practice of physical education in higher educational institutions. Results: Data analysis of the ascertaining experiment for evaluation of the condition of the vestibular system and possible nervous system disorder of the undergraduates shows a significant difference in functional test indicators which makes it necessary to choose the most informative one. Considering the comparison of the test results according to the normal distribution law and further calculation of variation coefficient of the received data it was defined that Romberg test example assuming to hold the balance standing on one leg with eyes closed with hands upwards is the most informative test allowing to more exactly define the condition of the vestibular system and nervous system of the undergraduates. Conclusion: Practical application of functional tests in physical training of students and interpretation of received data regarding the actual biological age of students allows us to actualize their need in physical activity increase. Herewith it is necessary to rely on results of the most informative functional tests, which do not require the application of complex measuring equipment and are quite simple in calculation of results.

scholarly journals AES High-Level SystemC Modeling using Aspect Oriented Programming Approach

2021 ◽  
Vol 11 (1) ◽  
pp. 6719-6723
Author(s):  
H. Mestiri ◽  
I. Barraj ◽  
M. Machhout
Keyword(s):  
Electronic System ◽  
System Level ◽  
Functional Verification ◽  
Programming Approach ◽  
Aspect Oriented Programming ◽  
Simulation Speed ◽  
Executable File ◽  
High Level ◽  
The Impact ◽  
Simulation Time

The increasing complexity of the cryptographic modeling and security simulation of the Advanced Encryption Standard (AES) necessitate fast modeling and simulation security environment. The SystemC language is used in Electronic System Level (ESL) that allows cryptographic models to achieve high security and modeling simulation speed. Yet, the use of SystemC in the security simulation requires modifications of the original code which increases the modeling complexity. The Aspect-Oriented Programming (AOP) can be used in the cryptographic modeling and security simulations without any code modification. In this paper, a new AES SystemC model using the AOP technique is presented. A functional verification environment is proposed to test the functionality of the AES SystemC AOP model, the impact of AOP on simulation time, and the size of the executable files. The design of the AES model is developed with the weaving of all modules by AspectC++ which is an AOP language. The Simulation results show the efficiency of the proposed AES model and the uses of the AOP technique do not have a significant impact on simulation time or on the size of the executable file.

Sign in / Sign up

Export Citation Format

Share Document