{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:08Z","timestamp":1725562568814},"publisher-location":"Boston, MA","reference-count":34,"publisher":"Springer US","isbn-type":[{"type":"print","value":"9781441963994"},{"type":"electronic","value":"9781441964007"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-1-4419-6400-7_3","type":"book-chapter","created":{"date-parts":[[2010,8,4]],"date-time":"2010-08-04T20:08:37Z","timestamp":1280952517000},"page":"79-119","source":"Crossref","is-referenced-by-count":0,"title":["Synoptic: A Domain-Specific Modeling Language for Space On-board Application Software"],"prefix":"10.1007","author":[{"given":"A.","family":"Cortier","sequence":"first","affiliation":[]},{"given":"L.","family":"Besnard","sequence":"additional","affiliation":[]},{"given":"J. P.","family":"Bodeveix","sequence":"additional","affiliation":[]},{"given":"J.","family":"Buisson","sequence":"additional","affiliation":[]},{"given":"F.","family":"Dagnat","sequence":"additional","affiliation":[]},{"given":"M.","family":"Filali","sequence":"additional","affiliation":[]},{"given":"G.","family":"Garcia","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ouy","sequence":"additional","affiliation":[]},{"given":"M.","family":"Pantel","sequence":"additional","affiliation":[]},{"given":"A.","family":"Rugina","sequence":"additional","affiliation":[]},{"given":"M.","family":"Strecker","sequence":"additional","affiliation":[]},{"given":"J. P.","family":"Talpin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,26]]},"reference":[{"key":"3_CR1_3","unstructured":"Altarica Project. http:\/\/altarica.labri.u-bordeaux.fr\/wiki\/ ."},{"key":"3_CR2_3","unstructured":"Eclipse Modeling Framework project (EMF). http:\/\/www.eclipse.org\/modeling\/emf\/ ."},{"key":"3_CR3_3","unstructured":"RT-Builder. Solutions for Real-Time design, modeling and analysis of complex, multi-processors and multi-bus systems and software. http:\/\/www.geensys.com\/?Outils\/RTBuilder ."},{"key":"3_CR4_3","unstructured":"Simulink. Simulation and model-based design. http:\/\/www.mathworks.com\/ ."},{"key":"3_CR5_3","unstructured":"ASSERT Project. Automated proof-based system and software engineering for real-time systems. http:\/\/www.assert-project.net\/ , 2007."},{"key":"3_CR6_3","unstructured":"As-2 Embedded Computing Systems Committee SAE. Architecture Analysis & Design Language (AADL). SAE Standards no AS5506, November 2004."},{"key":"3_CR7_3","doi-asserted-by":"crossref","unstructured":"Albert Benveniste, Patricia Bournai, Thierry Gautier, Michel Le Borgne, Paul Le Guernic, and Herv Marchand. The Signal declarative synchronous language: controller synthesis and systems\/architecture design. In 40th IEEE Conference on Decision and Control, December 2001.","DOI":"10.1109\/CDC.2001.980328"},{"key":"3_CR8_3","doi-asserted-by":"crossref","unstructured":"U. Brinkschulte, A. Bechina, F. Picioroag\u0103, and E. Schneider. Open System Architecture for embedded control applications. In International Conference on Industrial Technology, volume 2, pages 1247\u20131251, Slovenia, December 2003.","DOI":"10.1109\/ICIT.2003.1290844"},{"issue":"4","key":"3_CR9_3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/j.jlap.2008.11.005","volume":"78","author":"C Brunette","year":"2009","unstructured":"Christian Brunette, Jean-Pierre Talpin, Abdoulaye Gamati\u00e9, and Thierry Gautier. A metamodel for the design of polychronous systems. Journal of Logic and Algebraic Programming, 78(4):233\u2013259, 2009.","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"3_CR10_3","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00e9my Buisson, Cecilia Carro, and Fabien Dagnat. Issues in applying a model driven approach to reconfigurations of satellite software. In HotSWUp \u201908: Proceedings of the 1st International Workshop on Hot Topics in Software Upgrades, pages 1\u20135, New York, NY, USA, 2008. ACM.","DOI":"10.1145\/1490283.1490291"},{"key":"3_CR11_3","doi-asserted-by":"crossref","unstructured":"J\u00e9r\u00e9my Buisson and Fabien Dagnat. Experiments with fractal on modular reflection. In SERA \u201908: Proceedings of the 2008 Sixth International Conference on Software Engineering Research, Management and Applications, pages 179\u2013186, Washington, DC, USA, 2008. IEEE Computer Society.","DOI":"10.1109\/SERA.2008.19"},{"key":"3_CR12_3","doi-asserted-by":"crossref","unstructured":"J. Buisson and F. Dagnat, \u201cReCaml: Execution State as the Cornerstone of Reconfigurations\u201d. In The 15th ACM SIGPLAN International Conference on Functional Programming, pages 27\u201329, Baltimore, Maryland, USA, September 2010.","DOI":"10.1145\/1863543.1863550"},{"key":"3_CR13_3","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1145\/340396.340450","volume":"4","author":"A Burns","year":"1999","unstructured":"Alan Burns. The Ravenscar profile. ACM Ada Letters, 4:49\u201352, 1999.","journal-title":"ACM Ada Letters"},{"key":"3_CR14_3","doi-asserted-by":"crossref","unstructured":"Alan Burns, Brian Dobbing, and Tullio Vardanega. Guide for the use of the Ada Ravenscar Profile in high integrity systems. Ada Letters, XXIV(2):1\u201374, 2004.","DOI":"10.1145\/997119.997120"},{"key":"3_CR15_3","volume-title":"Pattern-oriented software architecture: a system of patterns","author":"F Buschmann","year":"1996","unstructured":"F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. Pattern-oriented software architecture: a system of patterns. Wiley, New York, 1996."},{"key":"3_CR16_3","unstructured":"F.-X. Dormoy. Scade 6: a model based solution for safety critical software development. In Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS \u201908), pages 1\u20139, Toulouse, France, January\u2013February 2008."},{"key":"3_CR17_3","unstructured":"ESA. European space agency. ground systems and operations \u2013 telemetry and telecommand packet utilization (ECSS-E-70), January 2003."},{"key":"3_CR18_3","volume-title":"A practical guide to SysML: the systems modeling language","author":"S Friedenthal","year":"2008","unstructured":"Sanford Friedenthal, Alan Moore, and Rick Steiner. A practical guide to SysML: the systems modeling language. Morgan Kaufmann, San Francisco, CA, 2008."},{"key":"3_CR19_3","volume-title":"Java(TM) language specification, 3rd edition","author":"J Gosling","year":"2005","unstructured":"James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. Java(TM) language specification, 3rd edition. Addison-Wesley, New York, 2005."},{"key":"3_CR20_3","unstructured":"Object Management Group. CORBA Component Model 4.0 Specification. Specification Version 4.0, Object Management Group, April 2006."},{"key":"3_CR21_3","doi-asserted-by":"crossref","unstructured":"Paul Le Guernic, Jean-Pierre Talpin, Jean-Christophe Le Lann, and Projet Espresso. Polychrony for system design. Journal for Circuits, Systems and Computers, 12:261\u2013304, 2002.","DOI":"10.1142\/S0218126603000763"},{"key":"3_CR22_3","doi-asserted-by":"crossref","unstructured":"N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. In Proceedings of the IEEE, pages 1305\u20131320, 1991.","DOI":"10.1109\/5.97300"},{"issue":"3","key":"3_CR23_3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"David Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, 8(3):231\u2013274, 1987.","journal-title":"Science of Computer Programming"},{"key":"3_CR24_3","doi-asserted-by":"crossref","unstructured":"Jerome Hugues, Bechir Zalila, and Laurent Pautet. Combining model processing and middleware configuration for building distributed high-integrity systems. In ISORC \u201907: 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing, pages 307\u2013312, Washington, DC, USA, 2007. IEEE Computer Society.","DOI":"10.1109\/ISORC.2007.23"},{"key":"3_CR25_3","doi-asserted-by":"crossref","unstructured":"Damir Isovic and Gerhard Fohler. Efficient scheduling of sporadic, aperiodic, and periodic tasks with complex constraints. In 21st IEEE Real-Time Systems Symposium (RTSS\u20192000), pages 207\u2013216, Orlando, USA, November 2000.","DOI":"10.1109\/REAL.2000.896010"},{"key":"3_CR26_3","doi-asserted-by":"crossref","unstructured":"Fr\u00e9d\u00e9ric Jouault, Jean B\u00e9zivin, and Ivan Kurtev. Tcs:: a DSL for the specification of textual concrete syntaxes in model engineering. In GPCE \u201906: Proceedings of the 5th international conference on Generative programming and component engineering, pages 249\u2013254, New York, NY, USA, 2006. ACM.","DOI":"10.1145\/1173706.1173744"},{"issue":"11","key":"3_CR27_3","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1109\/32.60317","volume":"16","author":"J Kramer","year":"1990","unstructured":"J. Kramer and J. Magee. The evolving philosophers problem: dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293\u20131306, November 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR28_3","unstructured":"Object Management Group Management Group. A UML profile for MARTE, beta 2. Technical report, June 2008."},{"key":"3_CR29_3","volume-title":"Hierarchical object-oriented design","author":"PJ Robinson","year":"1992","unstructured":"Peter J. Robinson. Hierarchical object-oriented design. Prentice-Hall, Upper Saddle River, NJ, 1992."},{"key":"3_CR30_3","unstructured":"Jean-Franois Rolland, Jean-Paul Bodeveix, Mamoun Filali, David Chemouil, and Thomas Dave. AADL modes for space software. In Data Systems In Aerospace (DASIA), Palma de Majorca, Spain, 27 May 08 \u2013 30 May 08, page (electronic medium), http:\/\/www.esa.int\/publications , May 2008. European Space Agency (ESA Publications)."},{"key":"3_CR31_3","unstructured":"E. Schneider. A middleware approach for dynamic real-time software reconfiguration on distributed embedded systems. PhD thesis, INSA Strasbourg, 2004."},{"key":"3_CR32_3","doi-asserted-by":"crossref","unstructured":"Brinkley Sprunt, John P. Lehoczky, and Lui Sha. Exploiting unused periodic time for aperiodic service using the extended priority exchange algorithm. In IEEE Real-Time Systems Symposium, pages 251\u2013258, Huntsville, AL, USA, December 1988.","DOI":"10.1109\/REAL.1988.51120"},{"key":"3_CR33_3","unstructured":"Andres Toom, Tonu Naks, Marc Pantel, Marcel Gandriau, and Indra Wati. GeneAuto: an automatic code generator for a safe subset of SimuLink\/StateFlow. In European Congress on Embedded Real-Time Software (ERTS), Toulouse, France, 29 January 08 \u2013 01 February 08, page (electronic medium), http:\/\/www.sia.fr , 2008. Socit des Ingnieurs de l\u2019Automobile."},{"issue":"7","key":"3_CR34_3","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1159974.1134653","volume":"41","author":"C Platen von","year":"2006","unstructured":"Carl von Platen and Johan Eker. Feedback linking: optimizing object code layout for updates. SIGPLAN Notices, 41(7):2\u201311, 2006.","journal-title":"SIGPLAN Notices"}],"container-title":["Synthesis of Embedded Software"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4419-6400-7_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T05:34:19Z","timestamp":1605677659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4419-6400-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9781441963994","9781441964007"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-1-4419-6400-7_3","relation":{},"subject":[],"published":{"date-parts":[[2010]]}}}