{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:30:03Z","timestamp":1742970603513,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":28,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461438786"},{"type":"electronic","value":"9781461438793"}],"license":[{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,7,19]],"date-time":"2013-07-19T00:00:00Z","timestamp":1374192000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-3879-3_7","type":"book-chapter","created":{"date-parts":[[2013,7,18]],"date-time":"2013-07-18T12:35:31Z","timestamp":1374150931000},"page":"123-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Early Time-Budgeting for Component-Based Embedded Control Systems"],"prefix":"10.1007","author":[{"given":"Manoj G.","family":"Dixit","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,7,19]]},"reference":[{"key":"7_CR1","unstructured":"FMCSA: Forward Collision Warning Systems (CWS) (2005). http:\/\/www.fmcsa.dot.gov\/facts-research\/research-technology\/report\/forward-collision-warning-systems.htm"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Plunkett, D.: Safety critical software development for a brake by-wire system. In: SAE Technical Paper Series, 01-1672 (2006)","DOI":"10.4271\/2006-01-1672"},{"issue":"2","key":"7_CR3","first-page":"938","volume":"12","author":"J Cameron","year":"1986","unstructured":"Cameron, J.: An overview of JSD. IEEE Trans. Softw. Eng. 12(2), 938\u2013949 (1986)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR4","unstructured":"Douglass, B.: Real Time UML. Pearson, Education (2009)"},{"issue":"9","key":"7_CR5","doi-asserted-by":"publisher","first-page":"938","DOI":"10.1145\/358234.358262","volume":"27","author":"H Gomma","year":"1984","unstructured":"Gomma, H.: A software design method for real-time systems. Commun ACM 27(9), 938\u2013949 (1984)","journal-title":"Commun ACM"},{"key":"7_CR6","unstructured":"Hatley, D., Pirabhai, I.: Strategies for Real-time System Specificaiton. Dorset House (1988)"},{"key":"7_CR7","unstructured":"Ward, P., Mellor, S.: Structured Development for Real-time Systems. Prentice Hall (1985)"},{"key":"7_CR8","unstructured":"Parnas, D., Clements, P., Weiss, D.: The modular structure of complex systems. In: IEEE Conference on, Software Engineering, pp. 551\u2013556 (1984)"},{"key":"7_CR9","unstructured":"Wang, S., Merrick, J.R., Shin, K.G.: Component allocation with multiple resource constraints for large embedded real-time software design. In: IEEE Real-Time and Embedded Technology and Applications, Symposium, pp. 219\u2013226 (2004)"},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1109\/TSE.2006.39","volume":"32","author":"S Wang","year":"2006","unstructured":"Wang, S., Shin, K.G.: Task construction for model-based design of embedded control software. IEEE Trans. Softw. Eng. 32(4), 254\u2013264 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Davare, A., Zhu, Q., Natale, M.D., Pinello, C., Kanajan, S., Sangiovanni-vincentelli, A.L.: Period optimization for hard real-time distributed automotive systems. In: Design Automation Conference, pp. 278\u2013283 (2007).<error l=\"82\" c=\"Undefined command\" \/>10.1109\/DAC.2007.375172.","DOI":"10.1109\/DAC.2007.375172"},{"key":"7_CR12","unstructured":"Natale, M.D., Zheng, W., Pinello, C., Giusto, P., Sangiovanni-Vincentelli, A.L.: Optimizing end-to-end latencies by adaptation of the activation events in distributed automotive systems. In: IEEE Real-Time and Embedded Technology and Applications Symposium, (2007)"},{"issue":"3","key":"7_CR13","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1145\/377978.377990","volume":"2","author":"R Alur","year":"2001","unstructured":"Alur, R., Etessami, K., Torre, S.L., Peled, D.: Parametric temporal logic for \u201cModel Measuring\u201d. ACM Trans. Comput. Logic 2(3), 388\u2013407 (2001)","journal-title":"ACM Trans. Comput. Logic"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"Dixit, M.G., Dasgupta, P., Ramesh, S.: Taming the component timing: A CBD methodology for component based embedded systems. In: Design Automation and Test in Europe (DATE), (2009)","DOI":"10.1109\/DATE.2010.5457077"},{"issue":"3","key":"7_CR15","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1016\/j.ipl.2011.07.002","volume":"111","author":"M Dixit","year":"2011","unstructured":"Dixit, M., Ramesh, S., Dasgupta, P.: Some results on parametric temporal logic. Inf. Process. Lett. 111(3), 994\u2013998 (2011)","journal-title":"Inf. Process. Lett."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Dixit, M.G.: Formal methods for early time-budgeting in component based embedded control systems. Ph.D. thesis, IIT Kharagpur (2012)","DOI":"10.1007\/978-1-4614-3879-3_7"},{"key":"7_CR17","unstructured":"Bartolini, C., Lipari, G., Natale, M.D.: From functional blocks to the synthesis of the architectural model in embedded real-time applications. In: IEEE Real-Time and Embedded Technology and Applications, Symposium, pp. 458\u2013467 (2005)"},{"key":"7_CR18","unstructured":"Hamann, A., Jersak, M., Richter, K., Ernst, R.: Design space exploration and system optimization with SymTA\/S - symbolic timing analysis for systems. In: IEEE Real-Time Systems, Symposium, pp. 469\u2013478 (2004)"},{"key":"7_CR19","unstructured":"AUTOSAR Consortium: AUTomotive Open System ARchitecture. http:\/\/www.autosar.org"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"Klobedanz, K., Kuznik, C., Thuy, A., Mueller, W.: Timing modeling and analysis for AUTOSAR-based software development - A case study. In: Design Automation and Test in, Europe, pp. 642\u2013645 (2010)","DOI":"10.1109\/DATE.2010.5457125"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1006\/inco.1993.1025","volume":"104","author":"R Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.: Real-time logics: Complexity and expressiveness. Inf. Comput. 104(1), 35\u201377 (1993)","journal-title":"Inf. Comput."},{"key":"7_CR22","volume-title":"Model Checking","author":"EM Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge, MA, USA (2000)"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Emerson, A.E., Mok, A., Sistla, A., Srinivasan, J.: Quantitative temporal reasoning. In: Computer Aided Verification, pp. 136\u2013145 (1994)","DOI":"10.1007\/BFb0023727"},{"key":"7_CR24","unstructured":"Emerson, A.E., Trefler, R.: Parametric quantitative temporal reasoning. In: IEEE Symposium on Logic in Computer Science, pp. 336\u2013343 (1999)"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th IEEE. Foundations of Computer Science, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"7_CR26","unstructured":"Eclipse Modeling Framework. http:\/\/www.eclipse.org"},{"key":"7_CR27","unstructured":"NuSMV: A New Symbolic Model Checker. http:\/\/nusmv.fbk.eu\/\/"},{"key":"7_CR28","unstructured":"Yices: An SMT Solver. http:\/\/yices.csl.sri.com\/"}],"container-title":["Embedded Systems","Embedded Systems Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-3879-3_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,13]],"date-time":"2023-02-13T23:50:02Z","timestamp":1676332202000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-3879-3_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,19]]},"ISBN":["9781461438786","9781461438793"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-3879-3_7","relation":{},"ISSN":["2193-0155","2193-0163"],"issn-type":[{"type":"print","value":"2193-0155"},{"type":"electronic","value":"2193-0163"}],"subject":[],"published":{"date-parts":[[2013,7,19]]},"assertion":[{"value":"19 July 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}