Open Access
Volume 37, Number 6, December 2019
Page(s) 1302 - 1309
Published online 11 February 2020
  1. Blikstad M, Karlsson E, Lööw T, et al. An Optimisation Approach for Pre-Runtime Scheduling of Tasks and Communication in an Integrated Modular Avionic System[J]. Optimization and Engineering, 2018, 19(4): 977–1004 [Article] [CrossRef] [Google Scholar]
  2. Airlines Electronic Engineering Committee. Avionics Application Software Standard Interface: Part 1-Required Services[S]. ARINC Specification 653 P1-4, 2015 [Google Scholar]
  3. Carnevali L, Pinzuti A, Vicario E, Compositional Verification for Hierarchical Scheduling of Real-Time Systems[J]. IEEE Trans on Software Engineering, 2013, 39(5): 638–657 [Article] [CrossRef] [Google Scholar]
  4. Kim J E, Abdelzaher T, Sha L. Schedulability Bound for Integrated Modular Avionics Partitions[C]//Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2015: 37–42 [Google Scholar]
  5. Shin I, Lee I. Periodic Resource Model for Compositional Real-Time Guarantees[C]//Real-Time Systems Symposium, 2003: 2–13 [Google Scholar]
  6. Lipari G, Bini E. A Methodology for Designing Hierarchical Scheduling Systems[J]. Journal of Embedded Computing, 2005, 1(2): 257–269, [Article] [Google Scholar]
  7. Almeida L, Pedreiras P. Scheduling within Temporal Partitions: Response-Time Analysis and Server Design[C]//Proceedings of the 4th ACM International Conference on Embedded Software, 2004: 95–103 [Google Scholar]
  8. Zhang L, Goswami D, Schneider R, et al. Task-and Network-Level Schedule Co-Synthesis of Ethernet-Based Time-Triggered Systems[C]//19th Asia and South Pacific Design Automation Conference, 2014: 119–124 [Google Scholar]
  9. Yoon M K, Kim J E, Bradford R, et al. Holistic Design Parameter Optimization of Multiple Periodic Resources in Hierarchical Scheduling[C]//Proceedings of the Conference on Design, Automation and Test in Europe, 2013: 1313–1318 [Google Scholar]
  10. Davis R, Burns A. An Investigation into Server Parameter Selection for Hierarchical Fixed Priority Pre-Emptive Systems[C]//16th International Conference on Real-Time and Network Systems, 2008 [Google Scholar]
  11. Dewan F, Fisher N. Approximate Bandwidth Allocation for Fixed-Priority-Scheduled Periodic Resources[C]//Real-Time and Embedded Technology and Applications Symposium, 2010: 247–256 [Google Scholar]
  12. Dewan F, Fisher N. Fixed-Priority Schedulability of Arbitrary-Deadline Sporadic Tasks upon Periodic Resources[C]//IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012: 358–367 [Google Scholar]
  13. Beji S, Hamadou S, Gherbi A, et al. SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TT Ethernet Architectures[C]//Proceedings of the 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, 2014: 165–174 [Google Scholar]
  14. Carnevali L, Lipari G, Pinzuti A, et al. A Formal Approach to Design and Verification of Two-Level Hierarchical Scheduling Systems[C]//International Conference on Reliable Software Technologies, 2011: 118–131 [Google Scholar]
  15. Cicirelli F, Furfaro A, Nigro L, et al. Development of a Schedulability Analysis Framework Based on PTPN and UPPAAL with Stopwatches[C]//Proceedings of the 2012 IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications, 2012: 57–64 [Google Scholar]
  16. Sun Y, Lipari G, Soulat R, et al. Component-Based Analysis of Hierarchical Scheduling Using Linear Hybrid Automata[C]//20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014: 1–10 [Google Scholar]
  17. Sberg M, Pettersson P, Nolte T. Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling[C]//23rd Euromicro Conference on Real-Time Systems, 2011: 172–181 [Google Scholar]
  18. Ahn S J, Hwang D Y, Kang M, et al. Hierarchical System Schedulability Analysis Framework Using UPPAAL[J]. IEICE Transactions on Information and Systems, 2016, 99(8): 2172–2176 [Article] [NASA ADS] [CrossRef] [Google Scholar]
  19. Han P, Zhai Z, Nielsen B, et al. A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems[C]//International Workshop on Methods and Tools for Rigorous System Design, 2018: 39–51 [Google Scholar]
  20. Boudjadar A, Kim J H, Larsen K G, et al. Compositional Schedulability Analysis of An Avionics System Using UPPAAL[C]//International Conference on Advanced Aspeots of Softuare Engineering, 2014: 140–147 [Google Scholar]
  21. Peled D A. Software Reliability Methods[M]. New York, Springer Science & Business Media, 2013 [Google Scholar]
  22. UPPSALA University, AALBORG University. UPPAAL Home[EB/OL]. (2015-6-2)[2018-7-1]. [Google Scholar]
  23. David A, Larsen K G, Legay A, et al. UPPAAL SMC Tutorial[J]. International Journal on Software Tools for Technology Transfer, 2015, 17(4): 397–415 [Article] [CrossRef] [Google Scholar]
  24. David G B A, Larsen K G. A Tutorial on UPPAAL 4.0[J]. Department of Computer Science, 2006, 4(12): 200–236 [Article] [Google Scholar]
  25. Bäck T, Fogel D B, Michalewicz T. Evolutionary Computeation 1:Basic Algorithns and Operators[M]. New York, CRC Press, 2018 [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.