Exact Approach to the Scheduling of F-shaped Tasks with Two and Three Criticality Levels

Antonin Novak, Premysl Sucha, Zdenek Hanzalek

Abstract

The communication is an essential part of a fault tolerant and dependable system. Safety-critical systems are often implemented as time-triggered environments, where the network nodes are synchronized by clocks and follow a static schedule to ensure determinism and easy certification. The reliability of a communication bus can be further improved when the message retransmission is permitted to deal with lost messages. However, constructing static schedules for non-preemptive messages that account for retransmissions while preserving the efficient use of resources poses a challenging problem. In this paper, we show that the problem can be modeled using so-called F-shaped tasks. We propose efficient exact algorithms solving the non-preemptive message scheduling problem with retransmissions. Furthermore, we show a new complexity result, and we present computational experiments for instances with up to 200 messages.

References

  1. Baruah, S. and Fohler, G. (2011). Certification-cognizant time-triggered scheduling of mixed-criticality systems. In Real-Time Systems Symposium (RTSS), 2011 IEEE 32nd, pages 3-12. IEEE.
  2. Baruah, S., Li, H., and Stougie, L. (2010). Towards the design of certifiable mixed-criticality systems. In Real-Time and Embedded Technology and Applications Symposium (RTAS), 2010 16th IEEE, pages 13- 22. IEEE.
  3. Bean, J. C., Birge, J. R., Mittenthal, J., and Noon, C. E. (1991). Matchup scheduling with multiple resources, release dates and disruptions. Operations Research, 39(3):470-483.
  4. Bell, R. (2006). Introduction to iec 61508. In Proceedings of the 10th Australian workshop on Safety critical systems and software-Volume 55, pages 3-12. Australian Computer Society, Inc.
  5. Bertsimas, D., Brown, D. B., and Caramanis, C. (2011). Theory and applications of robust optimization. SIAM review, 53(3):464-501.
  6. Burns, A. and Davis, R. (2013). Mixed criticality systems-a review. Department of Computer Science, University of York, Tech. Rep.
  7. Dvorak, J. and Hanzalek, Z. (2016). Using two independent channels with gateway for FlexRay static segment scheduling. IEEE Transactions on Industrial Informatics, article in press.
  8. Hanzalek, Z., Tunys, T., and Sucha, P. (2016). Nonpreemptive mixed-criticality match-up scheduling problem. Journal of Scheduling, doi: 10.1007/s10951-016-0468-y.
  9. Kopetz, H., Ademaj, A., Grillinger, P., and Steinhammer, K. (2005). The time-triggered ethernet (TTE) design. In Object-Oriented Real-Time Distributed Computing, 2005. ISORC 2005. Eighth IEEE International Symposium on, pages 22-33. IEEE.
  10. Qi, X., Bard, J. F., and Yu, G. (2006). Disruption management for machine scheduling: the case of spt schedules. International Journal of Production Economics, 103(1):166-184.
  11. Sahinidis, N. V. (2004). Optimization under uncertainty: state-of-the-art and opportunities. Computers & Chemical Engineering, 28(6):971-983.
  12. Shabtay, D., Gaspar, N., and Kaspi, M. (2013). A survey on offline scheduling with rejection. Journal of scheduling, 16(1):3-28.
  13. Theis, J., Fohler, G., and Baruah, S. (2013). Schedule table generation for time-triggered mixed criticality systems. Proc. WMC, RTSS, pages 79-84.
  14. Vestal, S. (2007). Preemptive scheduling of multi-criticality systems with varying degrees of execution time assurance. In Real-Time Systems Symposium, 2007. RTSS 2007. 28th IEEE International, pages 239-243. IEEE.
Download


Paper Citation


in Harvard Style

Novak A., Sucha P. and Hanzalek Z. (2017). Exact Approach to the Scheduling of F-shaped Tasks with Two and Three Criticality Levels . In Proceedings of the 6th International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES, ISBN 978-989-758-218-9, pages 160-170. DOI: 10.5220/0006198101600170


in Bibtex Style

@conference{icores17,
author={Antonin Novak and Premysl Sucha and Zdenek Hanzalek},
title={Exact Approach to the Scheduling of F-shaped Tasks with Two and Three Criticality Levels},
booktitle={Proceedings of the 6th International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES,},
year={2017},
pages={160-170},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006198101600170},
isbn={978-989-758-218-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Operations Research and Enterprise Systems - Volume 1: ICORES,
TI - Exact Approach to the Scheduling of F-shaped Tasks with Two and Three Criticality Levels
SN - 978-989-758-218-9
AU - Novak A.
AU - Sucha P.
AU - Hanzalek Z.
PY - 2017
SP - 160
EP - 170
DO - 10.5220/0006198101600170