{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:50:52Z","timestamp":1725490252924},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540740339"},{"type":"electronic","value":"9783540740353"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74035-3_3","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T11:46:17Z","timestamp":1188301577000},"page":"39-65","source":"Crossref","is-referenced-by-count":8,"title":["Towards Improving Dependability of Automotive Systems by Using the EAST-ADL Architecture Description Language"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Cuenot","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"DeJiu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e9bastien","family":"G\u00e9rard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark-Oliver","family":"Reiser","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Servat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramin Tavakoli","family":"Kolagari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Akerlund, O., Bieber, P., Boede, E., Bozzano, M., Bretschneider, M., Castel, C., Cavallo, A., Cifaldi, M., Gauthier, J., Griffault, A., Lisagor, O., L\u00fcdtke, A., Metge, S., Papadopoulos, C., Peikenkamp, T., Sagaspe, L., Seguin, C., Trivedi, H., Valacca, L.: ISAAC, a framework for integrated safety analysis of functional, geometrical and human aspects. Embedded Real Time Software, Toulouse (2006)"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A. Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing\u00a01(1), 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","first-page":"302","volume-title":"Computer Safety, Reliability, and Security","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A.: Improving System Reliability via Model Checking: The FSAP\/NUSMV\u2212SA Safety Analysis Platform. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol.\u00a02788, pp. 302\u20139743. Springer, Heidelberg (2003)"},{"key":"3_CR4","unstructured":"Bozzano, M., Villafiorita, A., \u00c5kerlund, O., Bieber, P., Bougnol, C., B\u00f6de, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., L\u00fcdtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: ESACS: an integrated methodology for design and safety analysis of complex systems. ESREL, Maastricht (2003)"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Chudleigh, M.F., Catmur, J.R., Redmill, F.: A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. In: SAFECOMP 1995, Belgirate, Italy, pp. 42\u201358 (1995)","DOI":"10.1007\/978-1-4471-3054-3_4"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Clarke, S.J., McDermid, J.: Software Fault Trees and Weakest Preconditions: A Comparison and Analysis. Journal of Software Engineering (1993)","DOI":"10.1049\/sej.1993.0028"},{"key":"3_CR7","series-title":"The SEI Series in Software Engineering","volume-title":"Software Product Lines: Practices and Patterns","author":"P. Clements","year":"2002","unstructured":"Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. The SEI Series in Software Engineering. Addison-Wesley, Boston (2002)"},{"key":"3_CR8","unstructured":"EASIS (Electronic Architecture and System Engineering for Integrated Safety Systems), URL: http:\/\/www.easis.org"},{"key":"3_CR9","unstructured":"Espinoza, H., Medina, J., Dubois, H., G\u00e9rard, S., Terrier, F.: Towards a UML-Based Modelling Standard for Schedulability Analysis of Real-Time Systems. MARTES Workshop at MODELS Conference (2006), available at http:\/\/wo.uio.no\/as\/WebObjects\/theses.woa\/wa\/these?WORKID=45427"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/11663430_9","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"H. Espinoza","year":"2006","unstructured":"Espinoza, H., Dubois, H., G\u00e9rard, S., Medina, J., Petriu, D.C., Woodside, C.M.: Annotating UML Models with Non-functional Properties for Quantitative Analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, pp. 79\u201390. Springer, Heidelberg (2006)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Fenelon, P., McDermid, J.A., Nicolson, M., Pumfrey, D.J.: Towards integrated safety analysis and design. ACM SIGAPP Applied Computing Review\u00a02(1) (1994)","DOI":"10.1145\/381766.381770"},{"key":"3_CR12","unstructured":"Gerard, S., Espinoza, H.: Rationale of the UML profile for Marte. Chapter of the book: From MDD Concepts to Experiments and Illustrations, pp. 43\u201352 (2006)"},{"key":"3_CR13","volume-title":"DIPES 2000","author":"S. G\u00e9rard","year":"2000","unstructured":"G\u00e9rard, S., et al.: Efficient System Modeling of Complex Real-time Industrial Networks Using The ACCORD\/UML Methodology. In: DIPES 2000. Architecture and Design of Distributed Embedded Systems, Paderborn University, Germany, Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Gorski, J., Wardzinski, A.: Deriving real-time requirements for software from safety analysis. In: Proceedings of the Eighth Euromicro Workshop on Real-Time Systems, pp. 9\u201314 (1996)","DOI":"10.1109\/EMWRTS.1996.557782"},{"issue":"7","key":"3_CR15","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1109\/32.708570","volume":"24","author":"K.M. Hansen","year":"1998","unstructured":"Hansen, K.M., Ravn, A., Stavridou, P.V.: From safety analysis to software requirements. IEEE Transactions on Software Engineering\u00a024(7), 573\u2013584 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR16","unstructured":"ISO TC22 SC3 WG16 preliminary results for introduction of future Automotive standard ISO 26262 \u201dRoad vehicle - Functional Safety\u201d (planned for 2008)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature Oriented Domain Analysis (FODA) \u2013 Feasibility Study. Technical Report, CMU\/SEI-90-TR-21 (1990)","DOI":"10.21236\/ADA235785"},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1023\/A:1018980625587","volume":"5","author":"K.C. Kang","year":"1998","unstructured":"Kang, K.C., Kim, S., Lee, J., Shin, E., Huh, M.: FORM: A Feature-Oriented Reuse Method with Domain-Specific Reference Architectures. Annals of Software Engineering\u00a05, 143\u2013168 (1998)","journal-title":"Annals of Software Engineering"},{"key":"3_CR19","unstructured":"Kehren, C., Seguin, C., Bieber, P., Castel, C., Bougnol, C., Heckmann, J.-P., Metge, S.: Advanced Multi-System Simulation Capabilities with AltaRica. In: 22nd Int. System Safety Conf. System Safety Society (2004)"},{"key":"3_CR20","volume-title":"and HAZAN: Identifying and assessing process industry standards","author":"T. Kletz","year":"1992","unstructured":"Kletz, T., HAZOP,: and HAZAN: Identifying and assessing process industry standards, 3rd edn. Hemisphere, Washington, DC (1992)","edition":"3"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45732-1_10","volume-title":"Computer Safety, Reliability and Security","author":"K. Lano","year":"2002","unstructured":"Lano, K., Clark, D., Androutsopoulos, K.: Safety and Security Analysis of Object-Oriented Models. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.\u00a02434, Springer, Heidelberg (2002)"},{"key":"3_CR22","volume-title":"Safeware: System safety and computers","author":"N.G. Leveson","year":"1995","unstructured":"Leveson, N.G.: Safeware: System safety and computers. Addison-Wesley Publishing Company, Reading (1995)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Leveson, N.G., Cha, S.S., Shimeall, T.J.: Safety Verification of Ada Programs Using Software Fault Trees. IEEE Software, 48\u201359 (1991)","DOI":"10.1109\/52.300036"},{"key":"3_CR24","unstructured":"Lutz, R.R., Shaw, H.-Y.: Applying Adaptive Safety Analysis Techniques. In: Proceedings of the 10th International Symposium on Software Reliability Engineering, Boca Raton, FL (1999)"},{"key":"3_CR25","unstructured":"Object Management Group, UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, realtime\/05-02-06 (2005)"},{"key":"3_CR26","unstructured":"Object Management Group, UML Profile for Schedulability, Performance, and Time, Version 1.1. formal\/05-01-02 (2005)"},{"key":"3_CR27","unstructured":"Object Management Group, Systems Modeling Language (SysML) Specification, ptc\/06-05-04 (2006)"},{"key":"3_CR28","volume-title":"Failure Modes and Effects Analysis","author":"P. Palady","year":"1995","unstructured":"Palady, P.: Failure Modes and Effects Analysis. PT Publications, West Palm Beach, FL (1995)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1007\/3-540-48249-0_13","volume-title":"Computer Safety, Reliability and Security","author":"Y. Papadopoulos","year":"1999","unstructured":"Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol.\u00a01698, pp. 139\u2013152. Springer, Heidelberg (1999)"},{"key":"3_CR30","unstructured":"ProMarte consortium, Joint UML Profile for MARTE Initial Submission, realtime\/05-11-01 (November 2005), available at http:\/\/www.omg.org\/cgi-bin\/doc?realtime\/05-11-01"},{"key":"3_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/11554844_4","volume-title":"Software Product Lines","author":"M.-O. Reiser","year":"2005","unstructured":"Reiser, M.-O., Weber, M.: Using Product Sets to Define Complex Product Decisions. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 21\u201332. Springer, Heidelberg (2005)"},{"key":"3_CR32","first-page":"146","volume-title":"Proceedings of the 14th IEEE International Requirements Engineering Conference, RE","author":"M.-O. Reiser","year":"2006","unstructured":"Reiser, M.-O., Weber, M.: Managing highly complex product families with multi-level feature trees. In: Proceedings of the 14th IEEE International Requirements Engineering Conference, RE, pp. 146\u2013155. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"2","key":"3_CR33","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0951-8320(94)90065-5","volume":"43","author":"J. Rushby","year":"1994","unstructured":"Rushby, J.: Critical system properties: Survey and taxonomy. Reliability Engineering and System Safety\u00a043(2), 189\u2013214 (1994)","journal-title":"Reliability Engineering and System Safety"},{"key":"3_CR34","unstructured":"ARP-4761, S.A.E.: Aerospace recommended practice: guidelines and methods for conducting the safety assessment process on civil airborne systems and equipment. 12th edn. SAE, 400 Commonwealth Drive Warrendale PA United States (1996)"},{"key":"3_CR35","volume-title":"Safety-Critical Computer Systems","author":"N. Storey","year":"1996","unstructured":"Storey, N.: Safety-Critical Computer Systems. Addison-Wesley, Reading (1996)"},{"key":"3_CR36","first-page":"232","volume-title":"Proc. of the 29th Annual IEEE International Symposium on Fault-Tolerant Computing","author":"K.J. Sullivan","year":"1999","unstructured":"Sullivan, K.J., Dugan, J.B., Coppit, D.: The Galileo fault tree analysis tool. In: Proc. of the 29th Annual IEEE International Symposium on Fault-Tolerant Computing, pp. 232\u2013235. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"3_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/11554844_24","volume-title":"Software Product Lines","author":"P. Tessier","year":"2005","unstructured":"Tessier, P., G\u00e9rard, S., Terrier, F., Geib, J.-M.: Using variation propagation for Model-Driven Management of a System Family. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 222\u2013233. Springer, Heidelberg (2005)"},{"key":"3_CR38","unstructured":"Vesely, W.E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC, Washington, DC (1981)"}],"container-title":["Lecture Notes in Computer Science","Architecting Dependable Systems IV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74035-3_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T13:14:18Z","timestamp":1556802858000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74035-3_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540740339","9783540740353"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74035-3_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}