{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T15:29:34Z","timestamp":1760369374843,"version":"3.40.3"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319629315"},{"type":"electronic","value":"9783319629322"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-62932-2_28","type":"book-chapter","created":{"date-parts":[[2017,7,28]],"date-time":"2017-07-28T10:27:55Z","timestamp":1501237675000},"page":"289-300","source":"Crossref","is-referenced-by-count":4,"title":["Stopwatch Automata-Based Model for Efficient Schedulability Analysis of Modular Computer\u00a0Systems"],"prefix":"10.1007","author":[{"given":"Alevtina","family":"Glonina","sequence":"first","affiliation":[]},{"given":"Anatoly","family":"Bahmurov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,29]]},"reference":[{"key":"28_CR1","unstructured":"Avionics application software standard interface: ARINC specification 653. Aeronautical Radio, Annapolis (1997)"},{"key":"28_CR2","unstructured":"AUTOSAR. Enabling Innovation. \nhttp:\/\/www.autosar.org\/"},{"issue":"3","key":"28_CR3","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/s00502-006-0323","volume":"123","author":"R Obermaisser","year":"2006","unstructured":"Obermaisser, R., et al.: DECOS: an integrated time-triggered architecture. Elektrotech. Inftech. 123(3), 83\u201395 (2006). doi:\n10.1007\/s00502-006-0323","journal-title":"Elektrotech. Inftech."},{"key":"28_CR4","doi-asserted-by":"publisher","unstructured":"Marinescu, S., et al.: Timing analysis of mixed-criticality hard real-time applications implemented on distributed partitioned architectures. In: Proceedings of 2012 17th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2012), Krakow, Poland, pp. 1\u20134 (2012). doi:\n10.1109\/ETFA.2012.6489720","DOI":"10.1109\/ETFA.2012.6489720"},{"key":"28_CR5","doi-asserted-by":"publisher","unstructured":"Macariu, G., Cretu, V.: Timed automata model for component-based real-time systems. In: Proceedings of 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems, Oxford, UK, pp. 121\u2013130 (2010). doi:\n10.1109\/ECBS.2010.20","DOI":"10.1109\/ECBS.2010.20"},{"key":"28_CR6","unstructured":"Craveiro, J.P., Silveira, R.O., Rufino, J.: hsSim: an extensible interoperable object-oriented n-level hierarchical scheduling simulator. In: Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS 2012), Pisa, Italy, pp. 9\u201314 (2012)"},{"issue":"2","key":"28_CR7","doi-asserted-by":"publisher","first-page":"294","DOI":"10.4271\/2012-01-2146","volume":"5","author":"A Khoroshilov","year":"2012","unstructured":"Khoroshilov, A., et al.: AADL-based toolset for IMA system design and integration. SAE Int. J. Aerosp. 5(2), 294\u2013299 (2012). doi:\n10.4271\/2012-01-2146","journal-title":"SAE Int. J. Aerosp."},{"key":"28_CR8","unstructured":"Balashov, V.V., Balakhanov, V.A., Kostenko, V.A.: Scheduling of computational tasks in switched network-based IMA systems. In: Proceedings of International Conference on Engineering and Applied Sciences Optimization, Athens, Greece, pp. 1001\u20131014 (2014)"},{"key":"28_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/3-540-44618-4_12","volume-title":"CONCUR 2000 \u2014 Concurrency Theory","author":"F Cassez","year":"2000","unstructured":"Cassez, F., Larsen, K.: The impressive power of stopwatches. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 138\u2013152. Springer, Heidelberg (2000). doi:\n10.1007\/3-540-44618-4_12"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1134\/S0361768813050046","volume":"22","author":"A Tretyakov","year":"2012","unstructured":"Tretyakov, A.: Automation of scheduling for periodic real-time systems (in Russian). Proc. Inst. Syst. Program. 22, 375\u2013400 (2012). doi:\n10.1134\/S0361768813050046","journal-title":"Proc. Inst. Syst. Program."},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-27755-2_3","volume-title":"Lectures on Concurrency and Petri Nets","author":"J Bengtsson","year":"2004","unstructured":"Bengtsson, J., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87\u2013124. Springer, Heidelberg (2004). doi:\n10.1007\/978-3-540-27755-2_3"},{"key":"28_CR12","doi-asserted-by":"publisher","unstructured":"Andre, E.: Observer patterns for real-time systems. In: Proceedings of 2013 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), Singapore, pp. 125\u2013134 (2013). doi:\n10.1109\/ICECCS.2013.26","DOI":"10.1109\/ICECCS.2013.26"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-62932-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,2]],"date-time":"2017-10-02T11:29:58Z","timestamp":1506943798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-62932-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319629315","9783319629322"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-62932-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}