{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:53:28Z","timestamp":1725562408674},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540210917"},{"type":"electronic","value":"9783540246398"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24639-8_4","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T12:35:40Z","timestamp":1280752540000},"page":"33-47","source":"Crossref","is-referenced-by-count":1,"title":["Hard Real-Time Implementation of Embedded Software in JAVA"],"prefix":"10.1007","author":[{"given":"Jean-Pierre","family":"Talpin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdoulaye","family":"Gamati\u00e9","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Berner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Le Dez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul","family":"Le Guernic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Airlines Electronic Engineering Committee: Design Guidance for Integrated Modular Avionics. Arinc Report 651-1 (November 1997)"},{"key":"4_CR2","unstructured":"Airlines Electronic Engineering Committee: Avionics Application Software Standard Interface. Arinc Specification 653 (January 1997)"},{"key":"4_CR3","volume-title":"Conference on Programming Language Design and Implementation","author":"T.P. Amagbegnon","year":"1995","unstructured":"Amagbegnon, T.P., Besnard, L., Le Guernic, P.: Implementation of the data-flow synchronous language Signal. In: Conference on Programming Language Design and Implementation, ACM Press, New York (1995)"},{"key":"4_CR4","volume-title":"The real-time specification for Java","author":"G. Bollela","year":"2000","unstructured":"Bollela, G., et al.: The real-time specification for Java. Addison-Wesley, Reading (2000)"},{"key":"4_CR5","unstructured":"Costard, D.: Evaluation d\u2019une cha\u00eene de compilation Java temps-r\u00e9el. Rapport de stage de fin d\u2019\u00e9tude, Esiee (Juin 2003)"},{"key":"4_CR6","unstructured":"Gamati\u00e9, A., Gautier, T.: Modeling of modular avionics architectures using the synchronous language. In: Proceedings of the 14th Euromicro Conference on Real- Time Systems, work-in-progress session, IEEE Press, Los Alamitos (2002), Available as Inria research report n. 4678 (December 2002)"},{"key":"4_CR7","volume-title":"10th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems","author":"A. Gamati\u00e9","year":"2003","unstructured":"Gamati\u00e9, A., Gautier, T.: The Signal approach to the design of system architectures. In: 10th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, April 2003, IEEE Press, Los Alamitos (2003)"},{"issue":"11","key":"4_CR8","first-page":"6470","volume":"34","author":"A. Perry","year":"2001","unstructured":"Perry, A., Kong, C.: Rosetta: Semantic support for model-centered systems-level design. IEEE Computer\u00a034(11), 6470 (2001)","journal-title":"IEEE Computer"},{"key":"4_CR9","unstructured":"Le Guernic, P., Talpin, J.-P., Le Lann, J.-L.: Polychrony for system design. In: Gupta, R., Gupta, S., Shukla, S.K. (eds.) Journal of Circuits, Systems and Computers. Special Issue on Application Specific Hardware Design, World Scientific, Singapore (2002), Available as Inria research report n. 4715 (December 2002)"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/S0167-6423(00)00020-4","volume":"41","author":"H. Marchand","year":"2001","unstructured":"Marchand, H., Rutten, E., Le Borgne, M., Samaan, M.: Formal Verification of Signal programs: Application to a Power Transformer Station Controller. Science of Computer Programming\u00a041(1), 85\u2013104 (2001)","journal-title":"Science of Computer Programming"},{"key":"4_CR11","first-page":"155","volume":"4","author":"J.T. Buck","year":"1994","unstructured":"Buck, J.T., Ha, S., Lee, E.A., Messerschmitt, D.G.: Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems. International Journal of Computer Simulation, special issue on \u201dSimulation Software Development\u201d\u00a04, 155\u2013182 (1994)","journal-title":"International Journal of Computer Simulation, special issue on \u201dSimulation Software Development\u201d"},{"key":"4_CR12","volume-title":"Proceedings of the Joint ACM Java Grande Conference","author":"J. Kwon","year":"2002","unstructured":"Kwon, J., Wellings, A.J., King, S.: A High Integrity Profile for Real-time Java. In: Proceedings of the Joint ACM Java Grande Conference, ACM press, New York (2002)"},{"key":"4_CR13","volume-title":"Application of Concurrency to System Design","author":"J.-P. Talpin","year":"2003","unstructured":"Talpin, J.-P., Le Guernic, P., Shukla, S.K., Gupta, R., Doucet, F.: Polychrony for formal refinement-checking in a system-level design methodology. In: Application of Concurrency to System Design, June 2003, IEEE Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","Scientific Engineering of Distributed Java Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24639-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,17]],"date-time":"2019-03-17T16:52:32Z","timestamp":1552841552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24639-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540210917","9783540246398"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24639-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}