Compositionality in Deterministic Real-Time Embedded Systems

Compositionality in Deterministic Real-Time Embedded Systems

Cached

Download Links

[www.eecs.berkeley.edu]

by Slobodan Matic , Slobodan Matic , Slobodan Matic

BibTeX

@MISC{Matic_compositionalityin,
    author = {Slobodan Matic and Slobodan Matic and Slobodan Matic},
    title = {Compositionality in Deterministic Real-Time Embedded Systems},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

393	Real-Time Systems: Design Principles for Distributed Embedded Applications - Kopetz - 2000
393	Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing - Lee, Messerschmitt - 1987
372	Synchronous Programming of Reactive Systems - Halbwachs - 1993
275	Interface Automata - Alfaro, Henzinger - 2001
180	Giotto: A time-triggered language for embedded programming - Henzinger, Horowitz, et al. - 2003
164	Network Calculus: A Theory of Deterministic Queuing Systems for the Internet - Boudec, Thiran - 2006
157	Composability in the time-triggered architecture - Kopetz - 2000
148	Overview of the Ptolemy Project - Lee - 2001
120	Scheduling Real-Time Applications in an Open Environment - Deng, Liu - 1997
85	Interface theories for component-based design - Alfaro, Henzinger - 2001
82	Periodic resource model for compositional real-time guarantees - Shin, Lee - 2003
71	The Embedded Machine: Predictable, portable real-time code - Henzinger, Kirsch - 2002
67	R.: Permissive interfaces - Henzinger, Jhala, et al. - 2005
67	HLS: A framework for composing soft real-time schedulers - Regher, Stankovic - 2001
58	Performance Estimation for Real-Time Distributed Embedded Systems - Yen, Wolf - 1995
55	Compositionality in dataflow synchronous languages: Specification and distributed code generation - Benveniste, Caillaud, et al.
53	Timing analysis for fixed-priority scheduling of hard real-time systems - Harbour, Klein, et al. - 1994
53	Resource partitioning among real-time applications - Lipari, Bini - 2003
51	From Simulink to Scade/Lustre to TTA: a layered approach for distributed embedded applications - Caspi, Curic, et al.
50	Partitioning for avionics architectures: Requirements, mechanisms, and assurance - Rushby - 1999
49	A model of hierarchical real-time virtual resources - Feng, Mok - 2002
47	Digital synthesis of plucked-string and drum timbres - Karplus, Strong - 1983
47	A formal approach to mpsoc performance verification - Richter, Jersak, et al.
44	Real-Time UML - Douglass - 1998
42	Rtlinux manifesto - Yodaiken - 1999
40	Heterogeneous reactive systems modeling and correct-by-construction deployment - Benveniste, Carloni, et al. - 2003
37	N.: Compositional design of rt systems: a conceptual basis for specification of linking interfaces - Kopetz, Suri - 2003
36	From control models to real-time code using Giotto - Henzinger, Kirsch, et al.
34	Compositional real-time scheduling framework - Shin, Lee - 2004
33	The case for the precision timed (PRET) machine - Edwards, Lee - 2007
33	Holistic scheduling and analysis of mixed time/eventtriggered distributed embedded systems - Pop, Eles, et al. - 2002
27	2007: A programming model for time-synchronized distributed real-time systems - Zhao, Lee, et al.
24	Model composition for scheduling analysis in platform design - Richter, Ziegenbein, et al. - 2002
22	Scheduling within temporal partitions: response-time analysis and server design - Almeida, Pedreiras - 2004
22	Time-safety checking for embedded programs - Henzinger, Kirsch, et al. - 2002
21	Rate monotonic vs. EDF: Judgment day - Buttazzo - 2005
21	Analyzing the real-time properties of a dataflow execution paradigm using a synthetic aperture radar application - Goddard - 1997
21	Design for timing predictability - Thiele, Wilhelm
20	Compositional modeling in Metropolis - Goessler, Sangiovanni-Vincentelli - 2002
20	Towards compositionality in real-time resource partitioning based on regularity bounds - Mok, Feng - 2001
20	N.: Real-time interfaces for composing realtime systems - Thiele, Wandeler, et al.
19	An interface algebra for real-time components - Henzinger, Matic - 2006
16	Incremental schedulability analysis of hierarchical real-time components - Easwaran, Shin, et al. - 2006
16	A processor extension for cycle-accurate real-time software - Ip, Edwards - 2006
15	Absolutely positive on time: what would it take - Lee - 2005
15	Trading end-to-end latency for composability - Matic, Henzinger - 2005
14	Performance analysis for complex embedded applications - Jersak, Richter, et al. - 2006
13	A programmable microkernel for real-time systems - Kirsch, Sanvido, et al. - 2005
12	Distributed Schedule-Carrying Code - Henzinger, Matic - 2004
10	Real-time interface for interface-based design of real-time systems with fixed priority scheduling - Wandeler, Thiele - 2005