{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,15]],"date-time":"2024-09-15T14:25:38Z","timestamp":1726410338771},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272127"},{"type":"electronic","value":"9783642272134"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-27213-4_13","type":"book-chapter","created":{"date-parts":[[2012,1,11]],"date-time":"2012-01-11T19:55:51Z","timestamp":1326311751000},"page":"193-204","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Security and Dependability Pattern Development Technique for Resource Constrained Embedded Systems"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Desnos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brahim","family":"Hamid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Percebois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Damien","family":"Gouteux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Serenity, system engineering for security & dependability (2006), \n                    \n                      http:\/\/www.serenity-project.org","key":"13_CR1"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"482","DOI":"10.1007\/3-540-40011-7_35","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Guennec Le","year":"2000","unstructured":"Le Guennec, A., Suny\u00e9, G., J\u00e9z\u00e9quel, J.-M.: Precise Modeling of Design Patterns. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 482\u2013496. Springer, Heidelberg (2000)"},{"key":"13_CR3","series-title":"Center for Environmental Structure Series","volume-title":"A Pattern Language","author":"C. Alexander","year":"1977","unstructured":"Alexander, C., Ishikawa, S., Silverstein, M.: A Pattern Language. Center for Environmental Structure Series, vol.\u00a02. Oxford University Press, New York (1977)"},{"key":"13_CR4","doi-asserted-by":"crossref","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, 11\u201333 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"5","key":"13_CR5","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/52.714622","volume":"15","author":"A.W. Brown","year":"1998","unstructured":"Brown, A.W., Wallnau, K.C.: The current state of CBSE. IEEE Software\u00a015(5), 37\u201346 (1998)","journal-title":"IEEE Software"},{"unstructured":"Ghosh, S., Kim, D.-K., France, R., Song, E.: A uml-based metamodeling language to specify design patterns. In: Patterns, Proc. Workshop Software Model Eng. (WiSME) with Unified Modeling Language Conf. 2004 (2004)","key":"13_CR6"},{"unstructured":"Grundy, J., Mapelsden, D., Hosking, J.: Design pattern modelling and instantiation using dpml. In: CRPIT 2002: Proceedings of the Fortieth International Conference on Tools Pacific, pp. 3\u201311. Australian Computer Society, Inc. (2002)","key":"13_CR7"},{"unstructured":"Daniels, F.: The reliable hybrid pattern: A generalized software fault tolerant design pattern. In: PLOP 1997 (1997)","key":"13_CR8"},{"unstructured":"Douglass, B.P.: Real-time UML: Developing Efficient Objects for Embedded Systems. Addison-Wesley (1998)","key":"13_CR9"},{"key":"13_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/978-3-540-87730-1_37","volume-title":"Diagrammatic Representation and Inference","author":"E. Gasparis","year":"2008","unstructured":"Gasparis, E., Nicholson, J., Eden, A.H.: LePUS3: An Object-Oriented Design Description Language. In: Stapleton, G., Howse, J., Lee, J. (eds.) Diagrams 2008. LNCS (LNAI), vol.\u00a05223, pp. 364\u2013367. Springer, Heidelberg (2008)"},{"unstructured":"Gamma, E., Helm, R., Johnson, R.E., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley (1995)","key":"13_CR11"},{"doi-asserted-by":"crossref","unstructured":"Di Giacomo, V., et al.: Using security and dependability patterns for reaction processes, pp. 315\u2013319. IEEE Computer Society (2008)","key":"13_CR12","DOI":"10.1109\/DEXA.2008.102"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"3727","DOI":"10.1098\/rsta.2008.0141","volume":"366","author":"T.A. Henzinger","year":"2008","unstructured":"Henzinger, T.A.: Two challenges in embedded systems design: Predictability and robustness. Philosophical Transactions of the Royal Society A\u00a0366, 3727\u20133736 (2008)","journal-title":"Philosophical Transactions of the Royal Society A"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"412","DOI":"10.1007\/3-540-45800-X_32","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"J. J\u00fcrjens","year":"2002","unstructured":"J\u00fcrjens, J.: Umlsec: Extending uml for Secure Systems Development. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 412\u2013425. Springer, Heidelberg (2002)"},{"doi-asserted-by":"crossref","unstructured":"Kopetz, H.: The complexity challenge in embedded system design. In: ISORC, pp. 3\u201312 (2008)","key":"13_CR15","DOI":"10.1109\/ISORC.2008.14"},{"key":"13_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"426","DOI":"10.1007\/3-540-45800-X_33","volume-title":"\u00abUML\u00bb 2002 - The Unified Modeling Language. Model Engineering, Concepts, and Tools","author":"T. Lodderstedt","year":"2002","unstructured":"Lodderstedt, T., Basin, D.A., Doser, J.: SecureUML: A UML-Based Modeling Language for Model-Driven Security. In: J\u00e9z\u00e9quel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol.\u00a02460, pp. 426\u2013441. Springer, Heidelberg (2002)"},{"unstructured":"OMG. A uml profile for marte: Modeling and analysis of real-time embedded systems,beta 2 (June 2008), \n                    \n                      http:\/\/www.omgmarte.org\/Documents\/Specifications\/08-06-09.pdf","key":"13_CR17"},{"issue":"3","key":"13_CR18","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1145\/1015047.1015049","volume":"3","author":"S. Ravi","year":"2004","unstructured":"Ravi, S., Raghunathan, A., Kocher, P., Hattangady, S.: Security in embedded systems: Design challenges. ACM Trans. Embed. Comput. Syst.\u00a03(3), 461\u2013491 (2004)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"13_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b11930","volume-title":"Security Engineering with Patterns","author":"M. Schumacher","year":"2003","unstructured":"Schumacher, M.: Security Engineering with Patterns. LNCS, vol.\u00a02754. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Serrano, D., Mana, A., Sotirious, A.-D.: Towards precise and certified security patterns. In: Proceedings of 2nd International Workshop on Secure Systems Methodologies Using Patterns (Spattern 2008), pp. 287\u2013291. IEEE Computer Society (September 2008)","key":"13_CR20","DOI":"10.1109\/DEXA.2008.36"},{"doi-asserted-by":"crossref","unstructured":"Tichy, M., et al.: Design of self-managing dependable systems with uml and fault tolerance patterns. In: WOSS 2004: Proceedings of the 1st ACM SIGSOFT Workshop on Self-Managed Systems, pp. 105\u2013109. ACM (2004)","key":"13_CR21","DOI":"10.1145\/1075405.1075426"},{"unstructured":"Yoder, J., Barcalow, J.: Architectural patterns for enabling application security. In: Conference on Pattern Languages of Programs, PLoP 1997 (1998)","key":"13_CR22"},{"doi-asserted-by":"crossref","unstructured":"Yoshioka, N., Washizaki, H., Maruyama, K.: A survey of security patterns. Progress in Informatics, 35\u201347 (2008)","key":"13_CR23","DOI":"10.2201\/NiiPi.2008.5.5"},{"doi-asserted-by":"crossref","unstructured":"Zurawski, R.: Embedded systems. In: Embedded Systems Handbook. CRC Press Inc. (2005)","key":"13_CR24","DOI":"10.1201\/9781420038163"}],"container-title":["Lecture Notes in Business Information Processing","Software Quality. Process Automation in Software Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27213-4_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,24]],"date-time":"2019-04-24T12:03:42Z","timestamp":1556107422000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27213-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642272127","9783642272134"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27213-4_13","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2012]]}}}