@article{(Open Science Index):https://publications.waset.org/pdf/12769,
	  title     = {Studying on ARINC653 Partition Run-time Scheduling and Simulation},
	  author    = {Dongliang Wang and  Jun Han and  Dianfu Ma and  Xianqi Zhao},
	  country	= {},
	  institution	= {},
	  abstract     = {Avionics software is safe-critical embedded software
and its architecture is evolving from traditional federated architectures
to Integrated Modular Avionics (IMA) to improve resource usability.
ARINC 653 (Avionics Application Standard Software Interface) is a
software specification for space and time partitioning in Safety-critical
avionics Real-time operating systems. Arinc653 uses two-level
scheduling strategies, but current modeling tools only apply to simple
problems of Arinc653 two-level scheduling, which only contain time
property. In avionics industry, we are always manually allocating
tasks and calculating the timing table of a real-time system to ensure
it-s running as we design. In this paper we represent an automatically
generating strategy which applies to the two scheduling problems with
dependent constraints in Arinc653 partition run-time environment. It
provides the functionality of automatic generation from the task and partition models to scheduling policy through allocating the tasks to the partitions while following the constraints, and then we design a simulating mechanism to check whether our policy is schedulable or
not },
	    journal   = {International Journal of Computer and Systems Engineering},
	  volume    = {6},
	  number    = {11},
	  year      = {2012},
	  pages     = {1482 - 1486},
	  ee        = {https://publications.waset.org/pdf/12769},
	  url   	= {https://publications.waset.org/vol/71},
	  bibsource = {https://publications.waset.org/},
	  issn  	= {eISSN: 1307-6892},
	  publisher = {World Academy of Science, Engineering and Technology},
	  index 	= {Open Science Index 71, 2012},
	}