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.展开更多
The Internet of Everything(IoE)coupled with Proactive Artificial Intelligence(AI)-Based Learning Agents(PLAs)through a cloud processing system is an idea that connects all computing resources to the Internet,making it...The Internet of Everything(IoE)coupled with Proactive Artificial Intelligence(AI)-Based Learning Agents(PLAs)through a cloud processing system is an idea that connects all computing resources to the Internet,making it possible for these devices to communicate with one another.Technologies featured in the IoE include embedding,networking,and sensing devices.To achieve the intended results of the IoE and ease life for everyone involved,sensing devices and monitoring systems are linked together.The IoE is used in several contexts,including intelligent cars’protection,navigation,security,and fuel efficiency.The Smart Things Monitoring System(STMS)framework,which has been proposed for early occurrence identification and theft prevention,is discussed in this article.The STMS uses technologies based on the IoE and PLAs to continuously and remotely observe,control,and monitor vehicles.The STMS is familiar with the platform used by the global positioning system;as a result,the STMS can maintain a real-time record of current vehicle positions.This information is utilized to locate the vehicle in an accident or theft.The findings of the STMS system are promising for precisely identifying crashes,evaluating incident severity,and locating vehicles after collisions have occurred.Moreover,we formulate an ad hoc STMS network communication scenario to evaluate the efficacy of data communication by utilizing various network parameters,such as round-trip time(RTT),data packet transmission,data packet reception,and loss.From our experimentation,we obtained an improved communication efficiency for STMS across multiple PLAs compared to the standard greedy routing and traditional AODV approaches.Our framework facilitates adaptable solutions with communication competence by deploying Proactive PLAs in a cloud-connected smart vehicular environment.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
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.展开更多
The coronavirus disease(COVID-19)pandemic has affected the lives of social media users in an unprecedentedmanner.They are constantly posting their satisfaction or dissatisfaction over the COVID-19 situation at their l...The coronavirus disease(COVID-19)pandemic has affected the lives of social media users in an unprecedentedmanner.They are constantly posting their satisfaction or dissatisfaction over the COVID-19 situation at their location of interest.Therefore,understanding location-oriented sentiments about this situation is of prime importance for political leaders,and strategic decision-makers.To this end,we present a new fully automated algorithm based on artificial intelligence(AI),for extraction of location-oriented public sentiments on the COVID-19 situation.We designed the proposed system to obtain exhaustive knowledge and insights on social media feeds related to COVID-19 in 110 languages through AI-based translation,sentiment analysis,location entity detection,and decomposition tree analysis.We deployed fully automated algorithm on live Twitter feed from July 15,2021 and it is still running as of 12 January,2022.The system was evaluated on a limited dataset between July 15,2021 to August 10,2021.During this evaluation timeframe 150,000 tweets were analyzed and our algorithm found that 9,900 tweets contained one or more location entities.In total,13,220 location entities were detected during the evaluation period,and the rates of average precision and recall rate were 0.901 and 0.967,respectively.As of 12 January,2022,the proposed solution has detected 43,169 locations using entity recognition.According to the best of our knowledge,this study is the first to report location intelligence with entity detection,sentiment analysis,and decomposition tree analysis on social media messages related to COVID-19 and has covered the largest set of languages.展开更多
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.展开更多
With the increasing emphasis on personal information protection,encryption through security protocols has emerged as a critical requirement in data transmission and reception processes.Nevertheless,IoT ecosystems comp...With the increasing emphasis on personal information protection,encryption through security protocols has emerged as a critical requirement in data transmission and reception processes.Nevertheless,IoT ecosystems comprise heterogeneous networks where outdated systems coexist with the latest devices,spanning a range of devices from non-encrypted ones to fully encrypted ones.Given the limited visibility into payloads in this context,this study investigates AI-based attack detection methods that leverage encrypted traffic metadata,eliminating the need for decryption and minimizing system performance degradation—especially in light of these heterogeneous devices.Using the UNSW-NB15 and CICIoT-2023 dataset,encrypted and unencrypted traffic were categorized according to security protocol,and AI-based intrusion detection experiments were conducted for each traffic type based on metadata.To mitigate the problem of class imbalance,eight different data sampling techniques were applied.The effectiveness of these sampling techniques was then comparatively analyzed using two ensemble models and three Deep Learning(DL)models from various perspectives.The experimental results confirmed that metadata-based attack detection is feasible using only encrypted traffic.In the UNSW-NB15 dataset,the f1-score of encrypted traffic was approximately 0.98,which is 4.3%higher than that of unencrypted traffic(approximately 0.94).In addition,analysis of the encrypted traffic in the CICIoT-2023 dataset using the same method showed a significantly lower f1-score of roughly 0.43,indicating that the quality of the dataset and the preprocessing approach have a substantial impact on detection performance.Furthermore,when data sampling techniques were applied to encrypted traffic,the recall in the UNSWNB15(Encrypted)dataset improved by up to 23.0%,and in the CICIoT-2023(Encrypted)dataset by 20.26%,showing a similar level of improvement.Notably,in CICIoT-2023,f1-score and Receiver Operation Characteristic-Area Under the Curve(ROC-AUC)increased by 59.0%and 55.94%,respectively.These results suggest that data sampling can have a positive effect even in encrypted environments.However,the extent of the improvement may vary depending on data quality,model architecture,and sampling strategy.展开更多
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.展开更多
无人机集群以其在作战效率、生存率和性价比方面的优势,逐渐成为现代作战体系中的重要作战力量。通过充分调研国外无人机集群项目研究成果,系统性介绍了国外在航电系统领域中硬件、软件和任务应用相关的开放系统架构。对上述架构进行了...无人机集群以其在作战效率、生存率和性价比方面的优势,逐渐成为现代作战体系中的重要作战力量。通过充分调研国外无人机集群项目研究成果,系统性介绍了国外在航电系统领域中硬件、软件和任务应用相关的开放系统架构。对上述架构进行了层次化梳理和交互关系分析,重点讨论了基于任务的集群可组合性架构(Mission-based Architecture for Swarm Composability,MASC)的设计思想。基于MASC设计了集群任务框架,梳理了集群任务理解-规划-执行控制流程,为进一步开展无人机集群航电系统相关技术、算法、标准设计提供参考。展开更多
文摘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.
基金funded by the Ministry of Science and Technology,Taiwan,grant number(MOST 111-2221-E167-025-MY2).
文摘The Internet of Everything(IoE)coupled with Proactive Artificial Intelligence(AI)-Based Learning Agents(PLAs)through a cloud processing system is an idea that connects all computing resources to the Internet,making it possible for these devices to communicate with one another.Technologies featured in the IoE include embedding,networking,and sensing devices.To achieve the intended results of the IoE and ease life for everyone involved,sensing devices and monitoring systems are linked together.The IoE is used in several contexts,including intelligent cars’protection,navigation,security,and fuel efficiency.The Smart Things Monitoring System(STMS)framework,which has been proposed for early occurrence identification and theft prevention,is discussed in this article.The STMS uses technologies based on the IoE and PLAs to continuously and remotely observe,control,and monitor vehicles.The STMS is familiar with the platform used by the global positioning system;as a result,the STMS can maintain a real-time record of current vehicle positions.This information is utilized to locate the vehicle in an accident or theft.The findings of the STMS system are promising for precisely identifying crashes,evaluating incident severity,and locating vehicles after collisions have occurred.Moreover,we formulate an ad hoc STMS network communication scenario to evaluate the efficacy of data communication by utilizing various network parameters,such as round-trip time(RTT),data packet transmission,data packet reception,and loss.From our experimentation,we obtained an improved communication efficiency for STMS across multiple PLAs compared to the standard greedy routing and traditional AODV approaches.Our framework facilitates adaptable solutions with communication competence by deploying Proactive PLAs in a cloud-connected smart vehicular environment.
基金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.
文摘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.
文摘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.
基金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 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.
文摘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.
基金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.
文摘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.
文摘The coronavirus disease(COVID-19)pandemic has affected the lives of social media users in an unprecedentedmanner.They are constantly posting their satisfaction or dissatisfaction over the COVID-19 situation at their location of interest.Therefore,understanding location-oriented sentiments about this situation is of prime importance for political leaders,and strategic decision-makers.To this end,we present a new fully automated algorithm based on artificial intelligence(AI),for extraction of location-oriented public sentiments on the COVID-19 situation.We designed the proposed system to obtain exhaustive knowledge and insights on social media feeds related to COVID-19 in 110 languages through AI-based translation,sentiment analysis,location entity detection,and decomposition tree analysis.We deployed fully automated algorithm on live Twitter feed from July 15,2021 and it is still running as of 12 January,2022.The system was evaluated on a limited dataset between July 15,2021 to August 10,2021.During this evaluation timeframe 150,000 tweets were analyzed and our algorithm found that 9,900 tweets contained one or more location entities.In total,13,220 location entities were detected during the evaluation period,and the rates of average precision and recall rate were 0.901 and 0.967,respectively.As of 12 January,2022,the proposed solution has detected 43,169 locations using entity recognition.According to the best of our knowledge,this study is the first to report location intelligence with entity detection,sentiment analysis,and decomposition tree analysis on social media messages related to COVID-19 and has covered the largest set of languages.
文摘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 Institute of Information&Communications Technology Planning&Evaluation(IITP)grant funded by the Korea government(MSIT)(No.RS-2023-00235509Development of security monitoring technology based network behavior against encrypted cyber threats in ICT convergence environment).
文摘With the increasing emphasis on personal information protection,encryption through security protocols has emerged as a critical requirement in data transmission and reception processes.Nevertheless,IoT ecosystems comprise heterogeneous networks where outdated systems coexist with the latest devices,spanning a range of devices from non-encrypted ones to fully encrypted ones.Given the limited visibility into payloads in this context,this study investigates AI-based attack detection methods that leverage encrypted traffic metadata,eliminating the need for decryption and minimizing system performance degradation—especially in light of these heterogeneous devices.Using the UNSW-NB15 and CICIoT-2023 dataset,encrypted and unencrypted traffic were categorized according to security protocol,and AI-based intrusion detection experiments were conducted for each traffic type based on metadata.To mitigate the problem of class imbalance,eight different data sampling techniques were applied.The effectiveness of these sampling techniques was then comparatively analyzed using two ensemble models and three Deep Learning(DL)models from various perspectives.The experimental results confirmed that metadata-based attack detection is feasible using only encrypted traffic.In the UNSW-NB15 dataset,the f1-score of encrypted traffic was approximately 0.98,which is 4.3%higher than that of unencrypted traffic(approximately 0.94).In addition,analysis of the encrypted traffic in the CICIoT-2023 dataset using the same method showed a significantly lower f1-score of roughly 0.43,indicating that the quality of the dataset and the preprocessing approach have a substantial impact on detection performance.Furthermore,when data sampling techniques were applied to encrypted traffic,the recall in the UNSWNB15(Encrypted)dataset improved by up to 23.0%,and in the CICIoT-2023(Encrypted)dataset by 20.26%,showing a similar level of improvement.Notably,in CICIoT-2023,f1-score and Receiver Operation Characteristic-Area Under the Curve(ROC-AUC)increased by 59.0%and 55.94%,respectively.These results suggest that data sampling can have a positive effect even in encrypted environments.However,the extent of the improvement may vary depending on data quality,model architecture,and sampling strategy.
基金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.
文摘无人机集群以其在作战效率、生存率和性价比方面的优势,逐渐成为现代作战体系中的重要作战力量。通过充分调研国外无人机集群项目研究成果,系统性介绍了国外在航电系统领域中硬件、软件和任务应用相关的开放系统架构。对上述架构进行了层次化梳理和交互关系分析,重点讨论了基于任务的集群可组合性架构(Mission-based Architecture for Swarm Composability,MASC)的设计思想。基于MASC设计了集群任务框架,梳理了集群任务理解-规划-执行控制流程,为进一步开展无人机集群航电系统相关技术、算法、标准设计提供参考。
