Search results for "complex real-time systems"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Yue Lu, Thomas Nolte, Iain Bate	Timing analyzing for systems with execution dependencies between tasks.	SAC	2010	DBLP DOI BibTeX RDF	parametric worst-case execution-time estimates on tasks, TIMES, response-time analysis, complex real-time systems
2	Farhang Nemati, Johan Kraft, Christer Norström	Validation of Temporal Simulation Models of Complex Real-Time Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Legacy Systems, Impact Analysis, Model Validation, Model Extraction
2	Luqi, Lin Zhang, Valdis Berzins, Ying Qiao	Documentation Driven Development for Complex Real-Time Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	real-time systems, Software development, documentation, complex systems, agility, information representation
2	David L. Andrews, Lonnie R. Welch, David M. Chelberg, Scott A. Brandt	A Framework for Using Benefit Functions In Complex Real Time Systems. (PDF / PS)	IPDPS	2002	DBLP DOI BibTeX RDF
2	Aleksandar M. Bakic, Matt W. Mutka	A Compiler-Based Approach to Design and Engineering of Complex Real-Time Systems.	ICDCS	1999	DBLP DOI BibTeX RDF	Distributed Real-Time System Design, Adaptive Computing Systems, Constraint Logic Programming
2	Carlos C. Amaro, Roman Nossal, Alexander D. Stoyen	On Cost Function Synthesis for Multi-Objective Design Decisions in Complex Real-Time Systems.	ICECCS	1999	DBLP DOI BibTeX RDF
2	Ilham Benyahia	Using a discrete event simulation to test a generic architecture for complex real-time systems.	ICECCS	1996	DBLP DOI BibTeX RDF	generic architecture test, dependent parameters, interconnected components, systems interaction environments, discrete event simulation, discrete event simulation, complex real-time systems, object-oriented techniques
2	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
2	P. Blysa	SDT a tool for complex real-time systems.	ICECCS	1995	DBLP DOI BibTeX RDF	SDT, complex real-time systems tool, object-oriented design tool, object-oriented formal specification technique SDL, C++ environments, simulator, real-time systems, real-time system, formal specification, object-oriented programming, validator, C, programming environments, editor
2	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
2	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
2	George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
1	Yang Liu 0003, Jun Sun 0001, Jin Song Dong	Analyzing hierarchical complex real-time systems.	SIGSOFT FSE	2010	DBLP DOI BibTeX RDF
1	Mustapha Bourahla	Verification of Complex Real-Time Systems using Rewriting Logic.	CIT	2009	DBLP BibTeX RDF
1	Markus Bohlin, Yue Lu, Johan Kraft, Per Kreuger, Thomas Nolte	Simulation-Based Timing Analysis of Complex Real-Time Systems.	RTCSA	2009	DBLP DOI BibTeX RDF
1	Jonathan Sprinkle, J. Mikael Eklund, Humberto González, Esten Ingar Grøtli, Ben Upcroft, Alexei Makarenko, Will Uther, Michael Moser, Robert Fitch, Hugh F. Durrant-Whyte, Shankar Sastry	Model-based design: a report from the trenches of the DARPA Urban Challenge.	Software and System Modeling	2009	DBLP DOI BibTeX RDF
1	Jungrhan Choi, Jinho On, Moonkun Lee, Jin-Young Choi	A Calculus to Reduce Spatial and Temporal Complexity for Specification and Analysis of Complex Real-Time Systems.	NCM	2008	DBLP DOI BibTeX RDF	CARDMI, spatial-temporal space, RHG, mobile agent, TAG
1	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
1	S. K. Panda, Arnab Roy 0001, P. P. Chakrabarti, Rajeev Kumar	Simulation-based verification using Temporally Attributed Boolean Logic.	ACM Trans. Design Autom. Electr. Syst.	2008	DBLP DOI BibTeX RDF	Bus verification, instruction semantics verification, interrupt testing, offline-online verification algorithm, simulation based verification, temporal logic, timing verification
1	Francisco Supino Marcondes, Emilia de Menezes Colonese, Ítalo Santiago Vega, Luiz Alberto Vieira Dias	Proposing a Formal Method to Reduce RTS Logical Model Complexity.	ITNG	2008	DBLP DOI BibTeX RDF
1	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi	Timed Automata Patterns.	IEEE Trans. Software Eng.	2008	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky, José Meseguer	The Real-Time Maude Tool.	TACAS	2008	DBLP DOI BibTeX RDF
1	Hanifa Boucheneb	Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Interval timed coloured Petri nets, State class graph, Linear properties, State space
1	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-driven assessment of system dependability.	Software and System Modeling	2008	DBLP DOI BibTeX RDF	Reliability, Dependability, Requirements, Safety, Use cases
1	David F. Bacon, Perry Cheng, David Grove	TuningFork: a platform for visualization and analysis of complex real-time systems.	OOPSLA Companion	2007	DBLP DOI BibTeX RDF	TuningFork, visualization, vertical profiling
1	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real-Time Systems	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
1	Wolfgang Haid, Lothar Thiele	Complex task activation schemes in system level performance analysis.	CODES+ISSS	2007	DBLP DOI BibTeX RDF	nonpreemptive scheduling, task activation, performance analysis
1	S. K. Panda, Arnab Roy 0001, P. P. Chakrabarti, Rajeev Kumar	Simulation Based Verification using Temporally Attributed Boolean Logic.	VLSI Design	2007	DBLP DOI BibTeX RDF
1	Jin Song Dong, Ping Hao, Xian Zhang, Shengchao Qin	HighSpec: a tool for building and checking OZTA models.	ICSE	2006	DBLP DOI BibTeX RDF	verification, timed automata, object-Z, structural design
1	Johan Andersson, Joel Huselius, Christer Norström, Anders Wall	Extracting Simulation Models from Complex Embedded Real-Time Systems.	ICSEA	2006	DBLP DOI BibTeX RDF
1	Ernesto Wandeler, Lothar Thiele	Interface-Based Design of Real-Time Systems with Hierarchical Scheduling.	IEEE Real Time Technology and Applications Symposium	2006	DBLP DOI BibTeX RDF
1	Shanmuga Priya Marimuthu, Samarjit Chakraborty	A Framework for Compositional and Hierarchical Real-Time Scheduling.	RTCSA	2006	DBLP DOI BibTeX RDF
1	Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe	Model-Driven Assessment of Use Cases for Dependable Systems.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Ijeoma Sandra Irobi, Anders Wall	Algorithms for Determining the Adequacy Constraints for the Validation of Models of complex Real-Time Systems.	MSV	2005	DBLP BibTeX RDF
1	David F. Bacon, Perry Cheng, David Grove, Michael Hind, V. T. Rajan, Eran Yahav, Matthias Hauswirth, Christoph M. Kirsch, Daniel Spoonhower, Martin T. Vechev	High-level real-time programming in Java.	EMSOFT	2005	DBLP DOI BibTeX RDF	scheduling, visualization, WCET, tasks, allocation
1	Jeffrey R. Merrick, Shige Wang, Kang G. Shin, Jing Song, William Milam	Priority Refinement for Dependent Tasks in Large Embedded Real-Time Software.	IEEE Real-Time and Embedded Technology and Applications Symposium	2005	DBLP DOI BibTeX RDF
1	Jin Song Dong, Ping Hao, Shengchao Qin, Xian Zhang	The Semantics and Tool Support of OZTA.	ICFEM	2005	DBLP DOI BibTeX RDF	Timed Patterns, Tool and Verification, Semantics
1	Farn Wang	Symbolic Verification of Distributed Real-Time Systems with Complex Synchronizations.	ICFEM	2005	DBLP DOI BibTeX RDF	model-checking, verification, real-time, synchronization, distributed
1	Raimundo S. Barreto, Marília Neves, Meuse N. Oliveira Jr., Paulo Romero Martins Maciel, Eduardo Tavares, Ricardo Massa Ferreira Lima	A formal software synthesis approach for embedded hard real-time systems.	SBCCI	2004	DBLP DOI BibTeX RDF	embedded hard real-time systems, hardware/software codesign methodologies, software synthesis
1	Giacomo Bucci, Luigi Sassoli, Enrico Vicario	ORIS: A Tool for State-Space Analysis of Real-Time Preemptive Systems.	QEST	2004	DBLP DOI BibTeX RDF
1	Giacomo Bucci, Andrea Fedeli, Luigi Sassoli, Enrico Vicario	Timed State Space Analysis of Real-Time Preemptive Systems.	IEEE Trans. Software Eng.	2004	DBLP DOI BibTeX RDF	nondeterministic time parameters, timeliness predictability, Preemptive Time Petri Nets, reactive systems, multiprocessor schedulability, Hard real-time systems, interprocess communication, preemptive scheduling, state space analysis
1	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi	Timed Patterns: TCOZ to Timed Automata.	ICFEM	2004	DBLP DOI BibTeX RDF	Modeling and specification formalisms
1	Ingolf Krüger, Wolfgang Prenninger, Robert Sandner	Broadcast MSCs.	Formal Asp. Comput.	2004	DBLP DOI BibTeX RDF	Semantics, Broadcasting, Message sequence charts
1	Daniel Sundmark, Henrik Thane, Joel Huselius, Anders Pettersson, Roger Mellander, Ingemar Reiyer, Mattias Kallvi	Replay Debugging of Complex Real-Time Systems: Experiences from Two Industrial Case Studies	CoRR	2003	DBLP BibTeX RDF
1	Anders Wall, Johan Andersson, Jonas Neander, Christer Norström, Martin Lembke	Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems.	RTCSA	2003	DBLP DOI BibTeX RDF
1	Anders Wall, Johan Andersson, Christer Norström	Probabilistic Simulation-Based Analysis of Complex Real-Time Systems. (PDF / PS)	ISORC	2003	DBLP DOI BibTeX RDF
1	Diganta Roychowdhury, Israel Koren, C. Mani Krishna, Yann-Hang Lee	A Voltage Scheduling Heuristic for Real-Time Task Graphs.	DSN	2003	DBLP DOI BibTeX RDF
1	Paulo Veríssimo, Antonio Casimiro	Event-Driven Support of Real-Time Sentient Objects.	WORDS	2003	DBLP DOI BibTeX RDF
1	S. Swaminathan, G. Manimaran	FARM: A Feedback-Based Adaptive Resource Management For Complex Real-Time Systems and Application to Sensor Web.	Scalable Computing: Practice and Experience	2002	DBLP BibTeX RDF
1	David L. Andrews, Ravi Vemuri, David M. Chelberg, David Fleeman, David Parrott, Lonnie R. Welch, Scott A. Brandt	A Framework for using benefit functions in complex real-time systems.	Scalable Computing: Practice and Experience	2002	DBLP BibTeX RDF
1	Christopher D. Carothers	XSim: real-time analytic parallel simulations.	PADS	2002	DBLP DOI BibTeX RDF	xsim, real-time, predictability, parallel simulation, time warp
1	Olga Fengler, Wolfgang Fengler, Vesselka Duridanova	Extending the Modeling Efficiency of the UML Activity Diagram for the Design of Distributed Systems.	IICS	2002	DBLP DOI BibTeX RDF
1	Farn Wang	Symbolic Verification of Complex Real-Time Systems with Clock-Restriction Diagram.	FORTE	2001	DBLP BibTeX RDF
1	Zhe Dang, Richard A. Kemmerer	Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems.	ICSE	2000	DBLP DOI BibTeX RDF	real-time systems, model checking, formal methods, state machines, timing requirements, formal specification and verification, ASTRAL
1	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
1	Douglas C. Schmidt, Fred Kuhns	An Overview of the Real-Time CORBA Specification.	IEEE Computer	2000	DBLP DOI BibTeX RDF
1	Victor B. Lortz, Kang G. Shin, Jinho Kim	MDARTS: A Multiprocessor Database Architecture for Hard Real-Time Systems.	IEEE Trans. Knowl. Data Eng.	2000	DBLP DOI BibTeX RDF	exemplar-based programming, atomic data types, concurrency control, shared memory, object-oriented systems, Real-time databases, semantic constraints
1	John A. Stankovic, Krithi Ramamritham, Douglas Niehaus, Marty Humphrey, Gary Wallace	The Spring System: Integrated Support for Complex Real-Time Systems.	Real-Time Systems	1999	DBLP DOI BibTeX RDF
1	Bran Selic	Architectural patterns for complex real-time systems (abstract of keynote address).	SIGAda	1999	DBLP DOI BibTeX RDF	Ada
1	Zhe Dang, Richard A. Kemmerer	A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications.	RTCSA	1999	DBLP DOI BibTeX RDF
1	Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo	Verification of Concurrent Client-Server Real-Time Scheduling Systems.	RTCSA	1999	DBLP DOI BibTeX RDF	concurrent real-time client-server systems, model-checking, verification, scheduling algorithms, automata, state-space reduction
1	Tommy Klevin, Lennart Lindh	Scalable Architecture for Real-Time Applications and Use of Bus-Monitoring.	RTCSA	1999	DBLP DOI BibTeX RDF	bus monitor and multiprocessor systems, real-time system, architecture, real-time kernel
1	Pao-Ann Hsiung, Farn Wang, Yue-Sun Kuo	Scheduling System Verification.	TACAS	1999	DBLP DOI BibTeX RDF
1	Daniela Rosu, Karsten Schwan, Sudhakar Yalamanchili	FARA - A Framework for Adaptive Resource Allocation in Complex Real-Time Systems. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1998	DBLP DOI BibTeX RDF
1	Bran Selic	Using UML for Modeling Complex Real-Time Systems.	LCTES	1998	DBLP DOI BibTeX RDF
1	Albert Benveniste, Claude Jard, Stephane Gaubert	Algebraic Techniques for Timed Systems.	CONCUR	1998	DBLP DOI BibTeX RDF
1	Alexander D. Stoyenko, Thomas J. Marlowe, Phillip A. Laplante	A Description Language for Engineering of Complex Real-Time Systems.	Real-Time Systems	1996	DBLP DOI BibTeX RDF
1	A. K. Ganesh, Thomas J. Marlowe, Alexander D. Stoyenko, Mohamed F. Younis, José Salinas	Architecture and Language support for Fault-tolerance in Complex Real-Time Systems.	ICECCS	1996	DBLP DOI BibTeX RDF
1	Alexander D. Stoyenko, Thomas J. Marlowe, Mohamed F. Younis	A Language for Complex Real-Time Systems.	Comput. J.	1995	DBLP DOI BibTeX RDF
1	Christoph Schaffer, R. J. Raschhofer, A. Simma	EaSy-Sim: A Tool Environment for the Design of Complex, Real-Time Systems.	EUROCAST	1995	DBLP DOI BibTeX RDF
1	Douglas Niehaus, John A. Stankovic, Krithi Ramamritham	A real-time system description language. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1995	DBLP DOI BibTeX RDF	real-time system description language, system design specification, automatic calculation, automatic analysis environment, design and analysis environment, specification changes, layered abstractions, concealed implementation details, timing correctness, robotic pick-and-place circuit board assembly, distributed real-time scheduling simulation, ease of modification, automatic loading, real-time systems, timing, specification languages, timing analysis, SDL, automatic linking, flexible manufacturing
1	Gérard Berthelot, Hanifa Boucheneb	Occurrence Graphs for Interval Timed Coloured Nets.	Application and Theory of Petri Nets	1994	DBLP DOI BibTeX RDF	interval timed coloured Petri nets, occurrence graph
1	Donald Firesmith	ADM4: an Object-Oriented Development Method for Large, Complex Real Time Systems.	TOOLS	1993	DBLP BibTeX RDF
1	Albert Mo Kim Cheng, James C. Browne, Aloysius K. Mok, Rwo-Hsi Wang	Analysis of Real-Time Rule-Based Systems with Bahavioral Constraint Assertions Specified in Estella.	IEEE Trans. Software Eng.	1993	DBLP DOI BibTeX RDF	real-time rule-based systems, behavioral constraint assertions, Estella, knowledge-decision processing, human expertise, monitor-respond cycle, bounded response time, rule-based programmer, application-specific knowledge, real-time systems, formal specification, knowledge representation, expert systems, constraint handling, rule-based expert systems
1	Wil M. P. van der Aalst	Interval Timed Coloured Petri Nets and their Analysis.	Application and Theory of Petri Nets	1993	DBLP DOI BibTeX RDF
1	Armen Gabrielian, Matthew K. Franklin	State-Based Specification of Complex Real-Time Systems.	IEEE Real-Time Systems Symposium	1988	DBLP BibTeX RDF
1	Hideyuki Tokuda, Makoto Kotera, Clifford W. Mercer	A Real-Time Monitor for a Distributed Real-Time Operating System.	Workshop on Parallel and Distributed Debugging	1988	DBLP DOI BibTeX RDF