{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:31:30Z","timestamp":1725550290184},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292005"},{"type":"electronic","value":"9783540320005"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11563228_19","type":"book-chapter","created":{"date-parts":[[2005,10,8]],"date-time":"2005-10-08T13:11:49Z","timestamp":1128777109000},"page":"246-260","source":"Crossref","is-referenced-by-count":11,"title":["Safety Interfaces for Component-Based Systems"],"prefix":"10.1007","author":[{"given":"Jonas","family":"Elmqvist","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simin","family":"Nadjm-Tehrani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marius","family":"Minea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"19_CR1","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/151646.151649","volume":"15","author":"M. Abadi","year":"1993","unstructured":"Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems\u00a015(1), 73\u2013132 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"\u00c5kerlund, O., Nadjm-Tehrani, S., St\u00e5lmarck, G.: Integration of formal methods into system safety and reliability analysis. In: Proceedings of 17th International Systems Safety Conference, pp. 326\u2013336 (1999)","key":"19_CR2"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1109\/LICS.1996.561320","volume-title":"Proc. 11th Symposium on Logic in Computer Science","author":"R. Alur","year":"1996","unstructured":"Alur, R., Henzinger, T.A.: Reactive modules. In: Proc. 11th Symposium on Logic in Computer Science, pp. 207\u2013218. IEEE Computer Society, Los Alamitos (1996)"},{"key":"19_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05082-8","volume-title":"Invasive Software Composition","author":"U. A\u00dfman","year":"2003","unstructured":"A\u00dfman, U.: Invasive Software Composition. Springer, Heidelberg (2003)"},{"unstructured":"Berry, G.: The Esterel v5 Language Primer. CMA. Sophia Antipolis (2000)","key":"19_CR5"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1109\/FTDCS.1990.138293","volume-title":"Proc. of 2nd IEEE Workshop on Future Trends in Distributed Computing Systems","author":"A. Bondavalli","year":"1990","unstructured":"Bondavalli, A., Simoncini, L.: Failures classification with respect to detection. In: Proc. of 2nd IEEE Workshop on Future Trends in Distributed Computing Systems, pp. 47\u201353. IEEE Computer Society, Los Alamitos (1990)"},{"unstructured":"Bozzano, M., et al.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: ESREL 2003, Balkema, June 2003, pp. 237\u2013245 (2003)","key":"19_CR7"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01245300","volume":"6","author":"A. Burns","year":"1994","unstructured":"Burns, A., Wellings, A.J.: HRT-HOOD: a structured design method for hard real-time systems. Real-Time Systems\u00a06(1), 73\u2013114 (1994)","journal-title":"Real-Time Systems"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Component-Based Software Engineering","year":"2004","unstructured":"Crnkovic, I., Stafford, J., Schmidt, H., Wallnau, K. (eds.): CBSE 2004. LNCS, vol.\u00a03054. Springer, Heidelberg (2004)"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods for Components and Objects","year":"2005","unstructured":"de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.): FMCO 2004. LNCS, vol.\u00a03657. Springer, Heidelberg (2005)"},{"key":"19_CR11","volume-title":"Model-driven Software Development","author":"J. Elmqvist","year":"2005","unstructured":"Elmqvist, J., Nadjm-Tehrani, S.: Intents and upgrades in component-based high-assurance systems. In: Model-driven Software Development. Springer, Heidelberg (2005)"},{"issue":"1","key":"19_CR12","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1145\/381766.381770","volume":"2","author":"P. Fenelon","year":"1994","unstructured":"Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. SIGAPP Applied Computing Review\u00a02(1), 21\u201332 (1994)","journal-title":"SIGAPP Applied Computing Review"},{"key":"19_CR13","volume-title":"Embedded system development with components","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Kaiser, B., Ruessner, R.H.: Specification and evaluation of safety properties in a component-based software engineering process. In: Embedded system development with components. Springer, Heidelberg (2005), (to appear)"},{"key":"19_CR14","first-page":"83","volume-title":"Proc. AMAST 1993","author":"N. Halbwachs","year":"1994","unstructured":"Halbwachs, N., Lagnier, F., Raymond, P.: Synchronous observers and the verification of reactive systems. In: Proc. AMAST 1993, pp. 83\u201396. Springer, Heidelberg (1994)"},{"doi-asserted-by":"crossref","unstructured":"Hammarberg, J., Nadjm-Tehrani, S.: Formal verification of fault tolerance in safety-critical configurable modules. International Journal of Software Tools for Technology Transfer, Online First Issue (December 14, 2004)","key":"19_CR15","DOI":"10.1007\/s10009-004-0152-y"},{"key":"19_CR16","volume-title":"Reliability Engineering and Risk Assessment","author":"E. Henley","year":"1981","unstructured":"Henley, E., Kumamoto, H.: Reliability Engineering and Risk Assessment. Prentice Hall, Englewood Cliffs (1981)"},{"doi-asserted-by":"crossref","unstructured":"Henzinger, T.A., Qadeer, S., Rajamani, S.K., Ta\u015firan, S.: An assume-guarantee rule for checking simulation. In: Proc. 2nd Int. Conf. FMCAD, pp. 421\u2013432 (1998)","key":"19_CR17","DOI":"10.1007\/3-540-49519-3_27"},{"unstructured":"Jones, C.B.: Development Methods for Computer Programs Including a Notion of Interference. PhD thesis, Oxford University (1981)","key":"19_CR18"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/978-3-540-45221-8_31","volume-title":"\u00abUML\u00bb 2003 - The Unified Modeling Language. Modeling Languages and Applications","author":"J. J\u00fcrjens","year":"2003","unstructured":"J\u00fcrjens, J.: Developing safety-critical systems with UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol.\u00a02863, pp. 360\u2013372. Springer, Heidelberg (2003)"},{"issue":"1","key":"19_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/5.259424","volume":"82","author":"J.H. Lala","year":"1994","unstructured":"Lala, J.H., Harper, R.E.: Architectural principles for safety-critical real-time applications. Proc. of the IEEE\u00a082(1), 25\u201340 (1994)","journal-title":"Proc. of the IEEE"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/ASE.2002.1115013","volume-title":"Proc. of the 17th IEEE Int. Conf. on Automated Software Engineering","author":"H.C. Li","year":"2002","unstructured":"Li, H.C., Krishnamurthi, S., Fisler, K.: Interfaces for modular feature verification. In: Proc. of the 17th IEEE Int. Conf. on Automated Software Engineering, pp. 195\u2013204. IEEE Computer Society, Los Alamitos (2002)"},{"key":"19_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: Specification","author":"Z. Manna","year":"1992","unstructured":"Manna, Z., Pnueli, A.: The temporal logic of reactive and concurrent systems: Specification. Springer, Heidelberg (1992)"},{"issue":"4","key":"19_CR23","doi-asserted-by":"publisher","first-page":"417","DOI":"10.1109\/TSE.1981.230844","volume":"7","author":"J. Misra","year":"1981","unstructured":"Misra, J., Chandy, K.M.: Proofs of networks of processes. IEEE Transactions on Software Engineering\u00a07(4), 417\u2013426 (1981)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"19_CR24","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/S0951-8320(00)00076-4","volume":"71","author":"Y. Papadopoulos","year":"2001","unstructured":"Papadopoulos, Y., McDermid, J.A., Sasse, R., Heiner, G.: Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering and System Safety\u00a071(3), 229\u2013247 (2001)","journal-title":"Reliability Engineering and System Safety"},{"unstructured":"Pumfrey, D.J.: The Principled Design of Computer System Safety Analyses. PhD thesis, Department of Computer Science, University of York (2000)","key":"19_CR25"},{"key":"19_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0951-8320(02)00042-X","volume":"78","author":"A. Rauzy","year":"2002","unstructured":"Rauzy, A.: Mode automata and their compilation into fault trees. Reliability Engineering and System Safety\u00a078, 1\u201312 (2002)","journal-title":"Reliability Engineering and System Safety"},{"key":"19_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/3-540-45449-7_27","volume-title":"Embedded Software","author":"J.A. Stankovic","year":"2001","unstructured":"Stankovic, J.A.: Vest - a toolset for constructing and analyzing component based embedded systems. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol.\u00a02211, pp. 390\u2013402. Springer, Heidelberg (2001)"},{"issue":"12","key":"19_CR28","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1109\/32.637390","volume":"23","author":"D.B. Stewart","year":"1997","unstructured":"Stewart, D.B., Volpe, R.A., Khosla, P.K.: Design of dynamically reconfigurable real-time software using port-based objects. IEEE Transactions on Software Engineering\u00a023(12), 759\u2013776 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR29","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1109\/DSN.2004.1311906","volume-title":"Proc. International Conference on Dependable Systems and Networks","author":"E.A. Strunk","year":"2004","unstructured":"Strunk, E.A., Knight, J.C.: Assured reconfiguration of embedded real-time software. In: Proc. International Conference on Dependable Systems and Networks, pp. 367\u2013376. IEEE Computer Society, Los Alamitos (2004)"},{"key":"19_CR30","volume-title":"Component Software: Beyond Object-Oriented Programming","author":"C. Szyperski","year":"2002","unstructured":"Szyperski, C.: Component Software: Beyond Object-Oriented Programming, 2nd edn. Addison-Wesley, Reading (2002)","edition":"2"},{"key":"19_CR31","volume-title":"Embedded System Development with Components","author":"A. Tesanovic","year":"2005","unstructured":"Tesanovic, A., Nadjm-Tehrani, S., Hansson, J.: Modular verification of reconfigurable components. In: Embedded System Development with Components. Springer, Heidelberg (2005), (to appear)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11563228_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:52:24Z","timestamp":1605642744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11563228_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292005","9783540320005"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11563228_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}