{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:29:03Z","timestamp":1750307343359,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,21]]},"DOI":"10.1145\/1987875.1987886","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"53-62","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Model based analysis process for embedded software product lines"],"prefix":"10.1145","author":[{"given":"Lorea","family":"Belategi","sequence":"first","affiliation":[{"name":"Mondragon Unibertsitatea, Arrasate-Mondragon, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Goiuria","family":"Sagardui","sequence":"additional","affiliation":[{"name":"Mondragon Unibertsitatea, Arrasate-Mondragon, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leire","family":"Etxeberria","sequence":"additional","affiliation":[{"name":"Mondragon Unibertsitatea, Arrasate-Mondragon, Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. formal\/2009-11-02.  UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems. formal\/2009-11-02."},{"volume-title":"4th European Congress Embedded Real Time Software - ERTS'08","author":"Albinet A.","key":"e_1_3_2_1_2_1","unstructured":"Albinet , A. , Begoc , S. , Boulanger , J. , Casse , O. , Dal , I. , Dubois , H. , Lakhal , F. , Louar , D. , Peraldi-Frati , M. , Sorel , Y. and Van , Q . 2008. The MeMVaTEx methodology: From Requirements to Models in Automotive Application Design . In 4th European Congress Embedded Real Time Software - ERTS'08 , Toulouse, France, January 29 - February 1. Albinet, A., Begoc, S., Boulanger, J., Casse, O., Dal, I., Dubois, H., Lakhal, F., Louar, D., Peraldi-Frati, M., Sorel, Y. and Van, Q. 2008. The MeMVaTEx methodology: From Requirements to Models in Automotive Application Design. In 4th European Congress Embedded Real Time Software - ERTS'08, Toulouse, France, January 29 - February 1."},{"volume-title":"Software Product Line Engineering. In ECMDA Traceability Workshop Proceedings, June, SINTEF, Norway, 77--86","author":"Anquetil N.","key":"e_1_3_2_1_3_1","unstructured":"Anquetil , N. , Grammel , B. , Silva , I. G. L. D. , Noppen , J. A. R. , Khan , S. S. , Arboleda , H. , Rashid , A. and Garcia , A . 2008. Traceability for Model Driven , Software Product Line Engineering. In ECMDA Traceability Workshop Proceedings, June, SINTEF, Norway, 77--86 . Anquetil, N., Grammel, B., Silva, I. G. L. D., Noppen, J. A. R., Khan, S. S., Arboleda, H., Rashid, A. and Garcia, A. 2008. Traceability for Model Driven, Software Product Line Engineering. In ECMDA Traceability Workshop Proceedings, June, SINTEF, Norway, 77--86."},{"key":"e_1_3_2_1_4_1","volume-title":"14th International Software Product Line Conference 2010 (SPLC","author":"Belategi L.","year":"2010","unstructured":"Belategi , L. , Sagardui , G. and Etxeberria , L . 2010. MARTE Mechanisms to Model Variability when Analyzing Embedded Software Product Lines . In 14th International Software Product Line Conference 2010 (SPLC 2010 ), Jeju Island, South Korea , 13-17 September. Belategi, L., Sagardui, G. and Etxeberria, L. 2010. MARTE Mechanisms to Model Variability when Analyzing Embedded Software Product Lines. In 14th International Software Product Line Conference 2010 (SPLC 2010), Jeju Island, South Korea, 13-17 September."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/VALID.2010.16"},{"key":"e_1_3_2_1_6_1","volume-title":"Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models.","author":"Czarnecki K.","year":"1998","unstructured":"Czarnecki , K. 1998 . Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models. Czarnecki, K. 1998. Generative Programming: Principles and Techniques of Software Engineering Based on Automated Configuration and Fragment-Based Component Models."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1002\/spip.225"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Deelstra S. and Sinnema M. 2008. Managing the Complexity of Variability in Software Product Families. Thesis.  Deelstra S. and Sinnema M. 2008. Managing the Complexity of Variability in Software Product Families. Thesis.","DOI":"10.1016\/j.infsof.2008.04.002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.36"},{"key":"e_1_3_2_1_10_1","unstructured":"Dziobek C. Loew J. Przystas W. and Weiland J. 2008. Model Diversity and Variability - Handling functional variants in Simulink models. Elektronik automotive 2.  Dziobek C. Loew J. Przystas W. and Weiland J. 2008. Model Diversity and Variability - Handling functional variants in Simulink models. Elektronik automotive 2."},{"key":"e_1_3_2_1_11_1","unstructured":"Espinoza H. 2007. An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems. DRT\/LIST\/DTSI\/SOL\/07-265\/HE Thesis.  Espinoza H. 2007. An Integrated Model-Driven Framework for Specifying and Analyzing Non-Functional Properties of Real-Time Systems. DRT\/LIST\/DTSI\/SOL\/07-265\/HE Thesis."},{"volume-title":"Modelling Variation in Quality Attributes. In First International Workshop on Variability of Software-Intensive, K. Pohl, P. Heymans, K. Kang and A. Metzger, Eds. Lero.","author":"Etxeberria L.","key":"e_1_3_2_1_12_1","unstructured":"Etxeberria , L. , Sagardui , G. and Belategi , L . 2007 . Modelling Variation in Quality Attributes. In First International Workshop on Variability of Software-Intensive, K. Pohl, P. Heymans, K. Kang and A. Metzger, Eds. Lero. Etxeberria, L., Sagardui, G. and Belategi, L. 2007. Modelling Variation in Quality Attributes. In First International Workshop on Variability of Software-Intensive, K. Pohl, P. Heymans, K. Kang and A. Metzger, Eds. Lero."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.37"},{"volume-title":"Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures","author":"Gomaa H.","key":"e_1_3_2_1_14_1","unstructured":"Gomaa , H. 2004. Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures . Addison Wesley Longman Publishing Co., Inc , Redwood City, CA, USA . Gomaa, H. 2004. Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison Wesley Longman Publishing Co., Inc, Redwood City, CA, USA."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.25"},{"key":"e_1_3_2_1_16_1","unstructured":"IEEE Standard 1061-1992. IEEE standard for a software quality metrics.  IEEE Standard 1061-1992. IEEE standard for a software quality metrics."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Kang K. Cohen S. Hess J. Novak W. and Peterson S. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study.  Kang K. Cohen S. Hess J. Novak W. and Peterson S. 1990. Feature-Oriented Domain Analysis (FODA) Feasibility Study.","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11334-008-0053-4"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2008.14"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Liehr A. W. Rolfs H. S. Buchenrieder K. and Nageldinger U. 2008. Generating MARTE Allocation Models from Activity Threads. In FDL Stuttgart Germany September 23-25 IEEE 215--220.  Liehr A. W. Rolfs H. S. Buchenrieder K. and Nageldinger U. 2008. Generating MARTE Allocation Models from Activity Threads. In FDL Stuttgart Germany September 23-25 IEEE 215--220.","DOI":"10.1109\/FDL.2008.4641448"},{"volume-title":"Software Product Line Engineering: Foundations, Principles and Techniques","author":"Pohl K.","key":"e_1_3_2_1_21_1","unstructured":"Pohl , K. , B\u00f6ckle , G. and Van Der Linden , F.J. 2005. Software Product Line Engineering: Foundations, Principles and Techniques . Springer . Pohl, K., B\u00f6ckle, G. and Van Der Linden, F.J. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Pree W. Fontoura M. and Rumpe B. 2002. Product Line Annotations with UML-F. In SPLC 2: Proceedings of the Second International Conference on Software Product Lines Springer-Verlag London UK 188--197.   Pree W. Fontoura M. and Rumpe B. 2002. Product Line Annotations with UML-F. In SPLC 2: Proceedings of the Second International Conference on Software Product Lines Springer-Verlag London UK 188--197.","DOI":"10.1007\/3-540-45652-X_12"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04425-0_55"},{"key":"e_1_3_2_1_24_1","volume-title":"Version 5.0.","author":"SEI (Software Engineering Institute","year":"2008","unstructured":"SEI (Software Engineering Institute ). A Framework for Software Product Line Practice , Version 5.0. 2008 . SEI (Software Engineering Institute). A Framework for Software Product Line Practice, Version 5.0. 2008."},{"volume-title":"Software Architecture Glossary","key":"e_1_3_2_1_25_1","unstructured":"SEI. 2007. Software Architecture Glossary , Software Engineering Institute , Carnegie Mellon . SEI. 2007. Software Architecture Glossary, Software Engineering Institute, Carnegie Mellon."},{"key":"e_1_3_2_1_26_1","unstructured":"Shi J. 2007. Model and Tool Integration in High Level Design of Embedded Systems. iv 63 Thesis.  Shi J. 2007. Model and Tool Integration in High Level Design of Embedded Systems. iv 63 Thesis."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.08.001"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_35"},{"key":"e_1_3_2_1_29_1","unstructured":"Utting M. and Legeard B. 2006. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann.   Utting M. and Legeard B. 2006. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Zha X. F. Fenves S. J. and Sriram R. D. 2005. A Featurebased Approach to Embedded System Hardware and Software Co-Design. In ASME DETC.  Zha X. F. Fenves S. J. and Sriram R. D. 2005. A Featurebased Approach to Embedded System Hardware and Software Co-Design. In ASME DETC.","DOI":"10.1115\/DETC2005-85582"},{"volume-title":"Proceedings of the Fifth Internationl Workshop on Product Familly Engineering (PFE-5); LNCS, Springer Verlag, 129--139","author":"Ziadi T.","key":"e_1_3_2_1_31_1","unstructured":"Ziadi , T. , H\u00e9lou\u00ebt , L. and J\u00e9z\u00e9quel , J . 2003. Towards a UML Profile for Software Product Lines . In Proceedings of the Fifth Internationl Workshop on Product Familly Engineering (PFE-5); LNCS, Springer Verlag, 129--139 . Ziadi, T., H\u00e9lou\u00ebt, L. and J\u00e9z\u00e9quel, J. 2003. Towards a UML Profile for Software Product Lines. In Proceedings of the Fifth Internationl Workshop on Product Familly Engineering (PFE-5); LNCS, Springer Verlag, 129--139."}],"event":{"name":"ICSSP '11: International Conference on Software and Systems Process","acronym":"ICSSP '11","location":"Waikiki, Honolulu HI USA"},"container-title":["Proceedings of the 2011 International Conference on Software and Systems Process"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1987875.1987886","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1987875.1987886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:06:24Z","timestamp":1750244784000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1987875.1987886"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":31,"alternative-id":["10.1145\/1987875.1987886","10.1145\/1987875"],"URL":"https:\/\/doi.org\/10.1145\/1987875.1987886","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}