{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:40Z","timestamp":1725487660416},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540695066"},{"type":"electronic","value":"9783540695073"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-69507-3_79","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T17:35:58Z","timestamp":1184607358000},"page":"911-922","source":"Crossref","is-referenced-by-count":2,"title":["Parameterised Extra-Functional Prediction of Component-Based Control Systems \u2013 Industrial Experience"],"prefix":"10.1007","author":[{"given":"Ian D.","family":"Peake","sequence":"first","affiliation":[]},{"given":"Heinz W.","family":"Schmidt","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"79_CR1","unstructured":"Heckmann, R., Ferdinand, C.: Worst-Case Execution Time Prediction by Static Program Analysis. Technical Report, AbsInt Angewandte Informatik GmbH, Germany (Accessed in August 2006)"},{"key":"79_CR2","unstructured":"International Standard IEC 61131-3: Programmable Controllers\u2014Part 3: Programming Languages, second edition (2003)"},{"key":"79_CR3","first-page":"1","volume-title":"Proceedings of the 30 th EUROMICRO Conference","author":"J. Jayaputera","year":"2004","unstructured":"Jayaputera, J., Poernomo, I., Schmidt, H.W.: Runtime Verification of Timing and Probabilistic Properties Using WMI and .NET. In: Steinmetz, R., Mauthe, A. (eds.) Proceedings of the 30\n                    th\n                   EUROMICRO Conference, pp. 1\u20137. IEEE Computer Society Press, Los Alamitos (2004)"},{"key":"79_CR4","unstructured":"Kirner, R., Puschner, P., Wenzel, I.: Measurement-Based Worst-Case Execution Time Analysis using Automatic Test-Data Generation. In: Proceedings of the 4\n                    th\n                   Euromicro International Workshop on WCET Analysis, Catania, Italy (June (2004)"},{"key":"79_CR5","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1109\/TOOLS.1999.809432","volume-title":"Technology of Object-Oriented Languages and Systems (TOOLS\u00a032)","author":"S. Ling","year":"1999","unstructured":"Ling, S., Schmidt, H.W., Fletcher, R.: Constructing Interoperable Components in Distributed Systems. In: Technology of Object-Oriented Languages and Systems (TOOLS\u00a032), pp. 274\u2013284. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"79_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/3-540-60406-5_12","volume-title":"Software Engineering - ESEC \u201995","author":"J. Magee","year":"1995","unstructured":"Magee, J., Dulay, N., Eisenbach, S., Kramer, J.: Specifying Distributed Software Architectures. In: Botella, P., Sch\u00e4fer, W. (eds.) ESEC 1995. LNCS, vol.\u00a0989, pp. 137\u2013155. Springer, Heidelberg (1995)"},{"key":"79_CR7","unstructured":"Magee, J., Kramer, J.: Concurrency: State Models and Java Programs (1999)"},{"key":"79_CR8","unstructured":"M\u00f6ller, A., Peake, I., Nolin, M., Schmidt, H.W.: Component-Based Context-Dependent Hybrid Property Prediction. In: Proc. ERCIM Workshop on Dependable Software-Intensive Embedded Systems (in Cooperation with the 31st EUROMICRO Conference on Software Engineering and Advanced Applications), European Research Consortium for Informatics and Mathematics (ERCIM), pp. 69\u201375 (September 2005)"},{"key":"79_CR9","first-page":"165","volume-title":"The Book of Traces","author":"E. Ochmanski","year":"1995","unstructured":"Ochmanski, E.: Recognizable Trace Languages. In: Diekert, V., Rosenberg, G. (eds.) The Book of Traces, pp. 165\u2013203. World Scientific Publ. Co., Singapore (1995)"},{"key":"79_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-45064-1_14","volume-title":"Component-Based Software Quality","author":"R. Reussner","year":"2003","unstructured":"Reussner, R., Poernomo, I.H., Schmidt, H.W.: Reasoning about Software Architectures with Contractually Specified Components. In: Cechich, A., Piattini, M., Vallecillo, A. (eds.) Component-Based Software Quality. LNCS, vol.\u00a02693, pp. 287\u2013325. Springer, Heidelberg (2003)"},{"key":"79_CR11","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/S0164-1212(02)00045-6","volume":"65","author":"H. Schmidt","year":"2003","unstructured":"Schmidt, H.: Trustworthy Components\u2014Compositionality and Prediction. Journal of Systems and Software\u00a065, 215\u2013225 (2003)","journal-title":"Journal of Systems and Software"},{"key":"79_CR12","doi-asserted-by":"crossref","unstructured":"Schmidt, H.W., Peake, I., Xie, J., Thomas, I., Kr\u00e4mer, B.J., Fay, A., Bort, P.: Modelling Predictable Component-Based Distributed Control Architectures. In: Proc. Ninth IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS\u201903), Anacapri, Italy, January 2004, pp. 339\u2013346 (2003)","DOI":"10.1109\/WORDS.2003.1267550"},{"key":"79_CR13","first-page":"143","volume-title":"Information Systems Interoperability","author":"H.W. Schmidt","year":"1998","unstructured":"Schmidt, H.W.: Compatibility of Interoperable Objects. In: Kr\u00e4mer, B., Papazoglou, M.P., Schnmidt, H.W. (eds.) Information Systems Interoperability, pp. 143\u2013181. Research Studies Press, Taunton (1998)"},{"key":"79_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1007\/978-3-540-24626-8_22","volume-title":"Radical Innovations of Software and Systems Engineering in the Future","author":"H.W. Schmidt","year":"2004","unstructured":"Schmidt, H.W., Kr\u00e4mer, B.J., Poernomo, I.H., Reussner, R.: Predictable Component Architectures Using Dependent Finite State Machines. In: Wirsing, M., Knapp, A., Balsamo, S. (eds.) RISSEF 2002. LNCS, vol.\u00a02941, pp. 310\u2013324. Springer, Heidelberg (2004)"},{"key":"79_CR15","doi-asserted-by":"crossref","unstructured":"Ta\u00efani, F., Paludetto, M., Delatour, J.: Composing Real-Time Objects: a Case for Petri Nets and Girard\u2019s Linear Logic. In: The 4th\u00a0IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC\u20192001), Magdeburg, Germany (2001)","DOI":"10.1109\/ISORC.2001.922853"}],"container-title":["Lecture Notes in Computer Science","SOFSEM 2007: Theory and Practice of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69507-3_79","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T01:22:46Z","timestamp":1550452966000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69507-3_79"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540695066","9783540695073"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69507-3_79","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}