Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Software Verification and Validation Lab (SVV Lab)
Disciplines :
Sciences informatiques
Identifiants :
UNILU:UL-CONFERENCE-2012-474
Auteur, co-auteur :
NEJATI, Shiva ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Di Alesio, Stefano; Simula Research Labs, Norway
SABETZADEH, Mehrdad ; 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)
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
Date de publication/diffusion :
2012
Nom de la manifestation :
MODELS 2012
Lieu de la manifestation :
Innsbruck, Autriche
Date de la manifestation :
30-9-2012 to 5-10-2012
Manifestation à portée :
International
Titre de l'ouvrage principal :
15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems
Jackson, D., Thomas, M., Millett, L. (eds.): Software for Dependable Systems: Sufficient Evidence? National Academy Press (2007)
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)
Lee, E., Seshia, S.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach (2010), http://leeseshia.org
Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)
A UML profile for MARTE: Modeling and analysis of real-time embedded systems (May 2009)
Beizer, B.: Software testing techniques, 2nd edn. Van Nostrand Reinhold (1990)
Hentenryck, P.V., Michel, L.: Constraint-Based Local Search. The MIT Press (2005), www.dynadec.com
Wind River VxWorks (2009), http://www.windriver.com/products/vxworks/
Liu, J.W.S.: Real-time systems. Prentice Hall (2000)
Sprunt, B.: Aperiodic task scheduling for real-time systems. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA (1990)
OMG: The Unified Modelling Language. Version 2.1.2 (2007), http://www.omg.org/spec/UML/2.1.2/
Alesio, S.D.: The CPU usage constraints in COMET. http://home.simula.no/ ~stefanod/comet.pdf
Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in/play-out approach. Software and System Modeling 2(2), 82-107 (2003)
IEC 61158: industrial communication networks - fieldbus specifications. International Electrotechnical Commission (2010)
Lazowska, E., Zahorjan, J., Graham, S., Sevcik, K.: Quantitative system performance computer system analysis using queueing network models. In: Int. CMG Conference, pp. 786-788 (1984)
Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. SIGMETRICS Performance Evaluation Review 26(2), 2 (1998)
Petriu, D.: Software Model-based Performance Analysis. John Wiley & Sons (2010)
Hudak, J., Feiler, P.: Developing AADL models for control systems: A practitioner's guide (October 2006)
Bertogna, M.: Real-Time Scheduling Analysis for Multiprocessor Platforms. PhD thesis, Scuola Superiore Sant'Annna, Pisa (2007)
David, A., Illum, J., Larsen, K., Skou, A.: In: Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, pp. 93-119. CRC Press (2010)
Briand, L., 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)
Mikucionis, M., Larsen, K., Nielsen, B., Illum, J., Skou, A., Palm, S., Pedersen, J., Hougaard, P.: Schedulability analysis using UPPAAL: Herscehl-Planck case study. In: Proceedings of 4th International Symposiumo on Leveraging Applications of Formal Methods, Verification and Validation; track: Quantitative Verification in Practice (2010)
Applegate, D., Cook, W.: A computational study of the job-shop scheduling problem. INFORMS Journal on Computing 3(2), 149-156 (1991)
Behrmann, G., David, A., Larsen, K.G.: A Tutorial on UPPAAL. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 200-236. Springer, Heidelberg (2004)
