{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,15]],"date-time":"2024-06-15T17:51:56Z","timestamp":1718473916947},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"8","license":[{"start":{"date-parts":[[2013,3,20]],"date-time":"2013-03-20T00:00:00Z","timestamp":1363737600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1007\/s00607-013-0314-4","type":"journal-article","created":{"date-parts":[[2013,3,19]],"date-time":"2013-03-19T07:07:07Z","timestamp":1363676827000},"page":"649-688","source":"Crossref","is-referenced-by-count":16,"title":["An architectural approach to the analysis, verification and validation of software intensive embedded systems"],"prefix":"10.1007","volume":"95","author":[{"given":"DeJiu","family":"Chen","sequence":"first","affiliation":[]},{"given":"Lei","family":"Feng","sequence":"additional","affiliation":[]},{"given":"Tahir Naseer","family":"Qureshi","sequence":"additional","affiliation":[]},{"given":"Henrik","family":"L\u00f6nn","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Hagl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,3,20]]},"reference":[{"key":"314_CR1","unstructured":"Cuenot P, Chen D, G\u00e9rard S, L\u00f6nn H, Reiser O, Servat D, Kolagari RT, T\u00f6rngren M, Weber M (2007) Towards improving dependability by using an architecture description language. Lecture Notes in Computer Science, vol 4615. Architecting dependable systems (ADS) IV: programming and software engineering. Springer, Berlin, pp 39\u201365"},{"key":"314_CR2","unstructured":"ISO International Organization for Standardization: ISO\/DIS 26262 (2011)"},{"key":"314_CR3","unstructured":"AUTomotive Open System ARchitecture (AUTOSAR) (2012). http:\/\/www.autosar.org"},{"key":"314_CR4","unstructured":"EAST-ADL domain model specification, Version M.2.1.9 2011\u201301-30 (2011). http:\/\/www.maenad.eu\/public\/EAST-ADL-Specification"},{"key":"314_CR5","unstructured":"SysML (Systems Modeling Language), Object Management Group, OMG (2012). http:\/\/omgsysml.org"},{"key":"314_CR6","unstructured":"UML (Unified Modeling Language), Object Management Group, OMG (2012). http:\/\/www.uml.org"},{"key":"314_CR7","doi-asserted-by":"crossref","unstructured":"Chen D, Johansson R, L\u00f6nn H, Blom H, Walker M, Papadopoulos Y, Torchiaro S, Tagliabo F, Sandberg A (2011) Integrated safety and architecture modeling for automotive embedded systems. e &i, elektrotechnik und informationstechnik, vol 128, no. 6, Automotive Embedded Systems. Springer, Wien","DOI":"10.1007\/s00502-011-0007-7"},{"key":"314_CR8","unstructured":"Sandberg A, Chen D, L\u00f6nn H, Johansson R, Feng L, T\u00f6rngren M, Torchiaro S, Kolagari RT, Abele A (2011) Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2. Lecture Notes in Computer Science, vol 6351. Computer Safety, Reliability, and Security (SAFECOMP). Springer, Berlin , pp 332\u2013346"},{"issue":"4","key":"314_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1145\/2185395.2185444","volume":"39","author":"N Mahmud","year":"2012","unstructured":"Mahmud N, Walker M, Papadopoulos Y (2012) Compositional synthesis of temporal fault trees from state machines. ACM SIGMETRICS Perform Eval Rev 39(4):79\u201388","journal-title":"ACM SIGMETRICS Perform Eval Rev"},{"key":"314_CR10","unstructured":"Anthony R, Chen D, Pelc M, Persson M, T\u00f6rngren M (2009) Context-aware adaptation in DySCAS. Electronic communications of the EASST, vol 19: Context-aware adaptation mechanism for pervasive and ubiquitous services (CAMPUS) 2009. European Association of Software Science and Technology (EASST)"},{"key":"314_CR11","volume-title":"The SPIN model checker: primer and reference manual","author":"GJ Holzmann","year":"2003","unstructured":"Holzmann GJ (2003) The SPIN model checker: primer and reference manual. Addison Wesley, Boston"},{"key":"314_CR12","unstructured":"SPIN Website (2012). http:\/\/spinroot.com"},{"key":"314_CR13","unstructured":"The Motor Industry Software Reliability Association (2004) MISRA-C:2004 Guidelines for the Use of The C Language in Critical Systems. MIRA Limited"},{"issue":"3","key":"314_CR14","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/S0005-1098(98)00193-9","volume":"35","author":"J Lygeros","year":"1999","unstructured":"Lygeros J, Tomlin C, Sastry S (1999) Controllers for reachability specifications for hybrid systems. Automatica 35(3):349\u2013370","journal-title":"Automatica"},{"key":"314_CR15","doi-asserted-by":"crossref","unstructured":"Feng L, Chen D, L\u00f6nn H, T\u00f6rngren M (2010) Verifying system behaviors in EAST-ADL2 with the SPIN model checker. In: IEEE international conference on mechatronics and automation. Xi\u2019an, China, August 4\u20137","DOI":"10.1109\/ICMA.2010.5588261"},{"key":"314_CR16","doi-asserted-by":"crossref","unstructured":"Qureshi TN, Chen D, L\u00f6nn H, T\u00f6rngren M (2011) From EAST-ADL to AUTOSAR software architecture: a mapping scheme. In: Proceedings of the 5th European conference on software architecture, 13\u201316 September, 2011, Essen, Germany","DOI":"10.1007\/978-3-642-23798-0_35"},{"key":"314_CR17","unstructured":"Qureshi TN (2012) Enhancing model-based devolopment of embedded systems: architecture centric modeling, simulation and model-transformation in an automotive context. PhD Thesis, KTH Royal Institute of Technology, Stockholm, Sweden"},{"issue":"4","key":"314_CR18","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/1755951.1755907","volume":"45","author":"M Biehl","year":"2010","unstructured":"Biehl M, Chen D, T\u00f6rngren M (2010) Integrating safety analysis into the model-based development toolchain of automotive embedded systems. ACM Sigplan Not 45(4):125\u2013131","journal-title":"ACM Sigplan Not"},{"key":"314_CR19","unstructured":"Sj\u00f6stedt C-J, Shi J, T\u00f6rngren M, Servat D, Chen D, Ahlsten V, L\u00f6nn H (2008) Mapping simulink to UML in the design of embedded systems: investigating scenarios and structural and behavioral mapping. In: OMER 4 post workshop proceedings, April 2008"},{"key":"314_CR20","unstructured":"SPEEDS (Speculative and Exploratory Design in Systems Engineering) project EU FP6 (2012). http:\/\/www.speeds.eu.com"},{"key":"314_CR21","doi-asserted-by":"crossref","unstructured":"Armengaud E, Zoier M, Baumgart A, Biehl M, Chen D, Griessnig G, Hein C, Ritter T, Kolagari RT (2011) Model-based toolchain for the efficient development of safety-relevant automotive embedded systems. In: SAE 2011 World Congress, April 2011, Detroit, USA","DOI":"10.4271\/2011-01-0056"},{"key":"314_CR22","unstructured":"TIMMO(TIMing Model) project, ITEA2 (2012). http:\/\/www.timmo.org"},{"issue":"1","key":"314_CR23","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/j.jss.2004.06.027","volume":"76","author":"Y Papadopoulos","year":"2005","unstructured":"Papadopoulos Y, Grante C (2005) Evolving car designs using model-based automated safety analysis and optimisation techniques. J Syst Softw 76(1):77\u201389","journal-title":"J Syst Softw"},{"key":"314_CR24","unstructured":"Herbstritt M, Wimmer R, Peikenkamp T, B\u00f6de E, Adelaide M, Johr S, Hermanns H, Becker B (2006) Analysis of large safety-critical systems: a quantitative approach. REPORTS of SFB\/TR 14, AVACS, automatic verification and analysis of, complex systems"},{"key":"314_CR25","unstructured":"Bozzano M, Villafiorita A, et al (2003) ESACS: an integrated methodology for design and safety analysis of complex systems. In: ESREL European safety and reliability conference, Balkema, pp 237\u2013245"},{"key":"314_CR26","doi-asserted-by":"crossref","first-page":"109","DOI":"10.3233\/FI-1999-402302","volume":"40","author":"A Arnold","year":"2000","unstructured":"Arnold A, Griffault A, Point G, Rauzy A (2000) The Altarica formalism for describing concurrent systems. Fundamenta Informaticae 40:109\u2013124","journal-title":"Fundamenta Informaticae"},{"key":"314_CR27","unstructured":"MARTE (Modeling and Analysis of Real-time and Embedded systems), Object Management Group, OMG (2012). http:\/\/omgmarte.org"},{"key":"314_CR28","unstructured":"AADL (Architecture Analysis and Design Language), SAE standard (2012). http:\/\/www.aadl.info\/aadl\/currentsite"},{"key":"314_CR29","unstructured":"Darwin (An Architectural Description Language) (2012). http:\/\/www-dse.doc.ic.ac.uk\/Software\/Darwin"},{"key":"314_CR30","unstructured":"Giannakopoulou D (1999) Model checking for concurrent software architectures. PhD Thesis, Imperial College of London, London, UK"},{"key":"314_CR31","first-page":"44","volume":"2804","author":"J Kramer","year":"2003","unstructured":"Kramer J, Magee J, Uchitel S (2003) Software architecture modeling and analysis: a rigorous approach, formal methods for software architectures. LNCS 2804:44\u201351","journal-title":"LNCS"},{"key":"314_CR32","doi-asserted-by":"crossref","unstructured":"Magee J, Kramer J, Giannakopoulou D (1999) Behaviour analysis of software architectures. In: Donohoe P (ed) Software architecture. Kluwer Academic Publisher, Dordrecht, pp 35\u201349","DOI":"10.1007\/978-0-387-35563-4_3"},{"key":"314_CR33","unstructured":"CHARMY (Checking ARchitectural Model consistencY) (2012). http:\/\/www.di.univaq.it\/charmy\/"},{"issue":"3","key":"314_CR34","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1109\/TSE.2008.104","volume":"35","author":"P Pelliccione","year":"2009","unstructured":"Pelliccione P, Inverardi P, Muccini H (2009) CHARMY: a framework for designing and verifying architectural specifications. IEEE Trans Softw Eng 35(3):325\u2013346","journal-title":"IEEE Trans Softw Eng"},{"key":"314_CR35","doi-asserted-by":"crossref","unstructured":"Inverardi P, Muccini H, Pelliccione P (2001) Automated check of architectural models consistency using SPIN. In: Proceedings of the 16th IEEE international conference on, automated software engineering, pp 346\u2013349","DOI":"10.1109\/ASE.2001.989826"},{"key":"314_CR36","doi-asserted-by":"crossref","unstructured":"He X, Ding J, Deng Y (2002) Model checking software architecture specifications in SAM. In: Proceedings of the 14th international conference on software engineering and knowledge engineering, pp 271\u2013274, Ischia, Italy","DOI":"10.1145\/568760.568808"},{"issue":"1\u20132","key":"314_CR37","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/S0164-1212(02)00087-0","volume":"71","author":"X He","year":"2004","unstructured":"He X, Yu H, Shi T, Ding J, Deng Y (2004) Formally analyzing software architectural specifications using SAM. J Syst Softw 71(1\u20132):11\u201329","journal-title":"J Syst Softw"},{"key":"314_CR38","unstructured":"UPPAAL (2012). http:\/\/www.uppaal.org"},{"issue":"3","key":"314_CR39","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/258077.258078","volume":"6","author":"R Allen","year":"1997","unstructured":"Allen R, Garlan D (1997) A formal basis for architectural connection. ACM Trans Softw Eng Methodol 6(3):213\u2013249","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"314_CR40","doi-asserted-by":"crossref","unstructured":"Hansson H, \u00c5kerholm M, Crnkovic I, T\u00f6rngren M (2004) SaveCCM\u2013a component model for safety-critical real-time systems. In: Proceedings of the 30th EUROMICRO conference, pp 627\u2013635","DOI":"10.1109\/EURMIC.2004.1333431"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0314-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-013-0314-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-013-0314-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,24]],"date-time":"2020-07-24T01:57:46Z","timestamp":1595555866000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-013-0314-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,3,20]]},"references-count":40,"journal-issue":{"issue":"8","published-print":{"date-parts":[[2013,8]]}},"alternative-id":["314"],"URL":"https:\/\/doi.org\/10.1007\/s00607-013-0314-4","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,3,20]]}}}