{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:04Z","timestamp":1725515164601},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_8","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T15:58:24Z","timestamp":1216223904000},"page":"118-132","source":"Crossref","is-referenced-by-count":0,"title":["Towards Integrated Model-Driven Verification and Empirical Validation of Reusable Software Frameworks for Automotive Systems"],"prefix":"10.1007","author":[{"given":"Venkita","family":"Subramonian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher","family":"Gill","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Subramonian, V., Xing, G., Gill, C., Lu, C., Cytron, R.: Middleware specialization for memory-constrained networked embedded systems. In: Proceedings of 10th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) (2004)","DOI":"10.1109\/RTTAS.2004.1317276"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Aswathanarayana, T., Subramonian, V., Niehaus, D., Gill, C.: Design and performance of configurable endsystem scheduling mechanisms. In: Proceedings of 11th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS) (2005)","DOI":"10.1109\/RTAS.2005.17"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Sanchez, C., Sipma, H.B., Manna, Z., Subramonian, V., Gill, C.: On Efficient Distributed Deadlock Avoidance for Real-time and Embedded Systems. In: 20 th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006) (2006)","DOI":"10.1109\/IPDPS.2006.1639370"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Subramonian, V., Gill, C., Sanchez, C., Sipma, H.B.: Composable Models for Timing and Liveness Analysis in Distributed Real-time Embedded Systems Middleware. Technical Report WUCSE-2005-54, Computer Science and Engineering Department, Washington University in St.Louis (2005)","DOI":"10.1145\/1176887.1176924"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Madl, G., Abdelwahed, S., Schmidt, D.C.: Verifying distributed real-time properties of embedded systems via graph transformations and model checking. International Journal of Time-Critical Computing Systems (2005)","DOI":"10.1007\/s11241-006-6883-y"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/1086228.1086294","volume-title":"EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software","author":"G. Madl","year":"2005","unstructured":"Madl, G., Abdelwahed, S.: Model-based analysis of distributed real-time embedded system composition. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 371\u2013374. ACM Press, New York (2005)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Madl, G., Abdelwahed, S., Karsai, G.: Automatic Verification of Component-Based Real-time CORBA Applications. In: The 25th IEEE Real-time Systems Symposium (RTSS 2004), Lisbon, Portugal (2004)","DOI":"10.1109\/REAL.2004.13"},{"key":"8_CR9","unstructured":"Karsai, G., Neema, S., Bakay, A., Ledeczi, A., Shi, F., Gokhale, A.: A Model-based Front-end to ACE\/TAO: The Embedded System Modeling Language. In: Proceedings of the Second Annual TAO Workshop, Arlington, VA (2002)"},{"key":"8_CR10","unstructured":"Marques, R.S., Simonot-Lion, F.: Guidelines for the development of a communication middleware for automotive applications. In: Proceedings of the 3rd Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER3 2005) (2005)"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"Marques, R.S., Simonot-Lion, F.: Design-Patterns based development of an automotive middleware. In: Proceedings of the 6th IFAC International Conference on Fieldbus Systems and their Applications (FeT 2005) (2005)","DOI":"10.1016\/B978-008045364-4\/50065-4"},{"key":"8_CR12","unstructured":"Gu, Z., Wang, S., Shin, K.G.: Issues in Mapping from UML Real-Time Profile to OSEK API. In: Proc. Workshop on Specification and Validation of UML models for Real-Time and Embedded Systems (SVERTS 2003) (2003)"},{"key":"8_CR13","unstructured":"Object Management Group: UML Profile for Schedulability. Final Draft OMG Document ptc\/03-03-02 edn. (2003)"},{"key":"8_CR14","unstructured":"AUTomotive Open System ARchitecture: AUTOSAR (2005), www.autosar.org"},{"key":"8_CR15","unstructured":"Institute for Software Integrated Systems: The ADAPTIVE Communication Environment (ACE) (Vanderbilt University), www.dre.vanderbilt.edu\/ACE\/"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Gill, C.D., Levine, D.L., Schmidt, D.C.: The Design and Performance of a Real-time CORBA Scheduling Service. Real-time Systems, The International Journal of Time-Critical Computing Systems, special issue on Real-time Middleware\u00a020(2) (2001)","DOI":"10.1007\/978-1-4615-1695-8_2"},{"key":"8_CR17","unstructured":"Institute for Software Integrated Systems: The ACE ORB (TAO) (Vanderbilt University), www.dre.vanderbilt.edu\/TAO\/"},{"key":"8_CR18","unstructured":"Group, D.: nORB - Special Purpose Middleware for Networked Embedded Systems (2005), deuce.doc.wustl.edu\/nORB\/"},{"key":"8_CR19","volume-title":"Proceedings of the 10th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS)","author":"V. Subramonian","year":"2004","unstructured":"Subramonian, V., Xing, G., Gill, C., Lu, C., Cytron, R.: Middleware Specialization for Memory-Constrained Networked Embedded Systems. In: Proceedings of the 10th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), Toronto, Canada, IEEE, Los Alamitos (2004)"},{"key":"8_CR20","volume-title":"Embedded Systems Handbook","author":"V. Subramonian","year":"2006","unstructured":"Subramonian, V., Gill, C.: Middleware Design and Implementation for Networked Embedded Systems. In: Zurawski, R. (ed.) Embedded Systems Handbook, CRC Press, Boca Raton (2006)"},{"key":"8_CR21","unstructured":"Institute for Software Integrated Systems: Component-Integrated ACE ORB (CIAO) (Vanderbilt University), www.dre.vanderbilt.edu\/CIAO\/"},{"key":"8_CR22","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/378993.379006","volume-title":"Proceedings of the ninth international conference on Architectural support for programming languages and operating systems","author":"J. Hill","year":"2000","unstructured":"Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System architecture directions for networked sensors. In: Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, pp. 93\u2013104. ACM Press, New York (2000)"},{"key":"8_CR23","unstructured":"OSEK Consortium: OSEK\/VDX communication specification (2004), http:\/\/www.osek-vdx.org"},{"key":"8_CR24","volume-title":"Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects","author":"D.C. Schmidt","year":"2000","unstructured":"Schmidt, D.C., Stal, M., Rohnert, H., Buschmann, F.: Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, New York, vol.\u00a02. Wiley & Sons, Chichester (2000)"},{"key":"8_CR25","unstructured":"Subramonian, V., Gill, C., Sanchez, C., Sipma, H.B.: Composable timed automata models for real-time embedded systems middleware. Technical Report WUCSE-2005-29, Computer Science and Engineering Department, Washington University in St.Louis (2005)"},{"key":"8_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1520","DOI":"10.1007\/978-3-540-30469-2_43","volume-title":"Proc. of the International Symposium on Distributed Objects and Applications (DOA 2004)","author":"N. Wang","year":"2004","unstructured":"Wang, N., Gill, C., Schmidt, D.C., Subramonian, V.: Configuring Real-time Aspects in Component Middleware. In: OTM 2004. LNCS, vol.\u00a03291, pp. 1520\u20131537. Springer-Verlag, Heidelberg (2004)"},{"key":"8_CR27","unstructured":"Sharp, D.C., Roll, W.C.: Model-Based Integration of Reusable Component-Based Avionics System. In: Proc. of the Workshop on Model-Driven Embedded Systems in RTAS (2003)"},{"key":"8_CR28","unstructured":"Object Management Group: The Common Object Request Broker: Architecture and Specification. 3.0.2 edn. (2002)"},{"key":"8_CR29","first-page":"190","volume-title":"Proceedings of the 11th Real-time Technology and Application Symposium (RTAS 2005)","author":"K. Balasubramanian","year":"2005","unstructured":"Balasubramanian, K., Balasubramanian, J., Parsons, J., Gokhale, A., Schmidt, D.C.: A Platform-Independent Component Modeling Language for Distributed Real-time and Embedded Systems. In: Proceedings of the 11th Real-time Technology and Application Symposium (RTAS 2005), San Francisco, CA, pp. 190\u2013199. IEEE, Los Alamitos (2005)"},{"key":"8_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/11562436_13","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2005","author":"C. Sanchez","year":"2005","unstructured":"Sanchez, C., Sipma, H.B., Subramonian, V., Gill, C., Manna, Z.: Thread Allocation Protocols for Distributed Real-Time and Embedded Systems. In: Wang, F. (ed.) FORTE 2005. LNCS, vol.\u00a03731, pp. 159\u2013173. Springer, Heidelberg (2005)"},{"key":"8_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/978-3-540-30080-9_8","volume-title":"Formal Methods for the Design of Real-Time Systems","author":"M. Bozga","year":"2004","unstructured":"Bozga, M., Graf, S., Ober, I., Ober, I., Sifakis, J.: The IF Toolset. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol.\u00a03185, pp. 237\u2013267. Springer, Heidelberg (2004)"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Robby, Dwyer, M., Hatcliff, J.: Bogor: An Extensible and Highly-Modular Model Checking Framework. In: In the Proceedings of the Fourth Joint Meeting of the European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE 2003), Helsinki, Finland, ACM, New York (2003)","DOI":"10.1145\/940071.940107"},{"issue":"5","key":"8_CR34","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holtzman","year":"1997","unstructured":"Holtzman, G.J.: The Model Checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"8_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45657-0_26","volume-title":"Computer Aided Verification","author":"M. Bozga","year":"2002","unstructured":"Bozga, M., Graf, S., Ober, I., Mounier, L.: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol.\u00a02404, Springer, Heidelberg (2002)"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"Bozga, M., Fernandez, J.C., Ghirvu, L., Graf, S., Krimm, J.P., Mounier, L.: IF: A Validation Environment for Timed Asynchronous Systems. In: Proceedings of CAV 2000 (2000)","DOI":"10.1007\/10722167_41"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-49213-5_5","volume-title":"Compositionality: The Significant Difference","author":"S. Bornot","year":"1998","unstructured":"Bornot, S., Sifakis, J., Tripakis, S.: Modeling Urgency in Timed Systems. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 103\u2013129. Springer, Heidelberg (1998)"},{"key":"8_CR38","unstructured":"Subramonian, V.: Timed Automata Models for Principled Composition of Middleware. PhD thesis, Washington University in St. Louis, Computer Science and Engineering Department Technical Report WUCSE-2006-23 (2006)"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Subramonian, V., Gill, C., S\u00e1nchez, C., Sipma, H.B.: Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems. In: Sixth ACM\/IEEE International Conference on Embedded Software (EMSOFT 2006), pp. 252\u2013261 (2006)","DOI":"10.1145\/1176887.1176924"},{"key":"8_CR40","unstructured":"Buchanan, B., Niehaus, D., Dhandapani, D., Menon, R., Sheth, S., Wijata, Y., House, S.: The data stream kernel interface. Technical Report ITTC-FY98-TR11510-04, Information and Telecommunication Technology Center, University of Kansas (1998)"},{"key":"8_CR41","unstructured":"Linutronix: LibeRTOS (2004), http:\/\/www.linutronix.de\/linutronix\/e\/libertos.html"},{"key":"8_CR42","unstructured":"Niehaus, D., James, J., Gill, C.: Closing the Programmer\u2019s Universe: A Pattern Language for Reproducibility in Concurrent Programming Environments. In: Pattern Languages of Programs Conference, Allerton Park, IL (2003)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,19]],"date-time":"2023-05-19T05:53:17Z","timestamp":1684475597000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}