{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T00:51:33Z","timestamp":1729644693337,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641342","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T21:11:18Z","timestamp":1291151478000},"page":"1-7","source":"Crossref","is-referenced-by-count":5,"title":["Design and implementation of real-time distributed systems with the ASSERT Virtual Machine"],"prefix":"10.1109","author":[{"given":"J","family":"Zamorano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J A","family":"de la Puente","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68624-8_18"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"23","article-title":"Run-time mechanisms for property preservation in high-integrity real-time systems","author":"zamorano","year":"0","journal-title":"OSPERT 2007 - Workshop on Operating System Platforms for Embedded Real-Time Applications Pisa Italy July 2007"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"24","article-title":"The ASSERT virtual machine kernel: Support for preservation of temporal properties","author":"zamorano","year":"0","journal-title":"Data Systems in Aerospace - DASIA 2008 Palma de Mallorca Spain 2008"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1316002.1316013"},{"journal-title":"Architecture Analysis and Design Language (AADL) as5506","year":"2009","key":"16"},{"key":"13","first-page":"128","article-title":"A metamodel-driven process featuring advanced model-based timing analysis","volume":"4498","author":"panunzio","year":"2007","journal-title":"LNCS"},{"key":"14","article-title":"The TASTE toolset: Turning human designed heterogeneous systems into computer built homogeneous software","author":"perrotin","year":"0","journal-title":"5th Int Congress on Embedded Real-Time Software and Systems - ERTS2 2010 May 2010"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090837"},{"key":"12","first-page":"328","article-title":"Exploiting precedence relations in the schedulability analysis of distributed real-time systems","author":"palencia gutie?rrez","year":"1999","journal-title":"RTSS 1999 Proceedings of the 20th IEEE Real-Time Systems Symposium"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1023\/B:TIME.0000048937.17571.2b"},{"key":"3","first-page":"5","article-title":"An open Ravenscar real-time kernel for GNAT","volume":"1845","author":"de la puente","year":"2000","journal-title":"LNCS"},{"journal-title":"The SPARC Architecture Manual Version 8","year":"1992","key":"20"},{"key":"2","first-page":"263","article-title":"The Ravenscar tasking profile for high integrity real-time programs","volume":"1411","author":"burns","year":"1998","journal-title":"LNCS"},{"key":"1","first-page":"114","article-title":"Correctness by construction for high-integrity real-time systems: A metamodel-driven approach","volume":"4498","author":"bordin","year":"2007","journal-title":"LNCS"},{"key":"10","article-title":"Experience in programming device drivers with the Ravenscar profile","volume":"31","author":"lo?pez","year":"2010","journal-title":"Ada User J"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77419-8_3"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2001.934015"},{"journal-title":"LEON2 Processor User's Manual","year":"2005","key":"5"},{"key":"4","article-title":"The ASSERT Virtual Machine: A predictable platform for real-time systems","author":"de la puente","year":"2008","journal-title":"Proceedings of the 17th IFAC World Congress"},{"journal-title":"Std 8652 1995\/Amd 1 2007 - Ada 2005 Reference Manual Language and Standard Libraries","year":"2007","key":"9"},{"key":"8","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1376804.1376810","article-title":"From the prototype to the final embedded system using the Ocarina AADL tool suite","volume":"7","author":"hugues","year":"2008","journal-title":"ACM Transactions on Embedded Computing Systems"}],"event":{"name":"Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641342.pdf?arnumber=5641342","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,6]],"date-time":"2019-06-06T17:56:03Z","timestamp":1559843763000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5641342\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641342","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}