论文信息 - Modeling Quality Aspects: Real-Time

Modeling Quality Aspects: Real-Time

The meaning of real-time computing is overloaded and ambiguous. Often it is associated with a quick and immediate system response to an external event or it is used to describe the performance of multimedia systems that achieve more than 25 frames per second.

Dominik Sojer | Robert Hilbrich | Marian Daun | Thorsten Weyer | J. Reinier van Kampenhout

[1] Edward A. Lee,et al. A Programming Model for Time-Synchronized Distributed Real-Time Systems , 2007, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07).

[2] M.A. Jette. Performance Characteristics of Gang Scheduling in Multiprogrammed Environments , 1997, ACM/IEEE SC 1997 Conference (SC'97).

[3] Giorgio C. Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications (Real-Time Systems Series) , 2010 .

[4] John K. Ousterhout. Scheduling Techniques for Concurrebt Systems. , 1982, ICDCS 1982.

[5] Thomas A. Henzinger,et al. Giotto: a time-triggered language for embedded programming , 2001, Proc. IEEE.

[6] Rajeev Alur,et al. Timed Automata , 1999, CAV.

[7] Giorgio Buttazzo,et al. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[8] Hermann Kopetz,et al. Event-Triggered Versus Time-Triggered Real-Time Systems , 1991, Operating Systems of the 90s and Beyond.

[9] Robert Hilbrich,et al. Model-based generation of static schedules for safety critical multi-core systems in the avionics domain , 2011, IWMSE '11.

[10] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[11] Edward A. Lee,et al. Model-based specification of timing requirements , 2010, EMSOFT '10.