Breaking Down Complexity for Reliable System-Level Timing Validation

Keywords

Emulation, Computer science, Static timing analysis, Task (project management), Software

References

• Embedded system design with multiple languagesRolf Ernst, A.A. Jerraya — 2000
• Execution cost interval refinement in static software analysisFabian Wolf, Rolf Ernst — 2001
• Bus access optimization for distributed embedded systems based on schedulability analysisPaul Pop, Petru Eles, Zebo Peng — 2000
• Performance analysis of real-time embedded softwareYau-Tsun Steven Li, Sharad Malik — 1997
• Statecharts: A Visual Formalism for Complex SystemsDavid Harel — 1987
• Model composition for scheduling analysis in platform designKai Richter, Dirk Ziegenbein, Marek Jersak — 2002
• Bounds on Multiprocessing Timing AnomaliesRon Graham — 1969
• Scheduling Algorithms for Multiprogramming in a Hard-Real-Time EnvironmentC. L. Liu, J. W. Layland — 1989
• Static timing analysis of embedded software on advanced processor architecturesAndré Hergenhan, Wolfgang Rosenstiel — 2000
• Intervals in software execution cost analysisFabian Wolf, Rolf Ernst — 2000
• System design for flexibilityChristian Haubelt, Jürgen Teich, Kai Richter — 2002
• Fixed priority scheduling of periodic task sets with arbitrary deadlinesJohn P. Lehoczky — 1990
• SPI - a system model for heterogeneously specified embedded systemsDirk Ziegenbein, Kai Richter, Rolf Ernst — 2002
• Performance estimation for real-time distributed embedded systemsTzu-Chieh Yen, Marilyn Wolf — 1995
• Generalized rate-monotonic scheduling theory: a framework for developing real-time systemsLui Sha, R. Rajkumar, Shirish S. Sathaye — 1994
• Bounding Pipeline and Instruction Cache PerformanceChristopher Healy, Robert D. Arnold, Frank Mueller — 1999
• Integrating Path and Timing Analysis Using Instruction-Level Simulation TechniquesThomas Lundqvist, Per Stenstrom — 1998
• Event model interfaces for heterogeneous system analysisKai Richter, Rolf Ernst — 2002
• Performance estimation for real-time distributed embedded systemsTi-Yen Yen, Marilyn Wolf — 1998

Cited by

• Wyznaczanie scenariuszy testowych dla pewnej klasy procesów definiowanych za pomocą języka BPELKrzysztof Sapiecha, Damian Grela — 2008
• Compositional performance analysis for complex embedded applicationsMarek Jersak — 2004
• Compositionality in deterministic real-time embedded systemsThomas A. Henzinger, Slobodan Matic — 2008
• Interval-based analysis in embedded system designMarek Jersak, Kai Richter, Rolf Ernst — 2004
• Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervalsMarek Jersak, Rolf Ernst — 2003
• Validation of reactive embedded systems against temporal requirementsJoanna Strug, Stanisław Deniziak, Krzysztof Sapiecha — 2004
• Validation of reactive embedded systems against specification requirementsJoanna Strug, Stanisław Deniziak, Krzysztof Sapiecha — 2004
• Compositional scheduling analysis using standard event modelsKai Richter — 2004
• Response-Time Analysis of ROS 2 Processing Chains Under Reservation-Based SchedulingDaniel Casini, Tobias Blaß, Ingo Lütkebohle — 2019
• Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervalsMarek Jersak, Rolf Ernst — 2004
• Deterministic Schedule of Task in Multiprocessor Computer Systems with Higher Degree of DependabilityMieczyslaw Drabowski, E. Wantuch — 2014

Related papers

• Rate derivation and its applications to reactive, real-time embedded systemsAli Dasdan, Dinesh Ramanathan, Rajesh K. Gupta — 1998
• Synthesizing IEC 61499 Function Blocks to hardwareHammond Pearce, Partha S. Roop — 2019
• Timing Analysis of a Multiprocessor Architecture for Active ControlJohn W. Baugh, Wael M. Elseaidy — 1994
• Data-driven techniques for hardware and software synthesis for embedded systemsNiraj K. Jha, Weidong Wang — 2004
• Abstracting functionality for modular performance analysis of hard real-time systemsErnesto Wandele, Lothar Thiele — 2005
• Full-system timing-first simulationCarl J. Mauer, Mark D. Hill, David A. Wood — 2002