Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design

Zhang, Kui; Wu, Ji; Liu, Chao; Ali, Syed Sarmad; Ren, Jinchang

doi:10.1109/access.2019.2895996

Cited by 10 publications

(8 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Many of such profiles have seen the light of day and OMG has standardized one of them: MARTE (Modeling and Analysis of Real Time and Embedded systems). MARTE was applied to avionics development [36]. Another example is TURTLE [37], a real-time profile that bridges the gap between UML and formal methods.…”

Section: ) Taxonomymentioning

confidence: 99%

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

et al. 2022

View full text Add to dashboard Cite

Systems engineering has gained in maturity over the last decades and started a transition from document-centric approaches to Model-Based Systems Engineering (MBSE). Several papers have discussed the benefits and potential, but also the limitations, of using MBSE, based on literature surveys and analyze feedback from academia and industry. The current paper explores a complementary avenue and aims at giving students and industry practitioners a set of keys and decision criteria to select MBSE languages, tools and methods. Languages, tools and methods are categorised and selection criteria are proposed for a panorama of languages that goes beyond SysML and other techniques commonly associated with MBSE. In addition, research avenues for the future of MBSE are identified. The discussion relies on the authors' experience in teaching and using system engineering and MBSE in both academia and industry, as well as on the experience shared within the framework of Concorde, a French project dedicated to drone systems design methodologies.

show abstract

Section: ) Taxonomymentioning

confidence: 99%

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

et al. 2022

View full text Add to dashboard Cite

show abstract

“…A collection of tasks that need to be allocated into partitions and CPMs was used for the experiment. The temporal attributes of the tasks were distinct from those of our previous case study in [25]; however, more simulated tasks in the same pattern were generated, as shown in Table 1. For the most common scenario, in this research study, only the periodic independent task is considered, which is periodically executed in a given period; the relation between tasks is also independent.…”

Section: A Synthetic Data and Experimental Configurationsmentioning

confidence: 99%

“…Many works have been conducted for this issue, and modeling and simulation of the IMA architecture is conducted to evaluate the performance of system [24], [25] at the design level. Considering the detailed design of the architecture, the dynamic schedule algorithm in single and multiprocessors was studied at the partition level [23], and a MILP algorithm was also proposed for formalization of the two-layer scheduler problem and to attempt to produce a possible schedule for the redundancy consideration, in which the exact MILP formulation fails in converging for fairly large problem instances within an acceptable time limit [20]; after that, an algorithm inspired by Game Theory, called the best-response algorithm, was designed for performance improvement [26].…”

Section: Introductionmentioning

confidence: 99%

Independent Temporal Integration of ARINC653 Conformed Architecture — A Search Based Solution

et al. 2020

Self Cite

View full text Add to dashboard Cite

ARINC653-based integrated modular avionics (IMA) architecture has been widely adopted in the design of modern civil and military aircraft. IMA imposes various requirements on the underlying operating system, of which the temporal and spatial separation requirements are essential to task allocation. In practice, finding the optimal allocation configurations of tasks to enable processing modules to satisfy various temporal constraints is one of the greatest challenges. For that purpose, hundreds of tasks must be mapped into given processing modules, which has been proven to be a nonpolynomial problem. This paper introduces a search-based approach to aid in finding effective solutions for the task allocation problem in polynomial time. Two search techniques based on both population search (genetic algorithm) and neighbor search (simulated annealing), along with their multicore versions, are presented. A heuristic is designed specifically to validate whether candidate solutions fulfill various constraints implied by IMA, and thus to evaluate the fitness. Furthermore, the multicore version is designed to reduce the time delay of obtaining a new optimized configuration. The results show that both algorithms can ultimately find optimized solutions with utility rates above 90% in all configurations and can support the optimization over 100 tasks, which is an outstanding result. The result also reveals that simulated annealing can produce a better solution under limited resources, while the genetic algorithm will determine a valid solution within a shorter time period. Moreover, simulated annealing outperforms the genetic algorithm in terms of both effectiveness and efficiency with respect to solving this allocation problem with complicated constraints.

show abstract

“…The OS abstraction layer provides the OS-independent abstraction to the ARINC-653 core layer, so that the implementation of the upper layer can be reused without modifications for different platforms. This can make the modeling and verification of software much easier and improve the safety [15], [16].…”

Section: B Layered and Modular Designmentioning

confidence: 99%

Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs

Park

Jin

et al. 2019

IEEE Access

View full text Add to dashboard Cite

The ARINC-653 standard defines temporal partitioning that enables multiple avionics applications to execute independently from each other without interference in terms of CPU resources. Though partitioning has been mainly discussed from the viewpoint of manned aircraft, it can also efficiently integrate multiple applications on civilian Unmanned Aerial Vehicles (UAVs) that have even severer limitations on size, weight, power, and cost. In order to employ ARINC-653 temporal partitioning to civilian UAVs, its implementation must be flexible enough to be applied to diverse run-time software environments and computing hardware platforms. In this paper, we suggest a portable and configurable implementation of ARINC-653 for small-sized civilian UAVs aiming for low cost, easy development, and easy extension. Our implementation provides the Operating System (OS) abstraction layer that defines the essential OS-level features and the OS-independent interfaces to the upper layer that actually implements the ARINC-653 standard. Our implementation is also modularized so that the policies of resource management in CPU scheduling and memory allocation can be easily extended and selectively configured. In addition, we implement the advanced resource management schemes to promote the benefits of multi-core processors that are already widely deployed in Commercial Off-The-Shelf (COTS) systems. We show that our ARINC-653 implementation is portable across different OS, such as Linux and RTEMS, reusing the most of source codes thanks to the layered and modular design. We also analyze the overheads of the ARINC-653 APEX interfaces and multi-core scheduling. Moreover, we conduct a case study for a small-sized quad-copter.INDEX TERMS ARINC-653, integrated modular avionics, multi-core, portability, temporal partitioning, unmanned aerial vehicles.

show abstract

Behavior Modeling on ARINC653 to Support the Temporal Verification of Conformed Application Design

Cited by 10 publications

References 27 publications

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

A Taxonomy of MBSE Approaches by Languages, Tools and Methods

Independent Temporal Integration of ARINC653 Conformed Architecture — A Search Based Solution

Portable and Configurable Implementation of ARINC-653 Temporal Partitioning for Small Civilian UAVs

Contact Info

Product

Resources

About