scholarly journals Research on the Reliability Analysis of the Integrated Modular Avionics System Based on the AADL Error Model

2018 ◽  
Vol 2018 ◽  
pp. 1-11 ◽  
Author(s):  
Peng Wang ◽  
Changxiao Zhao ◽  
Fang Yan
Keyword(s):  
Resource Sharing ◽  
Error Model ◽  
Reliability Model ◽  
Analysis And Design ◽  
Failure Propagation ◽  
Display Function ◽  
Software And Hardware ◽  
Integrated Modular Avionics ◽  
Error Behavior ◽  
Architecture Analysis

In recent years, the integrated modular avionics (IMA) concept has been introduced to replace the traditional federated avionics. Different avionics functions are hosted in a shared IMA platform, and IMA adopts partition technologies to provide a logical isolation among different functions. The IMA architecture can provide more sophisticated and powerful avionics functionality; meanwhile, the failure propagation patterns in IMA are more complex. The feature of resource sharing introduces some unintended interconnections among different functions, which makes the failure propagation modes more complex. Therefore, this paper proposes an architecture analysis and design language- (AADL-) based method to establish the reliability model of IMA platform. The single software and hardware error behavior in IMA system is modeled. The corresponding AADL error model of failure propagation among components, between software and hardware, is given. Finally, the display function of IMA platform is taken as an example to illustrate the effectiveness of the proposed method.

Communication scheduling data generation for pre-configured IMA network

2020 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Zhen Zhao ◽  
Zhiyong Fan ◽  
Yigang Sun ◽  
Zhexu Liu
Keyword(s):  
Design Methodology ◽  
Data Generation ◽  
Generation Algorithm ◽  
Content Type ◽  
Analysis And Design ◽  
Communication Scheduling ◽  
Safety And Reliability ◽  
Integrated Modular Avionics ◽  
Practical Implications ◽  
Architecture Analysis

Purpose In modern integrated modular avionics (IMA), it plays an important role to guarantee safety and reliability of the system. The safety and reliability of communication scheduling plays a crucial role in this IMA platforms-based network system. To verify the safety and reliability of the communication scheduling in this network, sufficient and typical test data must be generated to input into the network, obtain and evaluate the corresponding output. Design/methodology/approach To generate communication scheduling data, this paper presents an iterative communication scheduling data generation algorithm for a configured network of IMA platforms. First, the algorithm generates all possible communication schedules for the first timestamp. Then, constraint is introduced to decrease the quantity of communication schedules to improve the efficiency. The communication schedules are gradually extended to the second timestamp until the final timestamp, i.e. length of communication scheduling sequence. Findings To verify the efficiency and feasibility of the algorithm, a model is built based on the architecture analysis and design language (AADL) by mapping the correlation time of generated communication scheduling data into task properties. Schedulability is analyzed by loading this model into AADL Inspector. The simulation result illustrates that the proposed algorithm is efficient and feasible. Practical implications The proposed method can provide data support for communication scheduling test for the network of IMA platforms. Originality/value A constraint-based iterative communication scheduling data generation algorithm is proposed for the network of IMA platforms automatically.

An Examination of Topical Coverage for the First Accounting Information Systems Course

2002 ◽  
Vol 16 (2) ◽  
pp. 143-164 ◽  
Author(s):  
Craig E. Bain ◽  
Alan I. Blankley ◽  
L. Murphy Smith
Keyword(s):  
Information Systems ◽  
Internal Control ◽  
System Analysis ◽  
Accounting Information ◽  
Accounting Information Systems ◽  
Analysis And Design ◽  
Internet Education ◽  
Software Applications ◽  
Introductory Accounting ◽  
Software And Hardware

This study examines topics currently addressed in the introductory Accounting Information Systems (AIS) course and makes comparisons to past studies. The study includes an examination of 12 current AIS textbooks, syllabi from current AIS instructors, and the results of a survey of AIS faculty and professionals. The divisions of topics in the books and on the syllabi suggest that introduction to systems, internal control, and transaction processing are the most important topics to be covered. After these topics, the rankings diverge. The results of this study suggest that the emphasis historically placed on system analysis and design, while still important, is somewhat less than in the past. This was also apparent from the results of the authors' surveys of AIS faculty and professionals who use technology in their jobs. Both faculty and professionals agree that greater importance should be placed on teaching internal control and transactions processing, while moderate importance should be placed on software and hardware issues. Professionals ranked ethics and Internet education of greater importance than did faculty, while faculty rated computer fraud (which may tie in with ethics) and database management systems of greater importance than did the professionals. Professionals also placed higher importance on teaching software applications (particularly spreadsheet applications) than did faculty.

scholarly journals Design and Analysis of the Third-Party Logisitics Management System Based on J2EE

2012 ◽  
Vol 6-7 ◽  
pp. 491-495
Author(s):  
Li Xia Hao ◽  
Feng Qing Zhao ◽  
Shu Hong Jia ◽  
Chao Hua Ma
Keyword(s):  
Resource Sharing ◽  
Management System ◽  
Information Management System ◽  
Third Party ◽  
Third Party Logistics ◽  
The Third Party Logistics ◽  
Analysis And Design ◽  
The Third ◽  
System Data ◽  
The Third Party

The analysis and design ideas of third party logistics management information systems were introduced based on the research for a company in Beijing, China. With distribution requirements planning ( DRP ) system, data sharing can be realized effectively and are transparent to the existing system with scalability. The third-party logistics information management system developed based on this proposal has been put into operation, and solved the resource sharing problem inside a logistics company.

scholarly journals New Model-Based Analysis Method with Multiple Constraints for Integrated Modular Avionics Dynamic Reconfiguration Process

Processes ◽  
2020 ◽  
Vol 8 (5) ◽  
pp. 574
Author(s):  
Zeyong Jiang ◽  
Tingdi Zhao ◽  
Shihai Wang ◽  
Hongyan Ju
Keyword(s):  
Petri Net ◽  
Simulation Analysis ◽  
Dynamic Reconfiguration ◽  
Multiple Constraints ◽  
Model Based ◽  
Integrated Modular Avionics ◽  
Configuration Changes ◽  
Model Based Analysis ◽  
Architecture Analysis

With the development of integrated modular avionics (IMA), the dynamic reconfiguration of IMA not only provides great advantages in resource utilization and aircraft configuration, but also acts as a valid means for resource failure management. It is vital to ensure the correction of the IMA dynamic reconfiguration process. The analysis of the dynamic reconfiguration process is a significant task. The Architecture Analysis & Design Language (AADL) is widely used in complicated real-time embedded systems. The language can describe the system configuration and the execution behaviors, such as configuration changes. Petri net is a widely used tool to conduct simulation analysis in many aspects. In this study, a model-based analyzing method with multiple constraints for the IMA dynamic reconfiguration process was proposed. First, several design constraints on the process were investigated. Second, the dynamic reconfiguration process was modeled based on the AADL. Then, a set of rules for the transition of the model from AADL to Petri net was generated, and the multi-constraints proposed were incorporated into Petri net for analysis. Finally, a simulation multi-constraint analysis with Petri net for the process of IMA dynamic reconfiguration was conducted. Finally, a case study was employed to demonstrate this method. This method is advantageous to the validity of IMA dynamic reconfiguration at the beginning of the system design.

Sign in / Sign up

Export Citation Format

Share Document