Based on the analysis and research of the airworthiness objective of integrated modular avionics system(IMA),and the characteristics of IMA system’s comprehensive and complex cross-linking with other airborne systems...Based on the analysis and research of the airworthiness objective of integrated modular avionics system(IMA),and the characteristics of IMA system’s comprehensive and complex cross-linking with other airborne systems,the extraction strategy of IMA system’s compliance flight test subjects and the selection method of IMA system’s compliance flight test parameters are proposed.The data analysis method based on the abnormal probability matrix of the IMA system is proposed for the first time,and the abnormal state information of the IMA system can be quickly identified.The compliance flight test of the IMA system is completed with limited flight test resources,which achieves the purpose of saving flight test sorties and improving flight test efficiency.This research has been successfully applied to the airworthiness certification flight test of a certain civil transport aircraft in China,and can provide technical support for the subsequent type flight test.展开更多
Distributed Integrated Modular Avionics(DIMA)develops from Integrated Modular Avionics(IMA)and realizes distributed integration of multiple sub-function areas.Timetriggered network provides effective support for time ...Distributed Integrated Modular Avionics(DIMA)develops from Integrated Modular Avionics(IMA)and realizes distributed integration of multiple sub-function areas.Timetriggered network provides effective support for time synchronization and information coordination in DIMA systems.However,inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism.To ensure such time determinism and achieve guaranteed real-time performance,system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain.This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication,and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes.Furthermore,incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost.To control such cost,this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible.Finally,two typical cases,including a simple fully connected DIMA system case and an industrial DIMA system case,are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.展开更多
Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical app...Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing （GSA） is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.展开更多
Health management permits the reliability of a system and plays a increasingly important role for achieving efficient system-level maintenance.It has been used for remaining useful life（RUL） prognostics of electroni...Health management permits the reliability of a system and plays a increasingly important role for achieving efficient system-level maintenance.It has been used for remaining useful life（RUL） prognostics of electronics-rich system including avionics.Prognostics and health management（PHM） have become highly desirable to provide avionics with system level health management.This paper presents a health management and fusion prognostic model for avionics system,combining three baseline prognostic approaches that are model-based,data-driven and knowledge-based approaches,and integrates merits as well as eliminates some limitations of each single approach to achieve fusion prognostics and improved prognostic performance of RUL estimation.A fusion model built upon an optimal linear combination forecast model is then utilized to fuse single prognostic algorithm representing the three baseline approaches correspondingly,and the presented case study shows that the fusion prognostics can provide RUL estimation more accurate and more robust than either algorithm alone.展开更多
The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the r...The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management （HM/FM） scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets （SPN） to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.展开更多
With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more gener...With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.展开更多
The paper discusses the system function, structure of hardware and software of the ground simulating testing system for airborne electronic devices; an example of a practical simulation and inspection system is given....The paper discusses the system function, structure of hardware and software of the ground simulating testing system for airborne electronic devices; an example of a practical simulation and inspection system is given. The system connects different kinds of microcomputers as DIMENSION 68000. SDK86, TP80T to form a distributed simulation and inspection network through an 8-terminal optic fiber communication net. The system can imitate the signal of the radar of a motional object and the ARINC429 signal of the navigation subsystem and atmosphere subsystem. It can be directly connected to the airborne electronic devices, receiving and processing real-time data from the airborne electronic devices, storing the data, fulfilling error analysis, drawing curves of the motive objects, printing tables of various test parameters. The system is easy to operate with perfect functions. The technique index accomplished and appraisal of the system are also given.展开更多
In parametric cost estimating, objections to using statistical Cost Estimating Relationships （CERs） and parametric models include problems of low statistical significance due to limited data points, biases in the un...In parametric cost estimating, objections to using statistical Cost Estimating Relationships （CERs） and parametric models include problems of low statistical significance due to limited data points, biases in the underlying data, and lack of robustness. Soft Computing （SC） technologies are used for building intelligent cost models. The SC models are systemically evaluated based on their training and prediction of the historical cost data of airborne avionics systems. Results indicating the strengths and weakness of each model are presented. In general, the intelligent cost models have higher prediction precision, better data adaptability, and stronger self-learning capability than the regression CERs.展开更多
To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA...To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.展开更多
In this work,a Model-Based Systems Engineering approach based on Sys ML is proposed.This approach is used for the capture and the definition of functional requirements in avionics domain.The motivation of this work is...In this work,a Model-Based Systems Engineering approach based on Sys ML is proposed.This approach is used for the capture and the definition of functional requirements in avionics domain.The motivation of this work is triple:guide the capture of functional requirements,validate these functional requirements through functional simulation,and verify efficiently the consistency of these functional requirements.The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context.To achieve this work,a subset of Sys ML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders.Formal concepts are introduced to ensure theoretical consistency of the approach.In addition,transformation rules are defined and the mappings between concepts of ARP4754 A civil aircraft guidelines and Sys ML are formalized through meta-model.The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios.Finally,the approach has been tested on an industrial avionics system called the Onboard Maintenance System.展开更多
Avionics （aeronautics and aerospace） industries must rely on components and systems of demonstrated high reliability. For this, handbook-based methods have been traditionally used to design for reliability, develop ...Avionics （aeronautics and aerospace） industries must rely on components and systems of demonstrated high reliability. For this, handbook-based methods have been traditionally used to design for reliability, develop test plans, and define maintenance requirements and sustainment logistics, However, these methods have been criticized as flawed and leading to inaccurate and mis- leading results. In its recent report on enhancing defense system reliability, the U.S. National Academy of Sciences has recently discredited these methods, judging the Military Handbook （MIL- HDBK-217） and its progeny as invalid and inaccurate. This paper discusses the issues that arise with the use of handbook-based methods in commercial and military avionics applications. Alter- native approaches to reliability design （and its demonstration） are also discussed, including similarity analysis, testing, physics-of-failure, and data analytics for prognostics and systems health management.展开更多
Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at vari...Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.展开更多
Wireless avionics intra-communications(WAIC)is an emergent research topic,since it can improve fuel efficiency and enhance aircraft safety significantly.However,there are numerous baffles in an aircraft,e.g.,seats and...Wireless avionics intra-communications(WAIC)is an emergent research topic,since it can improve fuel efficiency and enhance aircraft safety significantly.However,there are numerous baffles in an aircraft,e.g.,seats and cabin bulkheads,resulting in serious blockage and even destroying wireless communications.Thus,this paper focuses on the reconfigurable intelligent surface(RIS)deployment issue of RIS-assisted WAIC systems,to solve the blockage problem caused by baffles.We first propose the mirror-symmetric imaging principle for mathematically analyzing electromagnetic(EM)wave propagation in a metal cuboid,which is a typical structure of WAIC systems.Based on the mirror-symmetric imaging principle,the mathematical channel model in a metal cuboid is deduced in detail.In addition,we develop an objective function of RIS's location and deduce the optimal RIS deployment location based on the geometric center optimization lemma.A two-dimensional gravity center search algorithm is then presented.Simulation results show that the designed RIS deployment can greatly increase the received power and efficiently solve the blockage problem in the aircraft.展开更多
This paper reviewed the development of control technology in domestic and foreign launch vehicle(LV), and based on which, the key technologies of control system for Chinese heavy-lift launch vehicles were proposed. A ...This paper reviewed the development of control technology in domestic and foreign launch vehicle(LV), and based on which, the key technologies of control system for Chinese heavy-lift launch vehicles were proposed. A dynamic on-line trajectory planning technique was discussed to meet the demand of guidance control under complex constraints, and model based identification and adaptive control technology was suggested to deal with the control problems caused by model uncertainty and disturbance, and an integrated avionics system based on high speed communication was put forward for module integration and distributed control, and FBG based real time flight control was also discussed. Moreover, other key technologies, such as wireless interconnection, wireless power transfer, and temporal and spatial partitioning operating system, are both briefly introduced for the application in control systems. These studies will lead to breakthroughs in autonomous flight control in LV, and provide technical support for more long-term deep space explorations.展开更多
Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. T...Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offering an increased system performance in a small power envelope. In avionics, several system functions could now be integrated on a single hardware unit, if all safety requirements are still satisfied. This approach allows for further optimizations of the system architecture and substantial reductions of the space, weight and power (SWaP) footprint, and thus increases the transportation capacity. However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. This article used a realistic flight control system as an example to present a new model-based methodology to automate the software deployment process. This methodology is based on the correctness-by-construction principle and is implemented as part of a systems engineering toolset. Furthermore, metrics and optimization criteria are presented which further help in the automatic assessment and refinement of a generated deployment. A discussion regarding a tighter integration of this approach in the entire avionics systems engineering workflow concludes this article.展开更多
Avionics full duplex switched ethernet（AFDX） is a switched interconnection technology developed to provide reliable data exchange with strong data transmission time guarantees in internal communication of the spacec...Avionics full duplex switched ethernet（AFDX） is a switched interconnection technology developed to provide reliable data exchange with strong data transmission time guarantees in internal communication of the spacecraft or aircraft.Virtual link（VL） is an important concept of AFDX to meet quality of service（QoS） requirements in terms of end-to-end message deadlines.A VL admission control algorithm in AFDX network under hard real-time（HRT） constraints is studied.Based on the scheduling prin-ciple of AFDX protocol,a packet scheduling scheme under HRT constraints is proposed,and after that an efficient VL admission control algorithm is presented.Analytical proof that the algorithm can effectively determine whether VL should be admitted is given.Finally simulative examples are presented to promote the conclusion.展开更多
The avionics working environment is bad, easy to accelerate aging of circuits. Circuit aging is one of the important factors that influence the reliability of avionics, so circuit aging testing is of great significanc...The avionics working environment is bad, easy to accelerate aging of circuits. Circuit aging is one of the important factors that influence the reliability of avionics, so circuit aging testing is of great significance to improve the reliability of avionics. As continuing aging would degrade circuit performance, aging can be monitored through precise measurement of performance degradation. However, previous methods for predicting circuit performance have limited prediction accuracy. In this paper, we propose a novel Built-In Self-Test（BIST） scheme for circuit aging measurement, which constructs self-oscillation loops employing parts of critical paths and activates oscillations by specific test patterns. An aging signature counter is then used to capture the oscillation frequency and in turn measure the aging state of the circuit. We propose to implement this measurement process by BIST. Experimental results show that the proposed in-field aging measurement is robust with respect to process variations and can achieve a precision of about 90%. The application of this scheme has a certain value to improve the reliability of avionics systems.展开更多
The accurate analyses for a plate fin heat sink with the ability to control the temperature of the avionics devices within a pre-set controllable temperature range are required both in the process of circuit design an...The accurate analyses for a plate fin heat sink with the ability to control the temperature of the avionics devices within a pre-set controllable temperature range are required both in the process of circuit design and for the real-time temperature monitoring purposes. In order to provide an insight into the behavior of the temperature of a plate fin heat sink subjected non-uniform heat density on the surfaces, it is necessary to obtain accurate analytical solutions yielding explicit formulas relating the dissipated power to the temperature rise at any point of avionics devices. This paper presents a method for thermal simulation of a plate fin heat sink using an analytical solution of the three-dimensional heat equation resulting from an appropriate plate fin heat sink transient thermal model. The entire solution methodology is illustrated in detail on the particular examples of the plate fin heat sink subjected non-uniform heat density on the surfaces. The transient temperature profiles are obtained for different positions at the surface of the plate fin heat sink. The analytical results are compared with measurements made on the surface of the cold plate and it is found that they are in good agreement with an error of less than 3 K.展开更多
文摘Based on the analysis and research of the airworthiness objective of integrated modular avionics system(IMA),and the characteristics of IMA system’s comprehensive and complex cross-linking with other airborne systems,the extraction strategy of IMA system’s compliance flight test subjects and the selection method of IMA system’s compliance flight test parameters are proposed.The data analysis method based on the abnormal probability matrix of the IMA system is proposed for the first time,and the abnormal state information of the IMA system can be quickly identified.The compliance flight test of the IMA system is completed with limited flight test resources,which achieves the purpose of saving flight test sorties and improving flight test efficiency.This research has been successfully applied to the airworthiness certification flight test of a certain civil transport aircraft in China,and can provide technical support for the subsequent type flight test.
基金co-supported by the National Natural Science Foundation of China(No.71701020)the Defense Research Field Foundation of China(No.61403120404)the Civil Aircraft Airworthiness and Maintenance Key Laboratory Fund of Civil Aviation University of China(No.2017SW02).
文摘Distributed Integrated Modular Avionics(DIMA)develops from Integrated Modular Avionics(IMA)and realizes distributed integration of multiple sub-function areas.Timetriggered network provides effective support for time synchronization and information coordination in DIMA systems.However,inconsistency between processing resources and communication network destroys the time determinism benefiting from partitions and time-triggered mechanism.To ensure such time determinism and achieve guaranteed real-time performance,system design should collectively provide a global communication scheme for messages in network domain and a corresponding execution scheme for partitions in processing domain.This paper firstly establishes a general DIMA model which coordinates partitioned processing and time-triggered communication,and then proposes a hybrid scheduling algorithm using Mixed Integer Programming to produce feasible system schemes.Furthermore,incrementally integrating new functions causes upgrades or reconfigurations of DIMA systems and will generate integration cost.To control such cost,this paper further develops an optimization algorithm based on Maximum Satisfiability Problem and guarantees that the scheduling design for upgraded DIMA systems inherit their original schemes as much as possible.Finally,two typical cases,including a simple fully connected DIMA system case and an industrial DIMA system case,are constructed to illustrate our DIMA model and validate the effectiveness of our hybrid scheduling algorithms.
基金supported by the National Natural Science Foundation of China (60879024)
文摘Recently the integrated modular avionics （IMA） architecture which introduces the concept of resource partitioning becomes popular as an alternative to the traditional federated architecture. A novel hierarchical approach is proposed to solve the resource allocation problem for IMA systems in distributed environments. Firstly, the worst case response time of tasks with arbitrary deadlines is analyzed for the two-level scheduler. Then, the hierarchical resource allocation approach is presented in two levels. At the platform level, a task assignment algorithm based on genetic simulated annealing （GSA） is proposed to assign a set of pre-defined tasks to different processing nodes in the form of task groups, so that resources can be allocated as partitions and mapped to task groups. While yielding to all the resource con- straints, the algorithm tries to find an optimal task assignment with minimized communication costs and balanced work load. At the node level, partition parameters are optimized, so that the computational resource can be allocated further. An example is shown to illustrate the hierarchal resource allocation approach and manifest the validity. Simulation results comparing the performance of the proposed GSA with that of traditional genetic algorithms are presented in the context of task assignment in IMA systems.
文摘Health management permits the reliability of a system and plays a increasingly important role for achieving efficient system-level maintenance.It has been used for remaining useful life（RUL） prognostics of electronics-rich system including avionics.Prognostics and health management（PHM） have become highly desirable to provide avionics with system level health management.This paper presents a health management and fusion prognostic model for avionics system,combining three baseline prognostic approaches that are model-based,data-driven and knowledge-based approaches,and integrates merits as well as eliminates some limitations of each single approach to achieve fusion prognostics and improved prognostic performance of RUL estimation.A fusion model built upon an optimal linear combination forecast model is then utilized to fuse single prognostic algorithm representing the three baseline approaches correspondingly,and the presented case study shows that the fusion prognostics can provide RUL estimation more accurate and more robust than either algorithm alone.
基金supported by the National Grand Fundamental Research Program of China (Nos. 2010CB328105, 2009CB320504)the Tsinghua University Initiative Scientific Research Programthe National Natural Science Foundation of China (Nos. 61070182,60973107, 60973144, 61173008, 61070021)
文摘The integrated modular avionics （IMA） architecture is an open standard in avionics industry, in which the number of functionalities implemented by software is greater than ever before. In the IMA architecture, the reliability of the avionics system is highly affected by the software applications. In order to enhance the fault tolerance feature with regard to software application failures, many industrial standards propose a layered health monitoring/fault management （HM/FM） scheme to periodically check the health status of software application processes and recover the malfunctioning software process whenever an error is located. In this paper, we make an analytical study of the HM/FM system for avionics application software. We use the stochastic Petri nets （SPN） to build a formal model of each component and present a method to combine the components together to form a complete system model with respect to three interlayer query strategies. We further investigate the effectiveness of these strategies in an illustrative system.
基金Aeronautical Science Foundation of China (20095551025)
文摘With direct expression of individual application domain patterns and ideas,domain-specific modeling language（DSML） is more and more frequently used to build models instead of using a combination of one or more general constructs.Based on the profile mechanism of unified modeling language（UML） 2.2,a kind of DSML is presented to model simulation testing systems of avionic software（STSAS）.To define the syntax,semantics and notions of the DSML,the domain model of the STSAS from which we generalize the domain concepts and relationships among these concepts is given,and then,the domain model is mapped into a UML meta-model,named UML-STSAS profile.Assuming a flight control system（FCS） as system under test（SUT）,we design the relevant STSAS.The results indicate that extending UML to the simulation testing domain can effectively and precisely model STSAS.
文摘The paper discusses the system function, structure of hardware and software of the ground simulating testing system for airborne electronic devices; an example of a practical simulation and inspection system is given. The system connects different kinds of microcomputers as DIMENSION 68000. SDK86, TP80T to form a distributed simulation and inspection network through an 8-terminal optic fiber communication net. The system can imitate the signal of the radar of a motional object and the ARINC429 signal of the navigation subsystem and atmosphere subsystem. It can be directly connected to the airborne electronic devices, receiving and processing real-time data from the airborne electronic devices, storing the data, fulfilling error analysis, drawing curves of the motive objects, printing tables of various test parameters. The system is easy to operate with perfect functions. The technique index accomplished and appraisal of the system are also given.
文摘In parametric cost estimating, objections to using statistical Cost Estimating Relationships （CERs） and parametric models include problems of low statistical significance due to limited data points, biases in the underlying data, and lack of robustness. Soft Computing （SC） technologies are used for building intelligent cost models. The SC models are systemically evaluated based on their training and prediction of the historical cost data of airborne avionics systems. Results indicating the strengths and weakness of each model are presented. In general, the intelligent cost models have higher prediction precision, better data adaptability, and stronger self-learning capability than the regression CERs.
基金supported by the National Key Research and Development Program of China(2021YFB1600601)the Joint Funds of the National Natural Science Foundation of China and the Civil Aviation Administration of China(U1933106)+2 种基金the Scientific Research Project of Tianjin Educational Committee(2019KJ134)the Natural Science Foundation of TianjinIntelligent Civil Aviation Program(21JCQNJ C00900)。
文摘To solve the problem of risk identification and quantitative assessment for human-computer interaction(HCI)in complex avionics systems,an HCI safety analysis framework based on system-theoretical process analysis(STPA)and cognitive reliability and error analysis method(CREAM)is proposed.STPACREAM can identify unsafe control actions and find the causal path during the interaction of avionics systems and pilot with the help of formal verification tools automatically.The common performance conditions(CPC)of avionics systems in the aviation environment is established and a quantitative analysis of human failure is carried out.Taking the head-up display(HUD)system interaction process as an example,a case analysis is carried out,the layered safety control structure and formal model of the HUD interaction process are established.For the interactive behavior“Pilots approaching with HUD”,four unsafe control actions and35 causal scenarios are identified and the impact of common performance conditions at different levels on the pilot decision model are analyzed.The results show that HUD's HCI level gradually improves as the scores of CPC increase,and the quality of crew member cooperation and time sufficiency of the task is the key to its HCI.Through case analysis,it is shown that STPACREAM can quantitatively assess the hazards in HCI and identify the key factors that impact safety.
文摘In this work,a Model-Based Systems Engineering approach based on Sys ML is proposed.This approach is used for the capture and the definition of functional requirements in avionics domain.The motivation of this work is triple:guide the capture of functional requirements,validate these functional requirements through functional simulation,and verify efficiently the consistency of these functional requirements.The proposed approach is decomposed into several steps that are detailed to go from conceptual model of avionics domain to a formal functional model that can be simulated in its operating context.To achieve this work,a subset of Sys ML has been used as an intermediate modelling language to ensure progressive transformation that can be understood and agreed by system stakeholders.Formal concepts are introduced to ensure theoretical consistency of the approach.In addition,transformation rules are defined and the mappings between concepts of ARP4754 A civil aircraft guidelines and Sys ML are formalized through meta-model.The resulting formalization enables engineers to perform functional simulation of the top-level functional architecture extracted from operational scenarios.Finally,the approach has been tested on an industrial avionics system called the Onboard Maintenance System.
文摘Avionics （aeronautics and aerospace） industries must rely on components and systems of demonstrated high reliability. For this, handbook-based methods have been traditionally used to design for reliability, develop test plans, and define maintenance requirements and sustainment logistics, However, these methods have been criticized as flawed and leading to inaccurate and mis- leading results. In its recent report on enhancing defense system reliability, the U.S. National Academy of Sciences has recently discredited these methods, judging the Military Handbook （MIL- HDBK-217） and its progeny as invalid and inaccurate. This paper discusses the issues that arise with the use of handbook-based methods in commercial and military avionics applications. Alter- native approaches to reliability design （and its demonstration） are also discussed, including similarity analysis, testing, physics-of-failure, and data analytics for prognostics and systems health management.
基金co-supported by the National Natural Science Foundation of China(No:61073012)the Aeronautical Science Foundation of China(No:20111951015)the Fundamental Research Funds for the Central Universities of China(No:YWF-14-DZXY018)
文摘Safety-critical avionics systems which become more complex and tend to integrate multiple functionalities with different levels of criticality for better cost and power efficiency are subject to certifications at various levels of rigorousness. In order to simultaneously guarantee temporal constraints at all different levels of assurance mandated by different criticalities, novel scheduling techniques are in need. In this paper, a mixed-criticality sporadic task model with multiple virtual deadlines is built and a certification-cognizant dynamic scheduling approach referred as earliest virtual-deadline first with mixed-criticality（EVDF-MC） is considered, which exploits different relative deadlines of tasks in different criticality modes. As for the corresponding schedulability analysis problem, a sufficient and efficient schedulability test is proposed on the basis of demand-bound functions derived in the mixed-criticality scenario. In addition, a modified simulated annealing（MSA）-based heuristic approach is established for virtual deadlines assignment. Experiments performing simulations with randomly generated tasks indicate that the proposed approach is computationally efficient and competes well against the existing approaches.
基金supported by the National Natural Science Foundation of China under Grand No.62071148 and No.62171151partly by the Natural Science Foundation of Heilongjiang Province of China under Grand No.YQ2019F009partly by the Fundamental Research Funds for Central Universities under Grand No.HIT.OCEF.2021012。
文摘Wireless avionics intra-communications(WAIC)is an emergent research topic,since it can improve fuel efficiency and enhance aircraft safety significantly.However,there are numerous baffles in an aircraft,e.g.,seats and cabin bulkheads,resulting in serious blockage and even destroying wireless communications.Thus,this paper focuses on the reconfigurable intelligent surface(RIS)deployment issue of RIS-assisted WAIC systems,to solve the blockage problem caused by baffles.We first propose the mirror-symmetric imaging principle for mathematically analyzing electromagnetic(EM)wave propagation in a metal cuboid,which is a typical structure of WAIC systems.Based on the mirror-symmetric imaging principle,the mathematical channel model in a metal cuboid is deduced in detail.In addition,we develop an objective function of RIS's location and deduce the optimal RIS deployment location based on the geometric center optimization lemma.A two-dimensional gravity center search algorithm is then presented.Simulation results show that the designed RIS deployment can greatly increase the received power and efficiently solve the blockage problem in the aircraft.
文摘This paper reviewed the development of control technology in domestic and foreign launch vehicle(LV), and based on which, the key technologies of control system for Chinese heavy-lift launch vehicles were proposed. A dynamic on-line trajectory planning technique was discussed to meet the demand of guidance control under complex constraints, and model based identification and adaptive control technology was suggested to deal with the control problems caused by model uncertainty and disturbance, and an integrated avionics system based on high speed communication was put forward for module integration and distributed control, and FBG based real time flight control was also discussed. Moreover, other key technologies, such as wireless interconnection, wireless power transfer, and temporal and spatial partitioning operating system, are both briefly introduced for the application in control systems. These studies will lead to breakthroughs in autonomous flight control in LV, and provide technical support for more long-term deep space explorations.
文摘Aviation electronics (avionics) are sophisticated and distributed systems aboard an airplane. The complexity of these systems is constantly growing as an increasing amount of functionalities is realized in software. Thanks to the performance increase, a hardware unit must no longer be dedicated to a single system function. Multicore processors for example facilitate this trend as they are offering an increased system performance in a small power envelope. In avionics, several system functions could now be integrated on a single hardware unit, if all safety requirements are still satisfied. This approach allows for further optimizations of the system architecture and substantial reductions of the space, weight and power (SWaP) footprint, and thus increases the transportation capacity. However, the complexity found in current safety-critical systems requires an automated software deployment process in order to tap this potential for further SWaP reductions. This article used a realistic flight control system as an example to present a new model-based methodology to automate the software deployment process. This methodology is based on the correctness-by-construction principle and is implemented as part of a systems engineering toolset. Furthermore, metrics and optimization criteria are presented which further help in the automatic assessment and refinement of a generated deployment. A discussion regarding a tighter integration of this approach in the entire avionics systems engineering workflow concludes this article.
基金National Natural Science Foundation of China (60879024)
文摘Avionics full duplex switched ethernet（AFDX） is a switched interconnection technology developed to provide reliable data exchange with strong data transmission time guarantees in internal communication of the spacecraft or aircraft.Virtual link（VL） is an important concept of AFDX to meet quality of service（QoS） requirements in terms of end-to-end message deadlines.A VL admission control algorithm in AFDX network under hard real-time（HRT） constraints is studied.Based on the scheduling prin-ciple of AFDX protocol,a packet scheduling scheme under HRT constraints is proposed,and after that an efficient VL admission control algorithm is presented.Analytical proof that the algorithm can effectively determine whether VL should be admitted is given.Finally simulative examples are presented to promote the conclusion.
基金supported by grants from the National Basic Research Program of China (No. 2014CB744904)the National Natural Science Foundation of China (No. 61300069)
基金supported by the National Natural Science Foundation of China (Nos.61674048,61574052,61474036,61371025)Project Team of Anhui Institute of Economics and Management of China (No.YJKT1417T01)
文摘The avionics working environment is bad, easy to accelerate aging of circuits. Circuit aging is one of the important factors that influence the reliability of avionics, so circuit aging testing is of great significance to improve the reliability of avionics. As continuing aging would degrade circuit performance, aging can be monitored through precise measurement of performance degradation. However, previous methods for predicting circuit performance have limited prediction accuracy. In this paper, we propose a novel Built-In Self-Test（BIST） scheme for circuit aging measurement, which constructs self-oscillation loops employing parts of critical paths and activates oscillations by specific test patterns. An aging signature counter is then used to capture the oscillation frequency and in turn measure the aging state of the circuit. We propose to implement this measurement process by BIST. Experimental results show that the proposed in-field aging measurement is robust with respect to process variations and can achieve a precision of about 90%. The application of this scheme has a certain value to improve the reliability of avionics systems.
基金Aeronautical Science Foundation of China （2008ZC52024）
文摘The accurate analyses for a plate fin heat sink with the ability to control the temperature of the avionics devices within a pre-set controllable temperature range are required both in the process of circuit design and for the real-time temperature monitoring purposes. In order to provide an insight into the behavior of the temperature of a plate fin heat sink subjected non-uniform heat density on the surfaces, it is necessary to obtain accurate analytical solutions yielding explicit formulas relating the dissipated power to the temperature rise at any point of avionics devices. This paper presents a method for thermal simulation of a plate fin heat sink using an analytical solution of the three-dimensional heat equation resulting from an appropriate plate fin heat sink transient thermal model. The entire solution methodology is illustrated in detail on the particular examples of the plate fin heat sink subjected non-uniform heat density on the surfaces. The transient temperature profiles are obtained for different positions at the surface of the plate fin heat sink. The analytical results are compared with measurements made on the surface of the cold plate and it is found that they are in good agreement with an error of less than 3 K.
