Publication

Scheduler modeling based on the controller synthesis paradigm

Related publications (34)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

An Application-Specific Design Methodology for STbus Crossbar Generation

Giovanni De Micheli, Srinivasan Murali

As the communication requirements of current and future Multiprocessor Systems on Chips (MPSoCs) continue to increase, scalable communication architectures are needed to support the heavy communication demands of the system. This is reflected in the recent ...

2005

Building models of real-time systems from application software

Joseph Sifakis

We present a methodology for building timed models of real-time systems by adding time constraints to their application software. The applied constraints take into account execution times of atomic statements, the behavior of the system's external environm ...

2003

VHD++ development framework: towards extendible, component based VR/AR simulation engine featuring advanced virtual character technologies

Daniel Thalmann, Michal Ponder

We present the architecture of the VHD++ real-time development framework that after several years of intensive research, design, and development effort has been released and enters its validation phase. We discuss the key aspects involved in architectural ...

IEEE Comput. Soc2003

A Systemic Paradigm for Early IT System Requirements Based on Regulation Principles: The Lightswitch Approach

Gil Regev

IT system is a general term for all software based business applications used in enterprises. IT systems support the actions of an enterprise by processing information about the enterprise and its environment and by providing this information to the enterp ...

2003

A systemic paradigm for early IT system requirements based on regulation principles

Gil Regev

EPFL2003

Specifying reactive system behavior

Shane Sendall

Fundamentally, the development of software applications involves dealing with two distinct domains: the real world and software domains; the two converge at the point where a software application is used to make an unsatisfactory real world situation into ...

EPFL2002

A framework for Real-Time CORBA using synchronous active objects

In this paper, we present our RT-CORBA implementation based on the synchronous active object concepts developed at the Networking Laboratory at the author's institute. We take and redefine several of the RT-CORBA considerations. The main goal is to show th ...

IEEE2001

Collaborative design using solution spaces

Claudio Lottaz

Complex design tasks from many domains such as mechanical, electrical and civil engineering make the collaboration of many partners unavoidable for several reasons: knowledge from various experts is necessary, often more than one enterprises are involved a ...

EPFL2000

A framework for scheduler synthesis

Joseph Sifakis

We present a framework integrating specification and scheduler generation for real time systems. In a first step, the system, which can include arbitrarily designed tasks (cyclic or sporadic, with or without precedence constraints, any number of resources ...

1999

The Asymmetric Best-Effort Service

Jean-Yves Le Boudec, Patrick Thiran, Paul Hurley, Ljubica Blazevic

We present Asymmetric Best-Effort, a novel service to provide a throughput versus delay jitter differentiated service for IP packets. With this service, every best effort packet is marked as either green or blue. Green packets, typically sent by real-t ...

1999