{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:24Z","timestamp":1740122724141,"version":"3.37.3"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2015,5,30]],"date-time":"2015-05-30T00:00:00Z","timestamp":1432944000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s10617-015-9164-y","type":"journal-article","created":{"date-parts":[[2015,5,29]],"date-time":"2015-05-29T08:24:11Z","timestamp":1432887851000},"page":"345-366","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Cyber-physical systems design: transition from functional to architectural models"],"prefix":"10.1007","volume":"19","author":[{"given":"Rosane F\u00e1tima","family":"Passarini","sequence":"first","affiliation":[]},{"given":"Jean-Marie","family":"Farines","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1174-1966","authenticated-orcid":false,"given":"Jo\u00e3o M.","family":"Fernandes","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1872-4771","authenticated-orcid":false,"given":"Leandro Buss","family":"Becker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,5,30]]},"reference":[{"unstructured":"(AVSI), A.V.S.I. (2010) The system architecture virtual integration program. http:\/\/savi.avsi.aero","key":"9164_CR1"},{"unstructured":"Chkouri M, Bozga M (2009) Prototyping of distributed embedded systems using AADL. In: Baelen SV, Weigert T, Ober I, Espinoza H (eds) 2nd international workshop on model based architecting and construction of embedded systems (ACES-MB 2009), CEUR workshop proceedings, vol 507, pp 65\u201379","key":"9164_CR2"},{"unstructured":"Correa T, Becker LB, Farines JM, Bodeveix JP, Filali M, Vernadat F (2010) A model-based design methodology for cyber-physical systems. In: 6th embedded real time software and systems conference ( $$\\text{ ETRS }^2$$ ETRS 2 2010)","key":"9164_CR3"},{"doi-asserted-by":"crossref","unstructured":"Delange J, Pautet L, Hugues J, De Niz D (2010) An MDE-based process for the design, implementation and validation of safety-critical systems. In: 15th IEEE international conference on engineering of complex computer systems (ICECCS 2010), pp 319\u2013324. doi: 10.1109\/ICECCS.2010.12","key":"9164_CR4","DOI":"10.1109\/ICECCS.2010.12"},{"doi-asserted-by":"crossref","unstructured":"Donadel R, Raffo G, Becker L (2014) Modeling and control of a tiltrotor UAV for path tracking. In: 19th IFAC World Congress, pp 3839\u20133844. IFAC. doi: 10.3182\/20140824-6-ZA-1003.01735","key":"9164_CR5","DOI":"10.3182\/20140824-6-ZA-1003.01735"},{"key":"9164_CR6","volume-title":"Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language","author":"PH Feiler","year":"2012","unstructured":"Feiler PH, Gluch DP (2012) Model-based engineering with AADL: an introduction to the SAE architecture analysis & design language. Addison-Wesley, New York"},{"doi-asserted-by":"crossref","unstructured":"Gon\u00e7alves F, Bodanese J, Donadel R, Raffo G, Normey-Rico J, Becker L (2013) Small scale UAV with birotor configuration. In: IEEE international conference on unmanned aircraft systems (ICUAS 2013), pp 761\u2013768","key":"9164_CR7","DOI":"10.1109\/ICUAS.2013.6564758"},{"unstructured":"Gon\u00e7alves F, Donadel R, Raffo G, Becker L (2013) Assessing the use of Simulink on the development process of an unmanned aerial vehicle. In: 3rd workshop on cyber-physical systems (CyPhy 2013)","key":"9164_CR8"},{"unstructured":"INRIA ESPRESSO Team (2010) Polychrony. http:\/\/raweb.inria.fr\/rapportsactivite\/RA2010\/espresso\/uid27.html","key":"9164_CR9"},{"doi-asserted-by":"crossref","unstructured":"Lasnier G, Pautet L, Hugues J, Wrage L (2011) An implementation of the Behavior Annex in the AADL-toolset Osate2. In: Perseil I, Breitman K, Sterritt R (eds) 16th IEEE international conference on engineering of complex computer systems (ICECCS 2011). IEEE Computer Society, pp 332\u2013337. doi: 10.1109\/ICECCS.2011.39","key":"9164_CR10","DOI":"10.1109\/ICECCS.2011.39"},{"doi-asserted-by":"crossref","unstructured":"Lasnier G, Zalila B, Pautet L, Hugues J (2009) Ocarina: an environment for AADL models analysis and automatic code generation for high integrity applications. In: 14th Ada-Europe international conference on reliable software technologies (Ada-Europe 2009). Springer, New York, pp 237\u2013250. doi: 10.1007\/978-3-642-01924-1_17","key":"9164_CR11","DOI":"10.1007\/978-3-642-01924-1_17"},{"issue":"9","key":"9164_CR12","doi-asserted-by":"crossref","first-page":"1321","DOI":"10.1109\/5.97301","volume":"79","author":"P Guernic Le","year":"1991","unstructured":"Le Guernic P, Gautier T, Le Borgne M, Le Maire C (1991) Programming real-time applications with SIGNAL. Proc IEEE 79(9):1321\u20131336","journal-title":"Proc IEEE"},{"doi-asserted-by":"crossref","unstructured":"Lee E (2008) Cyber physical systems: design challenges. In: 11th IEEE international symposium on object oriented real-time distributed computing (ISORC 2008), IEEE Computer Society, pp 363\u2013369. doi: 10.1109\/ISORC.2008.25","key":"9164_CR13","DOI":"10.1109\/ISORC.2008.25"},{"unstructured":"Mathworks T (2011) Using Simulink. http:\/\/www.mathworks.com\/access\/helpdesk\/help\/pdf_doc\/simulink\/sl_using","key":"9164_CR14"},{"unstructured":"Miller J, Mukerji J (2000) MDA Guide Version 1.0.1. Technical Report, Document omg\/2003-06-01, Object Management Group","key":"9164_CR15"},{"unstructured":"Raghav G, Gopalswamy S, Radhakrishnan K, Delange J, Hugues J (2009) Architecture driven generation of distributed embedded software from functional models. In: Ground vehicle systems engineering and technology symposium (GVSETS 2009)","key":"9164_CR16"},{"unstructured":"SAE (2006) SAE AADL meta model and XML\/XMI. http:\/\/www.aadl.info\/aadl\/currentsite\/tool\/metamod.html","key":"9164_CR17"},{"unstructured":"SAE (2011) SAE Architecture Analysis and Design Language (AADL); Annex vol 2: Annex B: Data Modeling Annex, Annex D: Behavior Model Annex, and Annex F: ARINC653 Annex. http:\/\/standards.sae.org\/as5506\/2","key":"9164_CR18"},{"key":"9164_CR19","volume-title":"Modeling and analysis of real-time and embedded systems with UML and MARTE","author":"B Selic","year":"2014","unstructured":"Selic B, G\u00e9rard S (2014) Modeling and analysis of real-time and embedded systems with UML and MARTE. Morgan Kaufmann, Burlington"},{"unstructured":"The CESAR Project (2010) Cost-eficient methods and processes for safety relevant embedded systems. http:\/\/www.cesarproject.eu","key":"9164_CR20"},{"doi-asserted-by":"crossref","unstructured":"Yu H, Ma Y, Glouche Y, Talpin JP, Besnard L, Gautier T, Guernic PL, Toom A, Laurent O (2011) System-level co-simulation of integrated avionics using Polychrony. In: 2011 ACM Symposium on applied computing (SAC 2011). ACM, New York, pp. 354\u2013359. doi: 10.1145\/1982185.1982263","key":"9164_CR21","DOI":"10.1145\/1982185.1982263"},{"doi-asserted-by":"crossref","unstructured":"Zowghi D, Coulin C (2005) Requirements elicitation: a survey of techniques, approaches, and tools. In: Aurum A, Wohlin C (eds) Engineering and managing software requirements. Springer, Berlin, pp. 19\u201346. doi: 10.1007\/3-540-28244-0_2","key":"9164_CR22","DOI":"10.1007\/3-540-28244-0_2"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-015-9164-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-015-9164-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-015-9164-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:38Z","timestamp":1559230178000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-015-9164-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5,30]]},"references-count":22,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["9164"],"URL":"https:\/\/doi.org\/10.1007\/s10617-015-9164-y","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2015,5,30]]}}}