{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T09:15:28Z","timestamp":1761988528851},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336652"},{"type":"electronic","value":"9783642336669"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33666-9_48","type":"book-chapter","created":{"date-parts":[[2012,9,18]],"date-time":"2012-09-18T16:50:20Z","timestamp":1347987020000},"page":"759-775","source":"Crossref","is-referenced-by-count":17,"title":["Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing"],"prefix":"10.1007","author":[{"given":"Shiva","family":"Nejati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefano","family":"Di Alesio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehrdad","family":"Sabetzadeh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Jackson, D., Thomas, M., Millett, L. (eds.): Software for Dependable Systems: Sufficient Evidence? National Academy Press (2007)"},{"key":"48_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11813040_1","volume-title":"FM 2006: Formal Methods","author":"T.A. Henzinger","year":"2006","unstructured":"Henzinger, T.A., Sifakis, J.: The Embedded Systems Design Challenge. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol.\u00a04085, pp. 1\u201315. Springer, Heidelberg (2006)"},{"key":"48_CR3","unstructured":"Lee, E., Seshia, S.: Introduction to Embedded Systems: A Cyber-Physical Systems Approach (2010), \n                    \n                      http:\/\/leeseshia.org"},{"key":"48_CR4","unstructured":"Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press (1999)"},{"key":"48_CR5","unstructured":"A UML profile for MARTE: Modeling and analysis of real-time embedded systems (May 2009)"},{"key":"48_CR6","unstructured":"Beizer, B.: Software testing techniques, 2nd edn. Van Nostrand Reinhold (1990)"},{"key":"48_CR7","unstructured":"Hentenryck, P.V., Michel, L.: Constraint-Based Local Search. The MIT Press (2005), \n                    \n                      www.dynadec.com"},{"key":"48_CR8","unstructured":"Wind River VxWorks (2009), \n                    \n                      http:\/\/www.windriver.com\/products\/vxworks\/"},{"key":"48_CR9","unstructured":"Liu, J.W.S.: Real-time systems. Prentice Hall (2000)"},{"key":"48_CR10","unstructured":"Sprunt, B.: Aperiodic task scheduling for real-time systems. PhD thesis, Carnegie Mellon University, Pittsburgh, PA, USA (1990)"},{"key":"48_CR11","unstructured":"OMG: The Unified Modelling Language. Version 2.1.2 (2007), \n                    \n                      http:\/\/www.omg.org\/spec\/UML\/2.1.2\/"},{"key":"48_CR12","unstructured":"Alesio, S.D.: The CPU usage constraints in Comet. \n                    \n                      http:\/\/home.simula.no\/~stefanod\/comet.pdf"},{"issue":"2","key":"48_CR13","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/s10270-002-0015-5","volume":"2","author":"D. Harel","year":"2003","unstructured":"Harel, D., Marelly, R.: Specifying and executing behavioral requirements: the play-in\/play-out approach. Software and System Modeling\u00a02(2), 82\u2013107 (2003)","journal-title":"Software and System Modeling"},{"key":"48_CR14","unstructured":"IEC 61158: industrial communication networks - fieldbus specifications. International Electrotechnical Commission (2010)"},{"key":"48_CR15","doi-asserted-by":"crossref","unstructured":"Cortellessa, V., Marco, A.D., Inverardi, P.: Model-Based Software Performance Analysis. Springer (2011)","DOI":"10.1007\/978-3-642-13621-4"},{"key":"48_CR16","unstructured":"Lazowska, E., Zahorjan, J., Graham, S., Sevcik, K.: Quantitative system performance computer system analysis using queueing network models. In: Int. CMG Conference, pp. 786\u2013788 (1984)"},{"issue":"2","key":"48_CR17","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581193","volume":"26","author":"M. Marsan","year":"1998","unstructured":"Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with generalized stochastic petri nets. SIGMETRICS Performance Evaluation Review\u00a026(2), 2 (1998)","journal-title":"SIGMETRICS Performance Evaluation Review"},{"issue":"10","key":"48_CR18","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"Plateau, B., Atif, K.: Stochastic automata network for modeling parallel systems. IEEE Trans. Software Eng.\u00a017(10), 1093\u20131108 (1991)","journal-title":"IEEE Trans. Software Eng."},{"key":"48_CR19","unstructured":"Petriu, D.: Software Model-based Performance Analysis. John Wiley & Sons (2010)"},{"key":"48_CR20","doi-asserted-by":"crossref","unstructured":"Hudak, J., Feiler, P.: Developing AADL models for control systems: A practitioner\u2019s guide (October 2006)","DOI":"10.21236\/ADA472931"},{"key":"48_CR21","unstructured":"Bertogna, M.: Real-Time Scheduling Analysis for Multiprocessor Platforms. PhD thesis, Scuola Superiore Sant\u2019Annna, Pisa (2007)"},{"key":"48_CR22","doi-asserted-by":"crossref","unstructured":"David, A., Illum, J., Larsen, K., Skou, A.: In: Model-Based Framework for Schedulability Analysis Using UPPAAL 4.1, pp. 93\u2013119. CRC Press (2010)","DOI":"10.1201\/9781420067859-c4"},{"issue":"2","key":"48_CR23","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s10710-006-9003-9","volume":"7","author":"L. Briand","year":"2006","unstructured":"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\u00a07(2), 145\u2013170 (2006)","journal-title":"Genetic Programming and Evolvable Machines"},{"key":"48_CR24","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-16561-0_21"},{"issue":"2","key":"48_CR25","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1287\/ijoc.3.2.149","volume":"3","author":"D. Applegate","year":"1991","unstructured":"Applegate, D., Cook, W.: A computational study of the job-shop scheduling problem. INFORMS Journal on Computing\u00a03(2), 149\u2013156 (1991)","journal-title":"INFORMS Journal on Computing"},{"key":"48_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"G. Behrmann","year":"2004","unstructured":"Behrmann, G., David, A., Larsen, K.G.: A Tutorial on Uppaal. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 200\u2013236. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33666-9_48","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T01:24:13Z","timestamp":1558315453000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33666-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336652","9783642336669"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33666-9_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}