Search results for "real-time systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
7	Gopal Gupta, Enrico Pontelli	A constraint-based approach for specification and verification of real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	constraint based approach, real time systems specification, real time systems verification, general constraint logic programming, real time event ordering, grammar productions, Definite Clause Grammar, CLP program, DCG, timed push down automata, real-time systems, timed automata, constraint logic program, constraint automata
5	Hyung-Taek Lim, Seung-Min Yang	A framework to model dependable real-time systems based on real-time object model.	RTCSA	2000	DBLP DOI BibTeX RDF	dependable real-time systems, real-time object model, fault-tolerant real-time systems, RobustRTO, robust real-time objects, RMO, region monitor real-time objects, object regions, abnormal behavior detection, system reconfiguration, real-time systems, embedded systems, fault tolerant computing, reconfigurable architectures, object-oriented methods, system recovery, system recovery, system monitoring, recovery blocks, N-version programming
5	Daeyoung Kim, Yann-Hang Lee, Mohamed F. Younis	SPIRIT-/spl mu/Kernel for strongly partitioned real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	SPIRIT-/spl mu/Kernel, strongly partitioned real-time systems, integrated application modules, integrated real-time systems, two-level hierarchical scheduling methodology, real-time constraint guarantees, address management, interrupt dispatching, exception dispatching, inter-application communication, application-level real-time operating systems, WindRiver VxWorks, Cygnus eCos, dependable integration, real-time systems, reliability, software architecture, software architecture, software reliability, software reusability, reusability, software portability, subroutines, operating system kernels, overheads, microkernel, cost reduction, integrated software, application scheduling
5	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Efficient verification of real-time systems: compact data structure and state-space reduction. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	real-time systems verification, clock values, clock constraints, real-valued variables, static analysis, timed automata, termination, reachability analysis, reachability analysis, state-space reduction, compact data structure
5	James H. Anderson, Srikanth Ramamurthy	A framework for implementing objects and scheduling tasks in lock-free real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	scheduling tasks, lock-free real time systems, lock-free algorithms, object sharing, lock based systems, multiobject lock-free operations, lock-free objects, operation interferences, linear programming, concurrency control, systems analysis, shared objects, integrated framework, scheduling conditions
5	V. Natarajan, Rance Cleaveland	Predictability of real-time systems: a process-algebraic approach. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	real time systems predictability, testing-based semantic preorder, process description language, TPL, activity-completion times, semantic preorder, must-preorder, optimality, process algebra, process algebra, variability, timing behavior
5	Matthew F. Storch, Jane W.-S. Liu	DRTSS: a simulation framework for complex real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	DRTSS, complex multi-paradigm distributed real-time systems, timing-oriented prototyping tools, PERTS schedulability analyzer tool, a priori schedulability analysis, real-time systems, virtual machines, distributed processing, discrete-event simulators, software performance evaluation, computer aided software engineering, software prototyping, simulation framework, verification tools, complex real-time systems
5	Michael Gagliardi, Ragunathan Rajkumar, Lui Sha	Designing for evolvability: building blocks for evolvable real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	evolvable real-time systems, fielded real-time systems, system abstractions, run-time abstractions, replaceable unit abstraction, extensible cell, real-time POSIX testbed, Simplex architecture, Real-Time Publisher/Subscriber communication model, safe evolutionary requirements, communication rights, real-time systems, semantics, software maintenance, distributed processing, Unix, resource reservation, evolvability
5	Jun Sun 0002, Jane W.-S. Liu	Bounding completion times of jobs with arbitrary release times and variable execution times. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	job completion time bounding, arbitrary release times, variable execution times, linear precedence constraints, priority-driven basis, simulation, scheduling, performance, real-time systems, real-time systems, complexity, upper bounds, workload
5	Robert T. Goettge, Eric W. Brehm, Charles Palczak, John A. Stankovic, Marty Humphrey	Knowledge-Based assistance for real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	Real-Time Scheduling Assistant, RTSA knowledge base, multiple scheduling algorithms, knowledge-based assistance, scheduling, real-time systems, real-time systems, graphical user interface, knowledge based systems, scheduling algorithms, inference mechanisms, processor scheduling, quantitative evaluation, performance characteristics, forward chaining, complex real-time systems
5	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
5	Ragunathan Rajkumar, Michael Gagliardi, Lui Sha	The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	utility programs, real-time publisher/subscriber inter-process communication model, application-level toolkits, group-based programming, anonymous communication techniques, programming ease, upgradable real-time systems, performance benchmarks, design, real-time systems, scalability, software architecture, distributed processing, software tools, interfaces, implementation, application program interfaces, portability, programming models, distributed real-time systems, software portability, application generators, analyzability, programming interface
5	Robert I. Davis, Sasikumar Punnekkat, Neil C. Audsley, Alan Burns	Flexible scheduling for adaptable real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	adaptable real-time systems, autonomous vehicle control, software/hardware failures, critical services, minimum acceptable quality, best effort scheduling, offline analysis, critical timing requirements, adaptive threshold policy, competing optional components, scheduling, real-time systems, fault tolerant computing, graceful degradation, road vehicles, computerised control, fixed priority preemptive scheduling, flexible scheduling, complex real time systems, system utility, dynamic behaviour
5	Daniel L. Kiskis, Kang G. Shin	SWSL: A Synthetic Workload Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	SWSL, synthetic workload specification language, synthetic workload generator, executable synthetic workload, operation level, control constructs, synthetic operations, real-time workloads, performance evaluation, performance, real-time systems, real-time systems, formal specification, distributed processing, specification languages, distributed real-time systems, data flow graph, dependability measurements
4	Chen Zhang, David Cordes	Resource access control for dynamic priority distributed real-time systems.	Real-Time Systems	2006	DBLP DOI BibTeX RDF	Scheduling, Distributed systems, Real-time systems, Embedded systems, Concurrency, Synchronization
4	Luís Miguel Pinho, Francisco Vasques, Andy J. Wellings	Replication Management in Reliable Real-Time Systems.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	software-based fault tolerance, distributed computer-controlled systems, transparent replication, real-time systems
4	Shuhua Wang, Grace Tsai	Specification and Timing Analysis of Real-Time Systems.	Real-Time Systems	2004	DBLP DOI BibTeX RDF	functional and timing requirements, real-time systems, specification, schedulability analysis, allocation
4	Tal Lev-Ami, Shmuel S. Tyszberowicz	Reactive and Real-Time Systems Course: How to Get the Most Out of it.	Real-Time Systems	2003	DBLP DOI BibTeX RDF	reactive real-time systems, course syllabus, scheduling, verification, synchronous languages
4	Guillem Bernat	Response Time Analysis of Asynchronous Real-Time Systems.	Real-Time Systems	2003	DBLP DOI BibTeX RDF	worst-case response time analysis, weakly-hard, real-time systems, schedulability analysis, asynchronous systems, idle time
4	Kim Guldstrand Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi	Compact Data Structures and State-Space Reduction for Model-Checking Real-Time Systems.	Real-Time Systems	2003	DBLP DOI BibTeX RDF	real-time systems, model checking, timed automata, design tool, formal specification and verification
4	Henrik Thane, Daniel Sundmark, Joel Huselius, Anders Pettersson	Replay Debugging of Real-Time Systems Using Time Machines.	IPDPS	2003	DBLP DOI BibTeX RDF	Real-time systems, monitoring, debugging, determinism, distributed real-time systems, replay, black box, probe-effect
4	John A. Stankovic, Tian He, Tarek F. Abdelzaher, Michael Marley, Gang Tao, Sang Hyuk Son, Cenyan L	Feedback Control Scheduling in Distributed Real-Time Systems. (PDF / PS)	IEEE Real-Time Systems Symposium	2001	DBLP DOI BibTeX RDF
4	Guillem Bernat, Ricardo Cayssials	Guaranteed On-Line Weakly-Hard Real-Time Systems. (PDF / PS)	IEEE Real-Time Systems Symposium	2001	DBLP DOI BibTeX RDF
4	Dakai Zhu, Rami G. Melhem, Bruce R. Childers	Scheduling with Dynamic Voltage/Speed Adjustment Using Slack Reclamation in Multi-Processor Real-Time Systems. (PDF / PS)	IEEE Real-Time Systems Symposium	2001	DBLP DOI BibTeX RDF
4	Mats Lindgren, Hans Hansson, Christer Norström, Sasikumar Punnekkat	Deriving reliability estimates of distributed real-time systems by simulation.	RTCSA	2000	DBLP DOI BibTeX RDF	timing guarantees, simulation based methodology, scheduling paradigms, schedulability, real-time systems, formal verification, virtual machines, software reliability, network topologies, task models, distributed programming, processor scheduling, distributed real-time systems, reliability analysis, reliability estimates
4	Jyhjong Lin	Real-time systems development: from structured analysis to object-oriented design.	RTCSA	2000	DBLP DOI BibTeX RDF	real time systems development, enhanced DFD model, system property verification, OO design model, fault tolerance, real-time systems, object-oriented programming, program verification, object oriented design, time constraint, structured analysis, structured programming, structured methods, execution control, object oriented techniques
4	Yves Meylan, Aneema Bajpai, Riccardo Bettati	ProtEx: a toolkit for the analysis of distributed real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	ProtEx toolkit, distributed real-time systems analysis, Rate Monotonic Analysis framework, queuing policies, RMA approach, flexible resource modeling, scheduling, scheduling, real-time systems, prototyping, distributed processing, software tools, systems analysis, workload, software prototyping
4	James H. Anderson, Philip Holman	Efficient pure-buffer algorithms for real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	efficient pure-buffer algorithms, multiprocessor real-time systems, multi-writer read/write pure-buffers, overwritten data, client processes, handshaking mechanisms, concurrent read/write operations safety, quantum-scheduled systems, priority-scheduled systems, buffer word length, real-time systems, computational complexity, distributed algorithms, safety, multiprocessing systems, time complexity, processor scheduling, optimized algorithms, buffer storage, space complexity, wait-free algorithms, shared buffers, processor number
4	Ahmed Khoumsi	A new method for testing real time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	real-time systems testing, test sequence executability, test sequence execution, real-time systems, constraints, automatic test pattern generation, program testing, timed automata, conformance testing, conformance testing, sequences, test case generation, automata theory, state explosion, test architecture, test sequence generation, continuous-time systems
4	Sasikumar Punnekkat, Alan Burns	Analysis of checkpointing for schedulability of real-time systems.	RTCSA	1997	DBLP DOI BibTeX RDF	exact schedulability tests, fault tolerant task sets, failure hypothesis, task response time, off-line design support tool, schedulability, fault tolerance, real-time systems, real-time systems, checkpointing, fault recovery, time redundancy
4	T. M. Chen, B. R. Wilkins	A set of new and efficient formulae for buffer size analysis of real-time systems using M/G/1 models.	RTCSA	1997	DBLP DOI BibTeX RDF	buffer size analysis, Poisson random arrival, compact formulae, M/G/1 queueing model, general service time distribution, single server system, M/D/1, M/E/sub k//1 system, real-time systems, real time systems, probability
4	Ahmed Bouajjani, Stavros Tripakis, Sergio Yovine	On-the-fly symbolic model checking for real-time systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	on-the-fly symbolic model checking, timed temporal logic, boolean combinations, FDDI protocol verification, real-time systems, temporal logic, timed automaton, linear inequalities
4	Hermann Kopetz, Roman Nossal	Temporal firewalls in large distributed real-time systems.	FTDCS	1997	DBLP DOI BibTeX RDF	large distributed real-time systems, temporal firewalls, autonomous subsystems, stable control-free interfaces, encapsulated subsystem, static properties, controlled object, real-time systems, complexity, abstraction, error propagation, system partitioning
4	Ragunathan Rajkumar, Chen Lee, John P. Lehoczky, Daniel P. Siewiorek	A resource allocation model for QoS management. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	resource allocation model, application-specific quality requirements, cryptographic security, Q-RAM, application utility functions, videoconferencing system, quality of service, distributed systems, real-time systems, networking, resource allocation, timing, multimedia systems, data quality, data security, QoS management, timeliness, system reliability, concurrent applications
4	Simon Fowler, Andy J. Wellings	Formal development of a real-time kernel. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	formal development, simple real time operating system kernel, restricted Ada 95 tasking model, fixed priority real time systems, abstract specification, PVS proof system, computational model, RTL, operating system kernels
4	Anastasio Molano, Kanaka Juvva, Ragunathan Rajkumar	Real-time filesystems - Guaranteeing timing constraints for disk accesses in RT-Mach. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	real-time file systems, RT-Mach, real-time database applications, real-time disk scheduling algorithm, earliest deadline scheduling, just-in-time scheduling, aperiodic servers, disk throughput, admission control policies, microkernel-based system, real-time shell, resource reservation paradigm, disk scheduling algorithms, performance, usability, real-time systems, multimedia systems, timing constraint, disks, disk access, concurrent applications
4	Sanjoy K. Baruah, Deji Chen, Aloysius K. Mok	Jitter concerns in periodic task systems. (PDF / PS)	IEEE Real-Time Systems Symposium	1997	DBLP DOI BibTeX RDF	periodic task systems, frame arrival time uncertainty, dynamic priority scheduling, uniprocessor scheduling, real-time systems, real time systems, computational complexity, jitter, preemptive scheduling, feasibility analysis
4	José V. Busquets-Mataix, Juan José Serrano, Rafael Ors, Pedro J. Gil, Andy J. Wellings	Using harmonic task-sets to increase the schedulable utilization of cache-based preemptive real-time systems.	RTCSA	1996	DBLP DOI BibTeX RDF	harmonic task-sets, schedulable utilization, preemptive real-time systems, better performance, cache-related preemption cost, Response Time schedulability Analysis, real-time systems, cache memories, worst-case execution time, schedulability analysis
4	Ichiro Mizunuma, Chia Shen, Morikazu Takegaki	Middleware for Distributed Industrial Real-Time Systems on ATM Networks. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	distributed industrial real-time systems, industrial plant monitoring, industrial plant control systems, real-time client-server programming model, MidART, network transparent programming abstractions, on-demand transmission, selective real-time channels, protocols, local area networks, local area networks, ATM networks, application programming interface, QoS requirements, middleware design
4	Chih Lai, H. Rebecca Callison	A framework for simulation of concurrency control policy in real-time systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	concurrency control policy, formal policies, logical correctness, concurrently executing processes, real-time environments, performance, real-time systems, real-time systems, resource allocation, virtual machines, distributed processing, concurrency control, transaction processing, correctness, scheduling policy, overload management, transaction processing systems
4	Ragunathan Rajkumar, Michael Gagliardi	High availability in the real-time publisher/subscriber inter-process communication model. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	real time publisher/subscriber communications model, interprocess communication model, rejoins, repetitive real time processes, RT P/S model, processor membership protocol layer, periodic broadcast membership protocol, strong semantics, idempotence properties, weak interleaving needs, communication programming interface, steady state real time execution paths, multimedia dissemination applications, fault tolerant computing, distributed processing, feedback control, distributed real time systems, node failures, processor failures
4	Felice Balarin	Approximate reachability analysis of timed automata. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	approximate reachability analysis, unsafe states, incorrect system, discrete state components, real-time systems, formal verification, Boolean functions, computation, timed automata, finite automata, finite state automata, timing information
4	Chih-wen Hsueh, Kwei-Jay Lin	An optimal pinwheel scheduler using the single-number reduction technique. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	optimal pinwheel scheduler, single-number reduction technique, real-time system scheduling, temporal distances, consecutive task execution, distance constraints, harmonic values, near-optimal heuristic algorithm, simulation, optimality, performance, real-time systems, schedulability condition
4	Conrado Daws, Sergio Yovine	Reducing the number of clock variables of timed automata. (PDF / PS)	IEEE Real-Time Systems Symposium	1996	DBLP DOI BibTeX RDF	clock variable number reduction, active clock detection, equal clock detection, memory space reduction, real-time systems, real time systems, verification, case studies, timed automata, bisimulation, experimental results, system evolution
4	Fang Feng, Sanjay Kamat, Wei Zhao	Guaranteeing application-to-application deadlines in distributed real-time systems. (PDF / PS)	LCN	1995	DBLP DOI BibTeX RDF	application-to-application deadlines, message deadlines, independent method, conservative estimates, host utilization, performance evaluation, real-time systems, distributed real-time systems, message delays
4	Boo-Geum Jung, Young-Jun Cha, Hyung-Hwan Kim, Sung-Ik Jun, Ju-Hyun Cho	Dynamic code binding for scalable operating system in distributed real-time systems. (PDF / PS)	RTCSA	1995	DBLP DOI BibTeX RDF	dynamic code binding, scalable operating system, microkernel structure, remote system call, system primitives, real-time systems, operating system, distributed processing, client-server systems, servers, operating systems (computers), distributed real-time systems, scalable architecture
4	José V. Busquets-Mataix, Juan José Serrano	The impact of extrinsic cache performance on predictability of real-time systems.	RTCSA	1995	DBLP DOI BibTeX RDF	tighter bounds, cached programs, extrinsic cache behavior, inter-task cache interference, cache predictability, performance evaluation, real-time systems, real-time systems, predictability, worst case execution time, schedulability analysis, cache storage, cache performance
4	Jürgen Teich, Lothar Thiele, Edward A. Lee	Modeling and simulation of heterogeneous real-time systems based on a deterministic discrete event model.	ISSS	1995	DBLP DOI BibTeX RDF	Ptolemy design system, deterministic discrete event model, heterogeneous real-time systems, mixed asynchronous/synchronous systems, schedule constraints, synchronously clocked systems, timed marked graphs, simulation, modeling, real-time systems, discrete event simulation, timing analysis, finite buffering, self-timed systems
4	P. R. P. Tepedino, Tereza G. Kirner	Specification and design of distributed hard real-time systems.	PDP	1995	DBLP DOI BibTeX RDF	distributed hard real-time systems, pre run time scheduling, HRTS, real-time systems, formal specification, graph theory, specification, distributed processing, software design, integrated approach, graph-based model
4	Wael M. Elseaidy, Rance Cleaveland	A tool for modeling and verifying real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	real-time systems verification, verification environment, graphical design la, Modechart, textually based language, Temporal CCS, system minimization, active structural control systems, real-time systems, formal verification, software tools, visual languages, equivalence checking, modeling tool
4	Alvaro Rendón, Juan C. Dueñas, Miguel A. de Miguel, Jyrki Leskela, Juan Antonio de la Puente, Gonzalo León, Alejandro Alonso	Animation of heterogeneous prototypes of real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	heterogeneous prototypes animation, heterogeneous prototyping, internal architecture, heterogeneous prototypes, real-time systems, real-time systems, computational complexity, complexity, computer animation, software prototyping, risks reduction, global model
4	Jair Jehuda, Gilad Koren, Daniel M. Berry	A time-sharing architecture for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	time-sharing systems, time-sharing architecture, dynamic multiple job systems, shared-memory multi-processor platforms, multiple states, near-optimal mode selection, reliable real-time time-sharing, job-oriented strategy, best-effort system values, dynamic critical task sets, complex task characteristics, real-time systems, resource allocation, shared memory systems, processor scheduling, portability, dynamic load-balancing, complex real-time systems, divide-and-conquer approach
4	Hermann Kopetz	Why time-triggered architectures will succeed in large hard real-time systems.	FTDCS	1995	DBLP DOI BibTeX RDF	large hard real-time systems, encapsulated subsystems, temporal firewalls, sparse time base, replica determinism, time-triggered communication protocol, real-time systems, computational complexity, computer architecture, design principles, time-triggered architectures
4	Miodrag Potkonjak, Wayne Wolf	Cost optimization in ASIC implementation of periodic hard-real time systems using behavioral synthesis techniques.	ICCAD	1995	DBLP DOI BibTeX RDF	allocation algorithms, behavioral synthesis techniques, datapath synthesis criteria, multiple computational tasks, multiple-task examples, periodic hard-real time systems, real-time systems, high level synthesis, logic design, application specific integrated circuits, circuit CAD, circuit optimisation, cost optimization, rate-monotonic scheduling, task sharing, synthesis algorithm, ASIC implementation
4	Hermann Kopetz, Roman Nossal	The Cluster Compiler - A Tool for the Design of Time-Triggered Real-Time Systems.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
4	Tai M. Chung, Henry G. Dietz	Language Constructs and Transformation for Hard Real-time Systems.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF	timing constraint, hard real-time, CHaRTS, real-time language
4	Sérgio Vale Aguiar Campos, Edmund M. Clarke, Wilfredo R. Marrero, Marius Minea	Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.	Workshop on Languages, Compilers, & Tools for Real-Time Systems	1995	DBLP DOI BibTeX RDF
4	Lennart Lindh, Johan Stärner, John Furunäs	From single to multiprocessor real-time kernels in hardware. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	multiprocessor real-time kernels, single processor real-time kernels, improved performance, improved determinism, integrated deterministic CPU, deterministic multitasking real time kernel, high performance multitasking real time kernel, high performance standalone multitasking real time kernel, deterministic standalone multitasking real time kernel, heterogeneous multiprocessor real-time systems, homogeneous multiprocessor real-time systems, scheduling, performance evaluation, real-time systems, multiprocessing systems, hardware, reconfigurable architectures, processor scheduling, multiprogramming, operating system kernels, firmware
4	Miguel Felder, Dino Mandrioli, Angelo Morzenti	Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	property proving, logical specifications, TRIO, Hoare method, dual language, real-time systems, real-time systems, embedded systems, formal specification, formal specification, Petri nets, temporal logic, temporal logic, theorem proving, first-order logic, timed Petri net, formal analysis, axiomatization
4	Shinichi Honiden, Kazuhiko Nishimura, Naoshi Uchihira, Kiyoshi Itoh	An Application of Artificial Intelligence to Object-Oriented Performance Design for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	object-oriented performance design, rapid prototyping method, OOPD, prototyping phases, prototype construction, prototype execution, artificial intelligence based methods, rapid construction mechanism, hybrid inference mechanism, declarative knowledge representation, MENDEL, Prolog based concurrent object-oriented language, prototype construction tool, real-time systems, real-time systems, artificial intelligence, object-oriented programming, knowledge representation, expert systems, expert system, software reusability, inference mechanisms, object-oriented languages, parallel languages, software prototyping, qualitative reasoning, reusable software components, prototype evaluation
4	Farnam Jahanian, Aloysius K. Mok	Modechart: A Specification Language for Real-Time Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	Modechart, absolute timing, real-time clock, RTL formulas, RTL assertions, graphical implementation, SARTOR, real-time systems, real-time systems, semantics, specification languages, specification language, rapid prototyping, timing constraints, abstraction levels, logic programming languages, hierarchical organization, real-time logic
4	Anders P. Ravn, Hans Rischel, Kirsten Mark Hansen	Specifying and Verifying Requirements of Real-Time Systems.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	specification of requirements, verification of design, real-time interval logic, top-level design, synchronous events, real-time systems, real-time systems, formal specification, distributed computation, formal verification, temporal logic, sensor, mathematical model, actuator, duration calculus, control law
4	Richard Gerber, Insup Lee	A Layered Approach to Automating the Verification of Real-Time Systems.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	CSR Application Language, high-level language constructs, periodic processes, configuration schema, CCSR process algebra, resource-based computation model, prioritized transition system, reachability analyzer, CCSR semantics, exception state, multisensor robot example, calculus of communicating systems, real-time systems, real-time systems, verification, formal specification, formal verification, specification, exception handling, exception handling, interrupts, correctness, deadlines, high level languages, timeouts, communication links, system resources, layered approach
4	Nicolas Halbwachs, Fabienne Lagnier, Christophe Ratel	Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Language LUSTRE.	IEEE Trans. Software Eng.	1992	DBLP DOI BibTeX RDF	data-flow language LUSTRE, synchronous data-flow language, critical real-time systems, ergonomy, dataflow approach, traditional description tools, verification tool LESAR, critical properties, real-time systems, parallel programming, program verification, program verification, parallel languages, verification methods, formal design
4	Terry Shepard, J. A. Martin Gagné	A Pre-Run-Time Scheduling Algorithm For Hard Real-Time Systems.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	pre-run-time scheduling algorithm, process sequencing, multiprocessor applications, preemptable processes, arbitrary precedence, exclusion constraints, branch-and-bound implicit enumeration technique, F-18 mission computer operational flight program, scheduling, real-time systems, multiprocessing systems, deadlines, computation times, hard real-time systems, aerospace computing, release times, feasible schedule, timing specifications
3	Stefan M. Petters, Kevin Elphinstone, Gernot Heiser	Trustworthy Real-Time Systems.	Advances in Real-Time Systems	2012	DBLP DOI BibTeX RDF
3	Hermann Härtig, Michael Roitzsch	As Time Goes By: Research on L4-Based Real-Time Systems.	Advances in Real-Time Systems	2012	DBLP DOI BibTeX RDF
3	Nikolay Stoimenov, Samarjit Chakraborty, Lothar Thiele	Interface-Based Design of Real-Time Systems.	Advances in Real-Time Systems	2012	DBLP DOI BibTeX RDF
3	Weixun Wang, Prabhat Mishra	PreDVS: preemptive dynamic voltage scaling for real-time systems using approximation scheme.	DAC	2010	DBLP DOI BibTeX RDF	real-time systems, approximation algorithm, dynamic voltage scaling, energy-aware scheduling
3	Khaled S. Refaat, Pierre-Emmanuel Hladik	Efficient Stochastic Analysis of Real-Time Systems via Random Sampling.	ECRTS	2010	DBLP DOI BibTeX RDF	pessimism, real time systems, efficient, random sampling, stochastic analysis
3	Fanxin Kong, Yiqun Wang, Qingxu Deng, Wang Yi	Minimizing Multi-resource Energy for Real-Time Systems with Discrete Operation Modes.	ECRTS	2010	DBLP DOI BibTeX RDF	real-time systems, dynamic voltage scaling, energy management, dynamic power management
3	Vahid Garousi, Lionel C. Briand, Yvan Labiche	A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.	Software and System Modeling	2009	DBLP DOI BibTeX RDF	Resource usage prediction, Load analysis, Resource overuse detection, Distributed systems, Real-time systems, UML, Load forecasting
3	Didier Lime, Olivier H. Roux	Formal verification of real-time systems with preemptive scheduling.	Real-Time Systems	2009	DBLP DOI BibTeX RDF	Verification, Formal methods, Petri nets, Preemptive scheduling, Hybrid automata
3	Moez Krichen, Stavros Tripakis	Conformance testing for real-time systems.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	On-the-fly algorithms, Real-time systems, Test generation, Coverage, Timed automata, Conformance testing, Specification and verification, Partial observability
3	Santiago Urueña, Juan Zamorano, Juan Antonio de la Puente	A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.	Ada-Europe	2009	DBLP DOI BibTeX RDF	distributed systems, real-time systems, Ada 2005, high-integrity systems, Ravenscar profile
3	Fengxiang Zhang, Alan Burns	Improvement to Quick Processor-Demand Analysis for EDF-Scheduled Real-Time Systems.	ECRTS	2009	DBLP DOI BibTeX RDF	Real-Time Systems, Schedulability Analysis, EDF Scheduling
3	Björn B. Brandenburg, James H. Anderson	Reader-Writer Synchronization for Shared-Memory Multiprocessor Real-Time Systems.	ECRTS	2009	DBLP DOI BibTeX RDF	multiprocessor real-time systems, reader/writer synchronization, fair locks, Global EDF, Partitioned EDF, schedulability, synchronization
3	Kai Huang, Luca Santinelli, Jian-Jia Chen, Lothar Thiele, Giorgio C. Buttazzo	Adaptive Dynamic Power Management for Hard Real-Time Systems.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
3	Song Han, Deji Chen, Ming Xiong, Aloysius K. Mok	Online Scheduling Switch for Maintaining Data Freshness in Flexible Real-Time Systems.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
3	Robert I. Davis, Alan Burns	Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
3	Alireza Ejlali, Bashir M. Al-Hashimi, Petru Eles	A standby-sparing technique with low energy-overhead for fault-tolerant hard real-time systems.	CODES+ISSS	2009	DBLP DOI BibTeX RDF	reliability, energy minimization, hard real-time systems
3	Olga Grinchtein, Martin Leucker	Network invariants for real-time systems.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Real-time systems, Parameterized systems, Network invariants
3	Xu-Dong Chen, Qing-Xin Zhu, Liao Yong, Xiong Guang Ze	End-to-end deadline control for aperiodic tasks in distributed real-time systems.	The Journal of Supercomputing	2008	DBLP DOI BibTeX RDF	Real-time multiprocessor pipeline, Stochastic optimal control, Real-time scheduling, Feedback control, Distributed real-time systems, Aperiodic task
3	José María López, José Luis Díaz, Joaquín Entrialgo, Daniel F. García	Stochastic analysis of real-time systems under preemptive priority-driven scheduling.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Schedulability analysis, Stochastic analysis, Uniprocessor systems
3	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
3	Shengquan Wang, Riccardo Bettati	Reactive speed control in temperature-constrained real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Real-time, Temperature, Speed control
3	Miguel Masmano, Ismael Ripoll, Patricia Balbastre, Alfons Crespo	A constant-time dynamic storage allocator for real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Real-time allocators, Allocation algorithms evaluation, Dynamic storage allocation
3	James H. Anderson, Vasile Bud, UmaMaheswari C. Devi	An EDF-based restricted-migration scheduling algorithm for multiprocessor soft real-time systems.	Real-Time Systems	2008	DBLP DOI BibTeX RDF	Scheduling, Multiprocessors, Partitioning, Migrations, Earliest-deadline-first, Soft real-time, Global scheduling, Tardiness
3	Abdeslam En-Nouaary	A scalable method for testing real-time systems.	Software Quality Journal	2008	DBLP DOI BibTeX RDF	TIOA, Real-time systems, Testing, Formal methods
3	Vahid Garousi	Traffic-aware Stress Testing of Distributed Real-Time Systems Based on UML Models in the Presence of Time Uncertainty.	ICST	2008	DBLP DOI BibTeX RDF	Time Uncertainty, UML, Distributed Real-Time Systems, Stress Testing
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	Paulo Martins, Alan Burns	On the meaning of modes in uniprocessor real-time systems.	SAC	2008	DBLP DOI BibTeX RDF	mode changes, real-time systems analysis and design, modes
3	Heinrich Moser, Ulrich Schmid	Optimal Deterministic Remote Clock Estimation in Real-Time Systems.	OPODIS	2008	DBLP DOI BibTeX RDF	optimal clock synchronization, remote clock estimation, real-time systems, Distributed algorithms, computing models
3	Youngwoo Ahn, Riccardo Bettati	Transient Overclocking for Aperiodic Task Execution in Hard Real-Time Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
3	George Lima, Eduardo Camponogara, Ana Carolina Sokolonski	Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
3	Thidapat Chantem, Xiaofeng Wang, Michael D. Lemmon, Xiaobo Sharon Hu	Period and Deadline Selection for Schedulability in Real-Time Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
3	Yuanfang Zhang, Donald K. Krecker, Christopher D. Gill, Chenyang Lu, Gautam H. Thaker	Practical Schedulability Analysis for Generalized Sporadic Tasks in Distributed Real-Time Systems.	ECRTS	2008	DBLP DOI BibTeX RDF
3	Praveen Jayachandran, Tarek F. Abdelzaher	Delay Composition Algebra: A Reduction-Based Schedulability Algebra for Distributed Real-Time Systems.	IEEE Real-Time Systems Symposium	2008	DBLP DOI BibTeX RDF
3	Robert Glaubius, Terry Tidwell, William D. Smart, Christopher D. Gill	Scheduling Design and Verification for Open Soft Real-Time Systems.	IEEE Real-Time Systems Symposium	2008	DBLP DOI BibTeX RDF