{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:07:17Z","timestamp":1760828837728},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2008,8,23]],"date-time":"2008-08-23T00:00:00Z","timestamp":1219449600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2008,10]]},"DOI":"10.1007\/s11334-008-0059-y","type":"journal-article","created":{"date-parts":[[2008,8,22]],"date-time":"2008-08-22T07:17:17Z","timestamp":1219389437000},"page":"215-222","source":"Crossref","is-referenced-by-count":8,"title":["Safe design of high-performance embedded systems in an MDE framework"],"prefix":"10.1007","volume":"4","author":[{"given":"Huafeng","family":"Yu","sequence":"first","affiliation":[]},{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"additional","affiliation":[]},{"given":"\u00c9ric","family":"Rutten","sequence":"additional","affiliation":[]},{"given":"Jean-Luc","family":"Dekeyser","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2008,8,23]]},"reference":[{"key":"59_CR1","doi-asserted-by":"crossref","unstructured":"Apvrille L, Muhammad W, Ameur-Boulifa R, Coudert S, Pacalet R (2006) A UML-based environment for system design space exploration. In: 13th IEEE international conference on electronics, circuits and systems","DOI":"10.1109\/ICECS.2006.379694"},{"issue":"1","key":"59_CR2","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S, Halbwachs N, Le Guernic P, Simone R (2003) The synchronous languages twelve years later. Proc IEEE 91(1): 64\u201383","journal-title":"Proc IEEE"},{"key":"59_CR3","doi-asserted-by":"crossref","unstructured":"Besnard L, Marchand H, Rutten E (2006) The SIGALI tool box environment. In: Workshop on discrete event systems, WODES\u201906, Ann-Arbor, MI, USA","DOI":"10.1109\/WODES.2006.382518"},{"key":"59_CR4","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o J-L, Hamon G, Pouzet M (2006) Mixing signals and modes in synchronous data-flow systems. In: ACM international conference on embedded software","DOI":"10.1145\/1176887.1176899"},{"key":"59_CR5","unstructured":"Delaval G, Rutten \u00c9 (2007) A domain-specific language for multi-task systems, applying discrete controller synthesis. J Embed Syst Spec Issue Synchronous Paradigm Embed Syst 2007, p 17"},{"key":"59_CR6","doi-asserted-by":"crossref","unstructured":"Fecher H, Sch\u00f6nborn J, Kyas M, de Roever W-P (2005) 29 New unclarities in the semantics of UML 2.0 state machines. In: ICFEM. LNCS, vol 3785. Springer, New York, pp 52\u201365","DOI":"10.1007\/11576280_5"},{"key":"59_CR7","doi-asserted-by":"crossref","unstructured":"Gamati\u00e9 A, Rutten E, Yu H (2008) A model for the mixed-design of data-intensive and control-oriented embedded systems. Research report, INRIA. http:\/\/hal.inria.fr\/inria-00293909\/fr","DOI":"10.1155\/2008\/561863"},{"key":"59_CR8","unstructured":"Gamati\u00e9 A, Rutten E, Yu H, Boulet P, Dekeyser J-L Synchronous modeling and analysis of data intensive applications. Accepted by EURASIP Journal on Embedded Systems. Aslo available as INRIA Research Report 5876. http:\/\/hal.inria.fr\/inria-00001216\/en"},{"issue":"2","key":"59_CR9","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/s10270-007-0077-5","volume":"7","author":"S Graf","year":"2008","unstructured":"Graf S (2008) Omega\u2014correct development of real time embedded systems. SoSyM Int J Softw Syst Modell 7(2): 127\u2013130","journal-title":"SoSyM Int J Softw Syst Modell"},{"key":"59_CR10","unstructured":"INRIA DaRT Project DaRT (2007) Gaspard2. https:\/\/gforge.inria.fr\/projects\/gaspard2"},{"key":"59_CR11","unstructured":"Labbani O, Dekeyser J, Boulet P, Rutten E (2005) Introducing control in the Gaspard2 data-parallel metamodel: synchronous approach. In: Int\u2019l workshop on modeling and analysis of real-time and embedded systems"},{"key":"59_CR12","doi-asserted-by":"crossref","first-page":"637","DOI":"10.1007\/s001659970003","volume":"11","author":"D Latella de","year":"1999","unstructured":"de Latella D, Majzik I, Massink M (1999) Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker. Formal Asp Comput 11: 637\u2013664","journal-title":"Formal Asp Comput"},{"issue":"3","key":"59_CR13","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1016\/S0167-6423(02)00093-X","volume":"46","author":"F Maraninchi","year":"2003","unstructured":"Maraninchi F, R\u00e9mond Y (2003) Mode-automata: a new domain-specific construct for the development of safe critical systems. Sci Comput Program 46(3): 219\u2013254","journal-title":"Sci Comput Program"},{"key":"59_CR14","unstructured":"Object Management Group (2003) UML profile for schedulability, performance and time. http:\/\/www.omg.org\/cgi-bin\/apps\/doc?formal\/03-09-01.pdf , Sept. 2003"},{"key":"59_CR15","unstructured":"Object Management Group (2006) Final adopted OMG SysML specification. http:\/\/www.omg.org\/cgi-bin\/doc?ptc\/06-0504"},{"key":"59_CR16","unstructured":"Object Management Group (2007) Modeling and analysis of real-time and embedded systems (MARTE). http:\/\/www.omgmarte.org\/"},{"key":"59_CR17","doi-asserted-by":"crossref","unstructured":"SchSfer T, Knapp A, Merz S (2001) Model checking UML state machines and collaborations. In: CAV 2001 workshop on software model checking, ENTCS 55(3), Paris, France","DOI":"10.1016\/S1571-0661(04)00262-2"},{"issue":"2","key":"59_CR18","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D-C Schmidt","year":"2006","unstructured":"Schmidt D-C (2006) Model-driven engineering. IEEE Comput 39(2): 25\u201331","journal-title":"IEEE Comput"},{"key":"59_CR19","doi-asserted-by":"crossref","unstructured":"Selic B-V (2004) On the semantic foundations of standard UML 2.0. In: Bernardo M, Corradini F (eds) Formal methods for the design of real-time systems. LNCS, vol 3185. Springer, New York","DOI":"10.1007\/978-3-540-30080-9_6"},{"key":"59_CR20","doi-asserted-by":"crossref","unstructured":"Yu H, Gamati\u00e9 A, Rutten E, Dekeyser J-L (2008) Model transformations from a data parallel formalism towards synchronous languages. In: Eugenio V (ed) Embedded systems specification and design languages, selected contributions from FDL\u201907 series. Lecture notes in electrical engineering, vol 10. Springer, New York","DOI":"10.1007\/978-1-4020-8297-9_13"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0059-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-008-0059-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-008-0059-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,7]],"date-time":"2020-05-07T21:37:51Z","timestamp":1588887471000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-008-0059-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8,23]]},"references-count":20,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2008,10]]}},"alternative-id":["59"],"URL":"https:\/\/doi.org\/10.1007\/s11334-008-0059-y","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8,23]]}}}