Search results for "RTEMS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Antoine Colin, Isabelle Puaut	Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System.	ECRTS	2001	DBLP DOI BibTeX RDF
36	Andreas Koch	A Comprehensive Prototyping-Platform for Hardware-Software Codesign.	IEEE International Workshop on Rapid System Prototyping	2000	DBLP DOI BibTeX RDF	hybrid processor, RTEMS, Virtex, FPGA, prototyping, codesign, SPARC, Xilinx
31	Junjie Shi, Christoph-Cordt von Egidy, Kuan-Hsun Chen, Jian-Jia Chen	Formal Verification of Resource Synchronization Protocol Implementations: A Case Study in RTEMS.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2022	DBLP DOI BibTeX RDF
31	Junjie Shi, Jan Duy Thien Pham, Malte Münch, Jan Viktor Hafemeister, Jian-Jia Chen, Kuan-Hsun Chen	Supporting Multiprocessor Resource Synchronization Protocols in RTEMS.	CoRR	2021	DBLP BibTeX RDF
31	Jin-Hyun Kim, Hyun-Wook Jin	Virtio Front-End Network Driver for RTEMS Operating System.	IEEE Embed. Syst. Lett.	2020	DBLP DOI BibTeX RDF
31	Udit Kumar Agarwal, Vara Punit Ashokbhai, Gedare Bloom, Christian Mauderer, Joel Sherrill	Comparison of file systems in RTEMS.	SIGBED Rev.	2019	DBLP DOI BibTeX RDF
31	Rui Zhang, Yan Du, Tao Zhang, Qi Qiu, Liang Mao, Jiaxiang Niu	An Improved RTEMS Supporting Real-Time Detection of Stack Overflow.	WISATS (1)	2019	DBLP DOI BibTeX RDF
31	Gedare Bloom, Joel Sherrill, Gary Gilliland	Aligning Deos and RTEMS with the FACE safety base operating system profile.	SIGBED Rev.	2018	DBLP DOI BibTeX RDF
31	Arturo Perez, Leonardo Suriano, Andrés Otero, Eduardo de la Torre	Dynamic reconfiguration under RTEMS for fault mitigation and functional adaptation in SRAM-based SoPCs for space systems.	AHS	2017	DBLP DOI BibTeX RDF
31	Fernando Nicodemos, Osamu Saotome, George Lima 0001, Sandro S. Sato	A minimally intrusive method for analysing the timing of RTEMS core characteristics.	Int. J. Embed. Syst.	2016	DBLP DOI BibTeX RDF
31	Jin-Hyun Kim, Sang-Hun Lee, Hyun-Wook Jin	Supporting virtualization standard for network devices in RTEMS real-time operating system.	SIGBED Rev.	2016	DBLP DOI BibTeX RDF
31	Saurabh Gadia, Cyrille Artho, Gedare Bloom	Verifying Nested Lock Priority Inheritance in RTEMS with Java Pathfinder.	ICFEM	2016	DBLP DOI BibTeX RDF
31	Gedare Bloom, Joel Sherrill, Gary Gilliland	Aligning Deos and RTEMS with the FACE Safety Base Operating System Profile.	EWiLi	2016	DBLP BibTeX RDF
31	Jin-Hyun Kim, Sang-Hun Lee, Hyun-Wook Jin	Supporting Virtualization Standard for Network Devices in RTEMS Real-Time Operating System.	EWiLi	2015	DBLP BibTeX RDF
31	Gedare Bloom, Joel Sherrill	Scheduling and thread management with RTEMS.	SIGBED Rev.	2014	DBLP DOI BibTeX RDF
31	Tobias Stumpf, Matthias Werner 0001	A conservative real-time garbage collector for C/C++ running on top of RTEMS.	ISORC	2013	DBLP DOI BibTeX RDF
31	Fernando Nicodemos, Osamu Saotome, George Lima 0001	RTEMS Core Analysis for Space Applications.	SBESC	2013	DBLP DOI BibTeX RDF
31	Cindy Della Torre Cicalese, Joel Sherrill, Ricky E. Sward, Richard M. Weatherly	Unmanned systems with Ada and RTEMS.	SIGAda	2010	DBLP DOI BibTeX RDF
31	Manuel Coutinho, José Rufino, Carlos Almeida 0002	Control of Event Handling Timeliness in RTEMS.	IASTED PDCS	2005	DBLP BibTeX RDF
22	Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek	High-level programming of embedded hard real-time devices.	EuroSys	2010	DBLP DOI BibTeX RDF	real-time systems, memory management, java virtual machine
22	Dave Erickson	Interoperability across implementation: The libdrdc data standards library.	CCECE	2009	DBLP DOI BibTeX RDF
22	David Erickson, Blake Beckman, Tie Peng	Promoting interoperability: The libdrdc data standards library.	IROS	2008	DBLP DOI BibTeX RDF
22	Carlo Brandolese, William Fornaciari	Measurement, Analysis and Modeling of RTOS System Calls Timing.	DSD	2008	DBLP DOI BibTeX RDF
22	Regina Lúcia de Oliveira Moraes, João Durães, Ricardo Barbosa 0003, Eliane Martins, Henrique Madeira	Experimental Risk Assessment and Comparison Using Software Fault Injection.	DSN	2007	DBLP DOI BibTeX RDF
22	Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira	Component-Based Software Certification Based on Experimental Risk Assessment.	LADC	2007	DBLP DOI BibTeX RDF	Component-based system certification, Experimental Risk Assessment, Fault Injection
22	Antonio Dasilva 0001, José-Fernán Martínez, Lourdes López-Santidrián, Ana Belén García, Luis Redondo	Exhaustif: a fault injection tool for distributed heterogeneous embedded systems.	EATIS	2007	DBLP DOI BibTeX RDF	SWIFI, fault injection techniques, fault tolerance, distributed embedded systems
22	Pattara Kiatisevi, Luis Leonardo Azuara-Gomez, Rainer Dorsch, Hans-Joachim Wunderlich	Development of an audio player as system-on-a-chip using an open source platform.	ISCAS (3)	2005	DBLP DOI BibTeX RDF
22	Romain Berrendonner, Jérôme Guitton	The ESA Ravenscar Benchmark.	Ada-Europe	2005	DBLP DOI BibTeX RDF
22	Andrea Bona, Vittorio Zaccaria, Roberto Zafalon	System Level Power Modeling and Simulation of High-End Industrial Network-on-Chip.	DATE	2004	DBLP DOI BibTeX RDF	Network-on-Chip power analysis, communication based low power design, system-level energy optimization