المستخلص
 تتضح أهمية دراسة وفيات الأجنة من كونها عنصرا مهما عناصر النمو السكاني ،فضلا عن عاملا مؤثرفي تركيب السكان .وتتجلى هذه الدراسة أنها تبين حقائق المتوفين حيث التركيب النوعي والعمري وأسباب الوفاة فضلا التوزيع الزماني والمكاني لها ضمن منطقة الدراسة.من خلال العددي والمرتبي لوفيات الاجنة للمدة ٢٠١٢-٢٠٢٢ شغل قطاع الكوت المرتبة الاولى ,واستحوذ الصويرة الثانية ، وشغل العزيزية الثالثة ،واستح...

This paper presents quantitative results we obtained when optimizing the setting of priorities of the AFDX traffic flows, with the objective to obtain tighter latency and queue-size deterministic bounds (those bounds are calculated by our Network Calculus tool). We first point out the fact that setting randomly the priorities gives worse bounds than using no priorities, and we then show experim...

This short paper reports an overview of MAST (Modeling and Analysis Suite for real-Time applications) [1], and how AFDX networks will be modeled and analyzed within this framework. MAST defines a model for describing the timing behavior of distributed real-time systems and also includes a set of tools for schedulability analysis, assigning scheduling parameters and performing sensitivity analys...

This paper presents a modeling framework for schedulability analysis of distributed integrated modular avionics (DIMA) systems that consist of spatially distributed ARINC-653 modules connected by a unified AFDX network. We model a DIMA system as a set of stopwatch automata (SWA) in UPPAAL to analyze its schedulability by classical model checking (MC) and statistical model checking (SMC). The fr...