Search results for "RTOS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
184	Mohammad Hossein Neishaburi, Masoud Daneshtalab, Mohammad Reza Kakoee, Saeed Safari	Improving Robustness of Real-Time Operating Systems (RTOS) Services Related to Soft-Errors.	AICCSA	2007	DBLP DOI BibTeX RDF
121	Ji Chan Maeng, Dongjin Na, Yongsoon Lee, Minsoo Ryu	Model-Driven Development of RTOS-Based Embedded Software.	ISCIS	2006	DBLP DOI BibTeX RDF
121	Ji Chan Maeng, Jong-Hyuk Kim, Minsoo Ryu	An RTOS API Translator for Model-Driven Embedded Software Development.	RTCSA	2006	DBLP DOI BibTeX RDF
115	Bing Guo, Yan Shen, Yue Huang, Zhishu Li	A Novel Discrete Hopfield Neural Network Approach for Hardware-Software Partitioning of RTOS in the SoC.	EUC Workshops	2006	DBLP DOI BibTeX RDF	SoC, RTOS, Hopfield neural network, Hardware-software partitioning
109	Bing Guo, Dianhui Wang, Yan Shen, Zhishu Li	A Hopfield neural network approach for power optimization of real-time operating systems.	Neural Comput. Appl.	2008	DBLP DOI BibTeX RDF	SoC, Power optimization, RTOS, Hopfield neural network, Hardware-software partitioning
109	Bing Guo, Dianhui Wang, Yan Shen, Zhishu Li	Neurocomputing for Minimizing Energy Consumption of Real-Time Operating System in the System-on-a-Chip.	ICONIP (3)	2006	DBLP DOI BibTeX RDF	SoC, Power optimization, RTOS, Hopfield neural network, Hardware-software partitioning
108	Fabiano Hessel, Vitor M. da Rosa, Igor M. Reis, Ricardo Planner, César A. M. Marcon, Altamiro Amadeu Susin	Abstract RTOS Modeling for Embedded Systems.	IEEE International Workshop on Rapid System Prototyping	2004	DBLP DOI BibTeX RDF
95	Ameet Patil, Neil C. Audsley	Implementing Application Specific RTOS Policies using Reflection.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
95	Andreas Gerstlauer, Haobo Yu, Daniel Gajski	RTOS Modeling for System Level Design.	DATE	2003	DBLP DOI BibTeX RDF
90	Matthias Krause 0002, Dominik Englert, Oliver Bringmann 0001, Wolfgang Rosenstiel	Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation.	CODES+ISSS	2008	DBLP DOI BibTeX RDF	RTOS modeling, embedded systems, instruction set simulation
77	Fabiano Hessel, Vitor M. da Rosa, Carlos Eduardo Reif, César A. M. Marcon, Tatiana Gadelha Serra dos Santos	Scheduling refinement in abstract RTOS models.	ACM Trans. Embed. Comput. Syst.	2006	DBLP DOI BibTeX RDF	RTOS scheduling, Real-time operating systems, transaction level Modeling
77	Shinya Honda, Takayuki Wakabayashi, Hiroyuki Tomiyama, Hiroaki Takada	RTOS-centric hardware/software cosimulator for embedded system design.	CODES+ISSS	2004	DBLP DOI BibTeX RDF	embedded Systems, RTOS, cosimulation
76	André C. Nácul, Francesco Regazzoni 0001, Marcello Lajolo	Hardware scheduling support in SMP architectures.	DATE	2007	DBLP DOI BibTeX RDF
71	Sathish Chandra, Francesco Regazzoni 0001, Marcello Lajolo	Hardware/software partitioning of operating systems: a behavioral synthesis approach.	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	embedded systems, operating systems, partitioning, RTOS, HW/SW codesign
70	Fabiano Hessel, César A. M. Marcon, Tatiana Gadelha Serra dos Santos	High Level RTOS Scheduler Modeling for a Fast Design Validation.	ISVLSI	2007	DBLP DOI BibTeX RDF
70	Wei-Tsun Sun, Zoran Salcic	Modeling RTOS for Reactive Embedded Systems.	VLSI Design	2007	DBLP DOI BibTeX RDF
70	Bo Zhou, Yonghui Chen, Weidong Qiu, Yan Chen, Chenglian Peng	Reduce SW/HW Migration Efforts by a RTOS in Multi-FPGA Systems.	CSCWD (Selected papers)	2005	DBLP DOI BibTeX RDF
70	Jin Hyun Kim, Su-Young Lee 0001, Young Ah Ahn, Jae-Hwan Sim, Jin Seok Yang, Na-Young Lee, Jin-Young Choi	Development of RTOS for PLC Using Formal Methods.	ATVA	2004	DBLP DOI BibTeX RDF
65	Eric Verhulst, Gjalt G. de Jong, Vitaliy Mezhuyev	An Industrial Case: Pitfalls and Benefits of Applying Formal Methods to the Development of a Network-Centric RTOS.	FM	2008	DBLP DOI BibTeX RDF	Network centric, Security, Formal Methods, Safety, Trustworthy, RTOS
65	Haobo Yu, Andreas Gerstlauer, Daniel Gajski	RTOS scheduling in transaction level models.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	SpecC, model, system design, RTOS
63	Mingsong Lv, Nan Guan, Yi Zhang 0056, Rui Chen, Qingxu Deng, Ge Yu 0001, Wang Yi 0001	WCET Analysis of the mC/OS-II Real-Time Kernel.	CSE (2)	2009	DBLP DOI BibTeX RDF
63	Robert P. Dick, Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha	Analysis of power dissipation in embedded systems using real-time operating systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2003	DBLP DOI BibTeX RDF
63	Carsten Böke, Marcelo Götz, Tales Heimfarth	Re-) Configurable Real-Time Operating Systems and Their Applications.	WORDS	2003	DBLP DOI BibTeX RDF
58	Paul Kohout, Brinda Ganesh, Bruce L. Jacob	Hardware support for real-time operating systems.	CODES+ISSS	2003	DBLP DOI BibTeX RDF	RTOS, hardware-software codesign
57	Gunar Schirner, Rainer Dömer	Introducing Preemptive Scheduling in Abstract RTOS Models using Result Oriented Modeling.	DATE	2008	DBLP DOI BibTeX RDF
57	Eric Verhulst, Gjalt G. de Jong	OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling.	SDL Forum	2007	DBLP DOI BibTeX RDF
57	Melissa Vetromille, Luciano Ost, César A. M. Marcon, Carlos Eduardo Reif, Fabiano Hessel	RTOS Scheduler Implementation in Hardware and Software for Real Time Applications.	IEEE International Workshop on Rapid System Prototyping	2006	DBLP DOI BibTeX RDF
57	Zhengting He, Aloysius K. Mok, Cheng Peng	Timed RTOS Modeling for Embedded System Design.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
57	Rocco Le Moigne, Olivier Pasquier, Jean Paul Calvez	A Generic RTOS Model for Real-time Systems Simulation with SystemC.	DATE	2004	DBLP DOI BibTeX RDF
57	Darren D. Cofer, Murali Rangarajan	Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS.	EMSOFT	2002	DBLP DOI BibTeX RDF
52	Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada	RTOS and Codesign Toolkit for Multiprocessor Systems-on-Chip.	ASP-DAC	2007	DBLP DOI BibTeX RDF	codesign toolkit, embedded multiprocessor systems, system-level design toolkit, real-time operating systems, RTOS, multiprocessor systems-on-chip
52	Takashi Furukawa, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada	A Hardware/Software Cosimulator with RTOS Supports for Multiprocessor Embedded Systems.	ICESS	2007	DBLP DOI BibTeX RDF	ITRON, Embedded Systems, Multiprocessors, RTOS, Cosimulation
51	Yuki Kinebuchi, Midori Sugaya, Shuichi Oikawa, Tatsuo Nakajima	Task Grain Scheduling for Hypervisor-Based Embedded System.	HPCC	2008	DBLP DOI BibTeX RDF
51	Moonvin Song, Sang Hoon Hong, Yunmo Chung	Reducing the Overhead of Real-Time Operating System through Reconfigurable Hardware.	DSD	2007	DBLP DOI BibTeX RDF
51	Franz J. Rammig, Marcelo Götz, Tales Heimfarth, Peter Janacik, Simon Oberthür	Real-time Operating Systems for Self-coordinating Embedded Systems.	ISORC	2006	DBLP DOI BibTeX RDF
51	Hiroaki Takada, Shinya Honda, Reiji Nishiyama, Hiroshi Yuyama	Hardware/Software Co-Configuration for Multiprocessor SoPC.	WSTFES	2003	DBLP DOI BibTeX RDF
51	Robert P. Dick, Ganesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha	Power analysis of embedded operating systems.	DAC	2000	DBLP DOI BibTeX RDF
45	Ching-Han Chen, Sz-Ting Liou	An Embedded Computing Platform for Robot.	SUTC	2008	DBLP DOI BibTeX RDF	Embedded Computing Platform, SW/HW co-design, Reconfigurable, RTOS, Intelligent robot
45	Muhammad Farooq, Fabrice Muller, Michel Auguin	Contentions-conscious dynamic but deterministic scheduling of computational and communication tasks.	SAC	2006	DBLP DOI BibTeX RDF	deterministic scheduling, architecture, multiprocessor, SoC, RTOS
45	Kathleen Baynes, Chris Collins, Eric Fiterman, Brinda Ganesh, Paul Kohout, Christine Smit, Tiebing Zhang, Bruce L. Jacob	The Performance and Energy Consumption of Embedded Real-Time Operating Systems.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	real-time operating systems (RTOS), power and energy modeling, Motorola M-CORE, µC/OS-II, Echidna, Embedded systems, performance modeling, Chimera
45	Bilge Saglam Akgul, Jaehwan Lee 0002, Vincent John Mooney III	A system-on-a-chip lock cache with task preemption support.	CASES	2001	DBLP DOI BibTeX RDF	lock synchronization, multi-processor synchronization, SoC, shared memory, RTOS, preemption
45	Seungwoo Son, Chaedeok Lim, Heung-Nam Kim	Debugging protocol for remote cross development environment.	RTCSA	2000	DBLP DOI BibTeX RDF	debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
45	Zonghai Chen, Haibo Wang	Open Intelligent Robot Controller Based on Field-Bus and RTOS.	Innovations in Hybrid Intelligent Systems	2008	DBLP DOI BibTeX RDF
45	Henning Zabel, Wolfgang Müller 0003	An Efficient Time Annotation Technique in Abstract RTOS Simulations for Multiprocessor Task Migration.	DIPES	2008	DBLP DOI BibTeX RDF
45	Enno Lübbers, Marco Platzner	ReconOS: An RTOS supporting Hard- and Software Threads.	FPL	2007	DBLP DOI BibTeX RDF
45	Hao Fu, Ming Cai, Liu Fang, Peng Liu 0027, Jinxiang Dong	Research on RTOS-Integrated TMR for Fault Tolerant Systems.	SNPD (3)	2007	DBLP DOI BibTeX RDF	fault-tolerant, reliability, TMR, Software Upgrade
45	Shuichi Oikawa, Megumi Ito, Tatsuo Nakajima	Linux/RTOS Hybrid Operating Environment on Gandalf Virtual Machine Monitor.	EUC	2006	DBLP DOI BibTeX RDF
45	M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC.	DATE	2005	DBLP DOI BibTeX RDF
45	Monica Besana, Michele Borgatti	Application Mapping to a Hardware Platform through Automated Code Generation Targeting a RTOS: A Design Case Study.	DATE	2003	DBLP DOI BibTeX RDF
39	Dhiego Silva, Kleber Stangherlin, Letícia Maria Veiras Bolzani, Fabian Vargas 0001	A Hardware-Based Approach for Fault Detection in RTOS-Based Embedded Systems.	ETS	2011	DBLP DOI BibTeX RDF	Hardware-Based Approach, RTOS
39	Zheng Liu, Hai Zhao, Peng Li, Jialiang Wang	An Optimization Model for IO Jitter in Device-Level RTOS.	ITNG	2009	DBLP DOI BibTeX RDF	IO jitter, device-level, RTOS, optimization model
39	Jean-Christophe Prévotet, Mohamed El Amine Benkhelifa, Bertrand Granado, Emmanuel Huck, Benoît Miramond, François Verdier, Daniel Chillet, Sébastien Pillement	A Framework for the Exploration of RTOS Dedicated to the Management of Hardware Reconfigurable Resources.	ReConFig	2008	DBLP DOI BibTeX RDF	dynamically reconfigurable architectures, RTOS, high-level modelling
39	Karlheinz Weiß, Thorsten Steckstor, Wolfgang Rosenstiel	Performance Analysis of a RTOS by Emulation of an Embedded System.	IEEE International Workshop on Rapid System Prototyping	1999	DBLP DOI BibTeX RDF	VxWorks, SPYDER-CORE-P1, embedded system, caches, emulation, microcontroller, real-time operating system, RTOS, ASI
39	Jaehwan Lee 0002, Vincent John Mooney III, Anders Daleby, Karl Ingström, Tommy Klevin, Lennart Lindh	A comparison of the RTU hardware RTOS with a hardware/software RTOS.	ASP-DAC	2003	DBLP DOI BibTeX RDF
38	Gunar Schirner, Andreas Gerstlauer, Rainer Dömer	Automatic generation of hardware dependent software for MPSoCs from abstract system specifications.	ASP-DAC	2008	DBLP DOI BibTeX RDF
38	Hermann Härtig, Steffen Zschaler, Martin Pohlack, Ronald Aigner, Steffen Göbel 0001, Christoph Pohl, Simone Röttger	Enforceable component-based realtime contracts.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Component runtime environment, Real-time systems, Component-based software engineering, Model-driven software development
38	Wei Han 0001, Ioannis Nousias, Mark Muir, Tughrul Arslan, Ahmet T. Erdogan	The Design of Multitasking Based Applications on Reconfigurable Instruction Cell Bsed Architectures.	FPL	2007	DBLP DOI BibTeX RDF
38	M. Omar Faruque Sarker, ChangHwan Kim, Seungheon Back, Bum-Jae You	An IEEE-1394 Based Real-time Robot Control System for Efficient Controlling of Humanoids.	IROS	2006	DBLP DOI BibTeX RDF
38	Zhaohui Wu 0001, Hong Li, Zhigang Gao, Jie Sun 0003, Jiang Li	An Improved Method of Task Context Switching in OSEK Operating System.	AINA (1)	2006	DBLP DOI BibTeX RDF
38	Iain Bate, Philippa Conmy	Safe Composition of Real Time Software.	HASE	2005	DBLP DOI BibTeX RDF
38	H. M. AbdElSalam, Shinsuke Kobayashi, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	Towards a Higher Level of Abstraction in Hardware/Software Co-Simulation.	ICDCS Workshops	2004	DBLP DOI BibTeX RDF
38	Jiyong Park, Saehwa Kim, Seongsoo Hong	Weaving Aspects into Real-Time Operating System Design Using Object-Oriented Model Transformation.	WORDS Fall	2003	DBLP DOI BibTeX RDF
38	Vincent John Mooney III, Douglas M. Blough	A Hardware-Software Real-Time Operating System Framework for SoCs.	IEEE Des. Test Comput.	2002	DBLP DOI BibTeX RDF
38	Andrea Acquaviva, Luca Benini, Bruno Riccò	Energy characterization of embedded real-time operating systems.	SIGARCH Comput. Archit. News	2001	DBLP DOI BibTeX RDF
38	Felice Balarin, Massimiliano Chiodo, Attila Jurecska, Luciano Lavagno, Bassam Tabbara, Alberto L. Sangiovanni-Vincentelli	Automatic Generation of a Real-Time Operating System for Embedded Systems.	CODES	1997	DBLP BibTeX RDF	scheduling, Real-Time Operating Systems, co-synthesis
32	Karel Dudácek 0001	On Minimizing RTOS Aperiodic Tasks Server Energy Consumption.	DDECS	2008	DBLP DOI BibTeX RDF
32	Carlo Brandolese, William Fornaciari	Measurement, Analysis and Modeling of RTOS System Calls Timing.	DSD	2008	DBLP DOI BibTeX RDF
32	Laurent Moss, Maxime de Nanclas, Luc Filion, Sebastien Fontaine, Guy Bois, El Mostapha Aboulhamid	Seamless hardware/software performance co-monitoring in a codesign simulation environment with RTOS support.	DATE	2007	DBLP DOI BibTeX RDF
32	Pao-Ann Hsiung, Shang-Wei Lin 0001	From ISA to application design via RTOS - a course design framework for embedded software.	ICPADS	2007	DBLP DOI BibTeX RDF
32	Hyojun Kim, Jihyun In, DongHoon Ham, SongHo Yoon, Dongkun Shin	Virtual-ROM: A New Demand Paging Component for RTOS and NAND Flash Memory Based Mobile Devices.	ISCIS	2006	DBLP DOI BibTeX RDF
32	Ankur Agarwal, Saeed Rajput, Abhijit S. Pandya	Power Management System for Embedded RTOS: An Object Oriented Approach.	CCECE	2006	DBLP DOI BibTeX RDF
32	M. Abdelsalam Hassan, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai	Enabling RTOS simulation modeling in a system level design language.	ASP-DAC	2005	DBLP DOI BibTeX RDF
32	Anand Eswaran, Anthony Rowe 0001, Raj Rajkumar	Nano-RK: An Energy-Aware Resource-Centric RTOS for Sensor Networks.	RTSS	2005	DBLP DOI BibTeX RDF
32	Yuhong Zhao 0001, Simon Oberthür, Norma Montealegre, Franz J. Rammig, Martin Kardos	Increasing Dependability by Means of Model-Based Acceptance Test inside RTOS.	PPAM	2005	DBLP DOI BibTeX RDF
32	Arthur Segard, François Verdier	SOC and RTOS: Managing IPs and Tasks Communications.	FPL	2004	DBLP DOI BibTeX RDF
32	Hiroaki Takada	Introduction to the TOPPERS Project - Open Source RTOS for Embedded Systems.	ISORC	2003	DBLP DOI BibTeX RDF
32	Kwangyong Lee, Jeong-Si Kim, Chaedeok Lim, Heung-Nam Kim	A Development of Remote Tracepoint Debugger for Run-time Monitoring and Debugging of Timing Constraints on Qplus-P RTOS.	WSTFES	2003	DBLP DOI BibTeX RDF
25	Liu Weiguang, Wang Wenqi, Cui Jiangtao	A New Scheme for Multisensor Image Fusion System.	IAS	2009	DBLP DOI BibTeX RDF
25	Toshiaki Aoki	Model Checking Multi-Task Software on Real-Time Operating Systems.	ISORC	2008	DBLP DOI BibTeX RDF
25	Bing Guo, Yan Shen, Lei Zhang, Xiang Zhou	Research and Design of Shared Resources Competition Solution among Hardware-Software Tasks based on Unified Scheduling.	EUC (2)	2008	DBLP DOI BibTeX RDF
25	Han Wei, Mark Muir, Ioannis Nousias, Tughrul Arslan, Ahmet T. Erdogan	Mapping Real Time Operating System on Reconfigurable Instruction Cell Based Architectures.	FCCM	2007	DBLP DOI BibTeX RDF
25	Irfan Hamid, Elie Najm, Jérôme Hugues	A Generative Approach to Building a Framework for Hard Real-Time Applications.	SEW	2007	DBLP DOI BibTeX RDF
25	Hector Posadas, Jesús Ádamez, Pablo Sánchez, Eugenio Villar, Francisco Blasco	POSIX modeling in SystemC.	ASP-DAC	2006	DBLP DOI BibTeX RDF
25	Ankit Mathur, Mayank Agarwal, Soumyadeb Mitra, Anup Gangwar, M. Balakrishnan, Subhashis Banerjee	SMPS: an FPGA-based prototyping environment for multiprocessor embedded systems (abstract only).	FPGA	2005	DBLP DOI BibTeX RDF
25	Bo Zhou, Weidong Qiu, Chenglian Peng	An Operating System Framework for Reconfigurable Systems.	CIT	2005	DBLP DOI BibTeX RDF
25	Pasi Sarolahti, Markku Kojo, Kimmo E. E. Raatikainen	F-RTO: an enhanced recovery algorithm for TCP retransmission timeouts.	Comput. Commun. Rev.	2003	DBLP DOI BibTeX RDF
25	Jae-Ho Lee, Heung-Nam Kim	Implementing priority inheritance semaphore on uC/OS real-time kernel.	WSTFES	2003	DBLP DOI BibTeX RDF
25	Dongyao Ji, Yuming Wang	Comments on "An approach to the formal verification of the two-party cryptographic protocols" by Zhang, Li and Xiao.	ACM SIGOPS Oper. Syst. Rev.	2001	DBLP DOI BibTeX RDF
25	Christos Drosos, M. Zayadine, Dimitris Metafas	Real-Time Communication Protocol Development Using SDL for an Embedded System On Chip Based on ARM Microcontroller.	ECRTS	2001	DBLP DOI BibTeX RDF
20	Tullio Facchinetti, Alberto Savioli, Emanuele Goldoni	Design and development of a real-time embedded inertial measurement unit.	SAC	2010	DBLP DOI BibTeX RDF	IMU, inertial measurement unit, real-time, embedded, RTOS
20	Dominique Bertrand, Sébastien Faucou, Yvon Trinquet	Temporal isolation for the cohabitation of applications in automotive embedded software.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	automotive domain, temporal isolation, embedded software, RTOS
20	Hsiang-Kuo Tang, Kyle Rupnow, Parmesh Ramanathan, Katherine Compton	Dynamic Binding and Scheduling of Firm-Deadline Tasks on Heterogeneous Compute Resources.	RTCSA	2010	DBLP DOI BibTeX RDF	multi-resource, scheduling, real-time, multiprocessor, heterogeneous, multi-core, RTOS
20	Laurent Gantel, Salah Layouni, Mohamed El Amine Benkhelifa, François Verdier, Stéphanie Chauvet	Multiprocessor Task Migration Implementation in a Reconfigurable Platform.	ReConFig	2009	DBLP DOI BibTeX RDF	RTOS for embedded platforms, Dynamic and partial reconfigurable systems, FPGA, MPSoC, Task migration
20	Jianwei Dong, Shi Zhang, Xiaonan Jia	A Portable Intelligent ECG Monitor Based on Wireless Internet and Embedded System Technology.	BMEI (2)	2008	DBLP DOI BibTeX RDF	ECG interpretation, ASIC, RTOS, ECG monitor
20	Florian Eibensteiner, Rainer Findenig, Jürgen Tossold, Wilfried Kubinger, Josef Langer, Markus Pfaff	Embedded Robotic Solution: Integrating Robotics Interfaces with a High-Level CPU in a System-on-a-Chip.	EUROCAST	2007	DBLP DOI BibTeX RDF	Robotics, System-on-a-Chip, hard real-time, RTOS
20	Abhishek Mitra, Marcello Lajolo, Kanishka Lahiri	SOFTENIT: a methodology for boosting the software content of system-on-chip designs.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	embedded systems, partitioning, RTOS, HW/SW codesign
20	Mostefa Belarbi, Jean-Philippe Babau, Jean-Jacques Schwarz	Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.	DS-RT	2004	DBLP DOI BibTeX RDF	Exhaustive Simulation, Temporal Verification, Observer Automata, Communicating, Timed Automata, RTOS
20	Stefan Lankes, Michael Pfeiffer 0002, Thomas Bemmerl	Design and Implementation of a SCI-Based Real-Time CORBA.	ISORC	2001	DBLP DOI BibTeX RDF	minimumCORBA, Scalable Coherent Interface (SCI), embedded systems, RTOS, real-time networks, Real-Time CORBA
20	Yaroslav Domaratsky, Maxim Perevozchikov, Alexander Ingulets, Alexander Alkhovik	Back-End Software for Highly Dependable Real-Time Control Systems.	COMPSAC	2001	DBLP DOI BibTeX RDF	highly dependable, TTOS, FTCom, TTP, fault-tolerant, real-time, TDMA, automotive, RTOS, safety critical, Time-triggered, FlexRay, OS
20	Flavius Gruian	Hard real-time scheduling for low-energy using stochastic data and DVS processors.	ISLPED	2001	DBLP DOI BibTeX RDF	scheduling, low-energy, hard real-time, RTOS