Search results for "embedded real-time systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	João Cadamuro Junior, Douglas Renaux	Efficient Monitoring of Embedded Real-Time Systems.	ITNG	2008	DBLP DOI BibTeX RDF	Execution time monitoring, Embedded Real-Time Systems
3	Peng Wei, Lihua Yue, Zhanzhan Liu, Xiaoyan Xiang	Flash memory management based on predicted data expiry-time in embedded real-time systems.	SAC	2008	DBLP DOI BibTeX RDF	data expiry-time, flash memory, embedded real-time systems, FTL
3	Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz	07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP BibTeX RDF
3	Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz	07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP BibTeX RDF
3	Antonio Martí Campoy, Eugenio Tamura, S. Sáez, Francisco Rodríguez, José V. Busquets-Mataix	On Using Locking Caches in Embedded Real-Time Systems.	ICESS	2005	DBLP DOI BibTeX RDF	genetic algorithms, performance evaluation, predictability, response time, Cache memories, schedulability analysis, execution time, embedded real-time systems
3	Franz-Josef Rammig, Carsten Rust	Modeling of Dynamically Modifiable Embedded Real-Time Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF	Petri nets, autonomic computing, reconfigurable systems, embedded real-time systems
3	Taehyoun Kim, Naehyuck Chang, Heonshik Shin	Bounding Worst Case Garbage Collection Time for Embedded Real-Time Systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	2000	DBLP DOI BibTeX RDF	live memory analysis, garbage collection, embedded real-time systems, memory requirement
2	Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)	Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers	Model-Based Engineering of Embedded Real-Time Systems	2011	DBLP DOI BibTeX RDF
2	Wilkerson de L. Andrade, Patrícia D. L. Machado, Everton L. G. Alves, Diego R. Almeida	Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS.	SBMF	2009	DBLP DOI BibTeX RDF
2	Razvan Racu, Arne Hamann, Rolf Ernst	Sensitivity analysis of complex embedded real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	System properties, Distributed systems, Real-time, Robustness, System-on-chip, Compositional, Embedded, Sensitivity analysis, Scheduling analysis, Binary search, Slack, Performance verification
2	Wolfgang Forster, Christof Kutschera, Andreas Steininger, Karl M. Göschka	Automated generation of explicit connectors for component based hardware/software interaction in embedded real-time systems.	IPDPS	2008	DBLP DOI BibTeX RDF
2	Florian Kluge, Jörg Mische, Sascha Uhrig, Theo Ungerer	An Operating System Architecture for Organic Computing in Embedded Real-Time Systems.	ATC	2008	DBLP DOI BibTeX RDF
2	Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Jensen	On Scalable Synchronization for Distributed Embedded Real-Time Systems.	SEUS	2008	DBLP DOI BibTeX RDF
2	Daniel Sundmark, Henrik Thane	Pinpointing interrupts in embedded real-time systems using context checksums.	ETFA	2008	DBLP DOI BibTeX RDF
2	Marco A. Wehrmeister, Edison Pignaton de Freitas, Dalimir Orfanus, Carlos Eduardo Pereira, Franz-Josef Rammig	A Case Study to Evaluate Pros/Cons of Aspect- and Object-Oriented Paradigms to Model Distributed Embedded Real-Time Systems.	MOMPES	2008	DBLP DOI BibTeX RDF
2	Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (eds.)	Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP BibTeX RDF
2	Nourchène Elleuch, Adel Khalfallah, Samir Ben Ahmed	ArchMDE Approach for the Development of Embedded Real Time Systems.	Ada-Europe	2007	DBLP DOI BibTeX RDF	TURTLE, Model Transformation, Meta-model, Architectural Style, MDE, Embedded Real Time System
2	Frank Lüders, Shoaib Ahmad, Faisal Khizer, Gurjodh Singh-Dhillon	Using Software Component Models and Services in Embedded Real-Time Systems.	HICSS	2007	DBLP DOI BibTeX RDF
2	Marco A. Wehrmeister, Edison Pignaton de Freitas, Carlos Eduardo Pereira, Flávio Rech Wagner	An Aspect-Oriented Approach for Dealing with Non-Functional Requirements in a Model-Driven Development of Distributed Embedded Real-Time Systems.	ISORC	2007	DBLP DOI BibTeX RDF
2	Iman Badr, Hisham Mubarak, Peter Göhner	Extending the MaSE Methodology for the Development of Embedded Real-Time Systems.	LADS	2007	DBLP DOI BibTeX RDF	Agent-Oriented Software Development, Real-Time Systems, Embedded Systems
2	Stefan Resmerita, Patricia Derler, Wolfgang Pree, Andreas Naderlinger	Modeling and Simulation of TDL Applications.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai	Metamodelling - State of the Art and Research Challenges.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Philippe Cuenot, Patrick Frey, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Mark-Oliver Reiser, Anders Sandberg, David Servat, Ramin Tavakoli Kolagari, Martin Törngren, et al.	The EAST-ADL Architecture Description Language for Automotive Embedded Software.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Mass Soldal Lund, Atle Refsdal, Ketil Stølen	Semantics of UML Models for Dynamic Behavior - A Survey of Different Approaches.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Ingo Weisemöller, Felix Klar, Andy Schürr	Development of Tool Extensions with MOFLON.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Elodie Legros, Wilhelm Schäfer, Andy Schürr, Ingo Stürmer	MATE - A Model Analysis and Transformation Environment for MATLAB Simulink.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Bernhard Schätz, Holger Giese	Models of Reactive Systems - Communication, Concurrency, and Causality.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Sébastien Gérard, Huáscar Espinoza, François Terrier, Bran Selic	Modeling Languages for Real-Time and Embedded Systems - Requirements and Standards-Based Solutions*.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty	The Model-Integrated Computing Tool Suite.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Sébastien Gérard, Cédric Dumoulin, Patrick Tessier, Bran Selic	Papyrus: A UML2 Tool for Domain-Specific Language Modeling.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Tihamer Levendovszky, Bernhard Rumpe, Bernhard Schätz, Jonathan Sprinkle	Model Evolution and Management.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Holger Giese, Stefan Neumann, Oliver Niggemann, Bernhard Schätz	Model-Based Integration.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Michaela Huhn, Hardi Hungar	UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	De-Jiu Chen, Martin Törngren, Magnus Persson, Lei Feng, Tahir Naseer Qureshi	Towards Model-Based Engineering of Self-configuring Embedded Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Tibor Farkas, Torsten Klein, Harald Röbig	Application of Quality Standards to Multiple Artifacts with a Universal Compliance Solution.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Oliver Niggemann, Anne Geburzi, Joachim Stroop	Benefits of System Simulation for Automotive Applications.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Florian Hölzl, Martin Feilkas	AutoFocus 3 - A Scientific Tool Prototype for Model-Based Development of Component-Based, Reactive, Distributed Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Ulrich Freund	Representation of Automotive Software Description Means in ASCET.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Ingolf Krüger, Claudiu Farcas, Emilia Farcas, Massimiliano Menarini	Requirements Modeling for Embedded Realtime Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Christian Buckl, Alois Knoll, Ina Schieferdecker, Justyna Zander	Model-Based Analysis and Development of Dependable Systems.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Claudia Priesterjahn, Matthias Tichy, Stefan Henkler, Martin Hirsch, Wilhelm Schäfer	Fujaba4Eclipse Real-Time Tool Suite.	Model-Based Engineering of Embedded Real-Time Systems	2007	DBLP DOI BibTeX RDF
2	Kaj Hänninen, Jukka Mäki-Turja, Mikael Nolin	Present and Future Requirements in Developing Industrial Embedded Real-Time Systems - Interviews with Designers in the Vehicle Domain.	ECBS	2006	DBLP DOI BibTeX RDF
2	Johan Andersson, Joel Huselius, Christer Norström, Anders Wall	Extracting Simulation Models from Complex Embedded Real-Time Systems.	ICSEA	2006	DBLP DOI BibTeX RDF
2	Christian Del Rosso	The Method, the Tools and Rationales for Assessing Dynamic Memory Efficiency in Embedded Real-Time Systems in Practice.	ICSEA	2006	DBLP DOI BibTeX RDF
2	Razvan Racu, Arne Hamann, Rolf Ernst	A Formal Approach to Multi-Dimensional Sensitivity Analysis of Embedded Real-Time Systems.	ECRTS	2006	DBLP DOI BibTeX RDF
2	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	DATE	2006	DBLP DOI BibTeX RDF
2	Frank Lüders, Daniel Flemström, Anders Wall, Ivica Crnkovic	A Prototype Tool for Software Component Services in Embedded Real-Time Systems.	CBSE	2006	DBLP DOI BibTeX RDF
2	Jicheng Fu, Farokh B. Bastani, I-Ling Yen	Automated AI Planning and Code Pattern Based Code Synthesis.	ICTAI	2006	DBLP DOI BibTeX RDF	Automated code synthesis, Graphplan, AI planning, Embedded real-time systems, Code patterns
2	Christian Del Rosso	Dynamic Memory Management for Software Product Family Architectures in Embedded Real-Time Systems.	WICSA	2005	DBLP DOI BibTeX RDF
2	Jakob Axelsson	A Method for Evaluating Uncertainties in the Early Development Phases of Embedded Real-Time Systems.	RTCSA	2005	DBLP DOI BibTeX RDF
2	Shourong Lu, Wolfgang A. Halang, Lichen Zhang	A Component-Based UML Profile to Model Embedded Real-Time Systems Designed by the MDA Approach.	RTCSA	2005	DBLP DOI BibTeX RDF
2	Marco A. Wehrmeister, Leandro Buss Becker, Flávio Rech Wagner, Carlos Eduardo Pereira	An Object-Oriented Platform-based Design Process for Embedded Real-Time Systems.	ISORC	2005	DBLP DOI BibTeX RDF	real-time object computing, RT-UML, RT-Java, code generation
2	Kristian Sandström, Johan Fredriksson, Mikael Åkerholm	Introducing a Component Technology for Safety Critical Embedded Real-Time Systems.	CBSE	2004	DBLP DOI BibTeX RDF
2	Jakob Engblom, Andreas Ermedahl, Mikael Sjödin, Jan Gustafsson, Hans Hansson	Worst-case execution-time analysis for embedded real-time systems.	STTT	2003	DBLP DOI BibTeX RDF	Embedded systems, Software architecture, Hard real-time, WCET analysis, Programming tools
2	Hui-Ming Su, Jing Chen	Framework-Based Development of Embedded Real-Time Systems Hui-Ming Su and Jing Chen.	RTCSA	2003	DBLP DOI BibTeX RDF
2	Zonghua Gu, Kang G. Shin	An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.	ICDCS	2003	DBLP DOI BibTeX RDF
2	Dionisio de Niz, Raj Rajkumar	Time weaver: a software-through-models framework for embedded real-time systems.	LCTES	2003	DBLP DOI BibTeX RDF	couplers, semantic dimension, semantic separation, software-through-models, real-time, embedded
2	Pao-Ann Hsiung, Trong-Yen Lee, Win-Bin See, Jih-Ming Fu, Sao-Jie Chen	VERTAF: An Object-Oriented Application Framework for Embedded Real-Time Systems. (PDF / PS)	Symposium on Object-Oriented Real-Time Distributed Computing	2002	DBLP DOI BibTeX RDF	object-oriented, formal verification, code generation, software component, embedded real-time systems
2	S. Chakraverty, C. P. Ravikumar, D. Roy Choudhuri	An Evolutionary Scheme for Cosynthesis of Real-Time Systems.	VLSI Design	2002	DBLP DOI BibTeX RDF	stochastic task scheduling, hierarchical genetic algorithm, multiprocessor architectures, embedded real-time systems, Hardware software co-synthesis
2	Andreas Korff	UML for Embedded Real-time Systems and the UML Extensions by ARTISAN Software Tools.	OMER	2001	DBLP BibTeX RDF
2	Uwe Brinkschulte, Aurelie Bechina, Florentin Picioroaga, Etienne Schneider, Theo Ungerer, Jochen Kreuzinger, Matthias Pfeffer	A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems. (PDF / PS)	SRDS	2001	DBLP DOI BibTeX RDF
2	Jochen Malte Küster, Joachim Stroop	Consistent Design of Embedded Real-Time Systems with UML-RT.	ISORC	2001	DBLP DOI BibTeX RDF
2	M. Teresa Higuera-Toledano, Valérie Issarny	Java Embedded Real-Time Systems: An Overview of Existing Solutions.	ISORC	2000	DBLP DOI BibTeX RDF	Scheduling, Java, Real-Time, Embedded, Garbage Collection
2	Pao-Ann Hsiung	Hardware-software coverification of concurrent embedded real-time systems.	ECRTS	1999	DBLP DOI BibTeX RDF
2	Tomoyoshi Sugawara, Kosuke Tatsukawa	Table-based QoS Control for Embedded Real-Time Systems.	Workshop on Languages, Compilers, and Tools for Embedded Systems	1999	DBLP DOI BibTeX RDF	resource allocation, QoS control, embedded real-time system, multimedia processing, device control
2	Taehyoun Kim, Naehyuck Chang, Namyun Kim, Heonshik Shin	Scheduling Garbage Collector for Embedded Real-Time Systems.	Workshop on Languages, Compilers, and Tools for Embedded Systems	1999	DBLP DOI BibTeX RDF
2	Felice Balarin, Luciano Lavagno, Praveen K. Murthy, Alberto L. Sangiovanni-Vincentelli	Scheduling for Embedded Real-Time Systems.	IEEE Design & Test of Computers	1998	DBLP DOI BibTeX RDF
2	Roman Gumzej, Matjaz Colnaric, Domen Verber, Wolfgang A. Halang	Towards Standard-Based Specification and Design of Embedded Real-Time Systems.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Mohammed El Shobaki	Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation.	EUROMICRO	1998	DBLP DOI BibTeX RDF
2	Gaurav Arora, David B. Stewart	A Tool to Assist in Fine-Tuning and Debugging Embedded Real-Time Systems.	LCTES	1998	DBLP DOI BibTeX RDF
2	Jie Xu, Brian Randell	Roll-forward error recovery in embedded real-time systems. (PDF / PS)	ICPADS	1996	DBLP DOI BibTeX RDF	roll-forward error recovery, checkpointing schemes, time-critical applications, checkpoint validation steps, fault-free processors, interaction-intensive applications, checkpoint validation, real-time systems, fault tolerant computing, distributed processing, multiprocessing systems, system recovery, embedded real-time systems
2	Khawar M. Zuberi, Kang G. Shin	EMERALDS: a microkernel for embedded real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	EMERALDS, real time microkernel, small to medium size embedded systems, standard OS services, multi threaded processes, kernel size, user level address space, user level server, full memory protection, communication protocol stacks, user level servers, uniprocessor version, Motorola 68040 processor, protected address spaces, 13 KByte, scheduling, real-time systems, message passing, message passing, device drivers, operating system kernels, system calls, embedded real time systems, microkernel, context switch, semaphores
2	Jürgen Ziegler, Maher Awad, Juha Kuusela	Applying object-oriented technology in real-time systems with the OCTOPUS method.	ICECCS	1995	DBLP DOI BibTeX RDF	OCTOPUS method, systematic software development, software engineering, real-time systems, real-time systems, requirements, object-oriented methods, object-oriented technology, embedded real-time systems
2	Ching-Chih Han, Kang G. Shin	Real-time communication in FieldBus multiaccess networks. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	field buses, FieldBus multiaccess networks, automated factories, absolute deadline guarantees, multiaccess local area networks, SP-50 FieldBus, industrial standard protocol, manufacturing applications, token-passing networks, centralized scheduling multiaccess network, centralized token scheduling, pinwheel, distance-constrained scheduling, centralized-scheduling multiaccess networks, message deadlines, scheduling, real-time systems, protocols, local area networks, timing constraints, real-time communication, random access, embedded real-time systems, computer integrated manufacturing, token networks, multi-access systems, CSMA/CD, industrial process controls, multiaccess networks
2	Felice Balarin, Alberto L. Sangiovanni-Vincentelli	Iterative algorithms for formal verification of embedded real-time systems.	ICCAD	1994	DBLP DOI BibTeX RDF
1	Andreas Hjertström, Dag Nyström, Mikael Sjödin	Data management for component-based embedded real-time systems: The database proxy approach.	Journal of Systems and Software	2012	DBLP DOI BibTeX RDF
1	R. Mohamad, M. W. Aziz, D. N. A. Jawawi, M. Ghazali, M. Z. Arbaie, N. Ibrahim	Service identification guideline for developing distributed embedded real-time systems.	IET Software	2012	DBLP DOI BibTeX RDF
1	Marco A. Wehrmeister, Joao G. Packer, Luis M. Ceron	Support for early verification of embedded real-time systems through UML models simulation.	Operating Systems Review	2012	DBLP DOI BibTeX RDF
1	Klaus Becker, Marc Zeller, Gereon Weiss	Towards Efficient On-line Schedulability Tests for Adaptive Networked Embedded Real-time Systems.	PECCS	2012	DBLP BibTeX RDF
1	Timo Kerstan	Towards full virtualization of embedded real-time systems.		2011	RDF
1	Simon Perathoner	Modular performance analysis of embedded real-time systems: improving modeling scope and accuracy.		2011	RDF
1	Roman Obermaisser	Component and service-oriented distributed embedded real-time systems (Extended papers from ISORC 2010).	Softw., Pract. Exper.	2011	DBLP DOI BibTeX RDF
1	José Luis March, Julio Sahuquillo, Houcine Hassan, Salvador Petit, José Duato	A New Energy-Aware Dynamic Task Set Partitioning Algorithm for Soft and Hard Embedded Real-Time Systems.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Florian Kluge, Jörg Mische, Theo Ungerer	Dynamic Classification for Embedded Real-Time Systems.	Organic Computing	2011	DBLP DOI BibTeX RDF
1	Joachim Hänsel, Daniela Rose, Paula Herber, Sabine Glesner	An Evolutionary Algorithm for the Generation of Timed Test Traces for Embedded Real-Time Systems.	ICST	2011	DBLP DOI BibTeX RDF
1	Björn Bartels, Sabine Glesner	Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.	APSEC	2011	DBLP DOI BibTeX RDF
1	Jean-Luc Béchennec, Mikaël Briday, Valere Alibert	Extending Harmless architecture description language for embedded real-time systems validation.	SIES	2011	DBLP DOI BibTeX RDF
1	Antonio Barros, Luís Miguel Pinho	Software Transactional Memory as a Building Block for Parallel Embedded Real-Time Systems.	EUROMICRO-SEAA	2011	DBLP DOI BibTeX RDF
1	Kai Lampka, Kai Huang, Jian-Jia Chen	Dynamic counters and the efficient and effective online power management of embedded real-time systems.	CODES+ISSS	2011	DBLP DOI BibTeX RDF
1	Hyeonjoong Cho, Binoy Ravindran, E. Douglas Jensen	Lock-free synchronization for dynamic embedded real-time systems.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Dakai Zhu	Reliability-aware dynamic energy management in dependable embedded real-time systems.	ACM Trans. Embedded Comput. Syst.	2010	DBLP DOI BibTeX RDF
1	Ermeson Andrade, Paulo Romero Martins Maciel, Bruno Costa e Silva Nogueira, Carlos Araújo, Gustavo Rau de Almeida Callou	A COTS-based approach for estimating performance and energy consumption of embedded real-time systems.	Inf. Process. Lett.	2010	DBLP DOI BibTeX RDF
1	Martin Humenberger, Christian Zinner, Michael Weber, Wilfried Kubinger, Markus Vincze	A fast stereo matching algorithm suitable for embedded real-time systems.	Computer Vision and Image Understanding	2010	DBLP DOI BibTeX RDF
1	Kai Lampka, Simon Perathoner, Lothar Thiele	Analytic real-time analysis and timed automata: a hybrid methodology for the performance analysis of embedded real-time systems.	Design Autom. for Emb. Sys.	2010	DBLP DOI BibTeX RDF
1	Roman Obermaisser, Hermann Kopetz, Christian Paukovits	A Cross-Domain Multi-Processor System-on-a-Chip for Embedded Real-Time Systems.	IEEE Trans. Industrial Informatics	2010	DBLP DOI BibTeX RDF
1	Laxmisha Rai, Joongjin Kook, Jiman Hong	Non-Deterministic Behavior Modeling Framework for Embedded Real-Time Systems Operating in Uncertain Environments.	J. Inf. Sci. Eng.	2010	DBLP BibTeX RDF
1	Wolfgang Haberl, Markus Herrmannsdoerfer, Jan Birke, Uwe Baumgarten	Model-Level Debugging of Embedded Real-Time Systems.	CIT	2010	DBLP DOI BibTeX RDF	simulation, real time systems, embedded systems, code generation, model-driven development, software debugging
1	Yue Lu, Thomas Nolte, Johan Kraft, Christer Norström	A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems.	RTCSA	2010	DBLP DOI BibTeX RDF
1	Felix Bruns, Shadi Traboulsi, David Szczesny, Maria Elizabeth Gonzalez, Yang Xu, Attila Bilgic	An Evaluation of Microkernel-Based Virtualization for Embedded Real-Time Systems.	ECRTS	2010	DBLP DOI BibTeX RDF
1	Wolfgang Müller 0003, Alexander Bol, Alexander Krupp, Ola Lundkvist	Generation of Executable Testbenches from Natural Language Requirement Specifications for Embedded Real-Time Systems.	DIPES/BICC	2010	DBLP DOI BibTeX RDF