Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Computer science
Author, co-author :
Di Alesio, Stefano ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Nejati, Shiva ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Briand, Lionel ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Gotlieb, Arnaud; Simula Research Lab > Certus Centre
External co-authors :
yes
Language :
English
Title :
Worst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing
Publication date :
September 2014
Event name :
International Conference on Principles and Practice of Constraint Programming
Event date :
8-9-2014 to 12-9-2014
Main work title :
International Conference on Principles and Practice of Constraint Programming
Afzal, W., Torkar, R., Feldt, R.: A systematic review of search-based testing for nonfunctional system properties. Information and Software Technology 51(6), 957-976 (2009)
Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 414-425. IEEE (1990)
Atamturk, A., Savelsbergh, M.W.: Integer-programming software systems. Annals of Operations Research 140(1), 67-124 (2005)
Baptiste, P., Le Pape, C., Nuijten, W.: Constraint-based scheduling: Applying constraint programming to scheduling problems, vol. 39 Springer (2001)
Bell, R.: Introduction to IEC 61508. In: Proceedings of the 10th Australian Workshop on Safety Critical Systems and Software, vol. 55, pp. 3-12. Australian Computer Society, Inc. (2006)
Berndt, D.J., Watkins, A.: High volume software testing using genetic algorithms. In: Proceedings of the 38th Annual Hawaii International Conference on System Sciences 2005. IEEE (2005)
Briand, L.C., Labiche, Y., Shousha, M.: Using genetic algorithms for early schedulability analysis and stress testing in real-time systems. Genetic Programming and Evolvable Machines 7(2), 145-170 (2006)
Cambazard, H., Hladik, P.E., Déplanche, A.M., Jussien, N., Trinquet, Y.: Decomposition and learning for a hard real time task allocation problem. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 153-167. Springer, Heidelberg (2004)
Di Alesio, S., Gotlieb, A., Nejati, S., Briand, L.: Testing deadline misses for real-time systems using constraint optimization techniques. In: 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST), pp. 764-769. IEEE (2012)
Di Alesio, S., Nejati, S., Briand, L., Gotlieb, A.: stress testing of task deadlines: A constraint programming approach. In: 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE), pp. 158-167. IEEE (2013)
Gomaa, H.: Designing concurrent, distributed, and real-time applications with UML. In: Proceedings of the 28th International Conference on Software Engineering, pp. 1059-1060. ACM (2006)
Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 1-15. Springer, Heidelberg (2006)
Hladik, P.E., Cambazard, H., Déplanche, A.M., Jussien, N.: solving a real-time allocation problem with constraint programming. Journal of Systems and Software 81(1), 132-149 (2008)
Jackson, D., Thomas, M., Millett, L.I., et al.: software for Dependable Systems: sufficient Evidence? National Academies Press (2007)
Jain, R.: The art of computer systems performance analysis. John Wiley &Sons (2008)
Laborie, P.: IBM ILOG CP Optimizer for detailed scheduling illustrated on three problems. In: van Hoeve, W.-J., Hooker, J.N. (eds.) CPAIOR 2009. LNCS, vol. 5547, pp. 148-162. Springer, Heidelberg (2009)
Le Pape, C., Baptiste, P.: An experimental comparison of constraint-based algorithms for the preemptive job shop scheduling problem. In: smolka, G. (ed.) CP 1997. LNCS, vol. 1330, Springer, Heidelberg (1997)
Lee, E.A., Seshia, S.A.: Introduction to embedded systems: A cyber-physical systems approach. Lee &Seshia (2011)
Malapert, A., Cambazard, H., Guéret, C., Jussien, N., Langevin, A., Rousseau, L.M.: An optimal constraint programming approach to the open-shop problem. INFORMS Journal on Computing 24(2), 228-244 (2012)
Nejati, S., Di Alesio, S., Sabetzadeh, M., Briand, L.: Modeling and analysis of CPU usage in safety-critical embedded systems to support stress testing. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 759-775. Springer, Heidelberg (2012)
Nilsson, R., Offutt, J., Mellin, J.: Test case generation for mutation-based testing of timeliness. Electronic Notes in Theoretical Computer Science 164(4), 97-114 (2006)
Shams, M., Krishnamurthy, D., Far, B.: A model-based approach for testing the performance of web applications. In: Proceedings of the 3rd International Workshop on Software Quality Assurance, pp. 54-61. ACM (2006)
Singh, A.: Identifying Malicious Code Through Reverse Engineering. Springer (2009)
Tindell, K., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing and Microprogramming 40(2), 117-134 (1994)
Weyuker, E.J., Vokolos, F.I.: Experience with performance testing of software systems: Issues, an approach, and case study. IEEE Transactions on Software Engineering 26(12), 1147-1156 (2000)
Yun, Y.S., Gen, M.: Advanced scheduling problem using constraint programming techniques in SCM environment. Computers &Industrial Engineering 43(1), 213-229 (2002)