Papers by Christian Arinze Ferdinand
Design, Automation and Test in Europe
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Acta Informatica, 1994
Bookmarks Related papers MentionsView impact
Publikationsansicht. 30908409. Cache behavior prediction for real time systems / (1997).Ferdinand... more Publikationsansicht. 30908409. Cache behavior prediction for real time systems / (1997).Ferdinand, Christian. Abstract. Zugl.: Saarbrücken, University, Diss., 1997. Details der Publikation. Download, http://worldcat.org/oclc/75860569. Herausgeber, Saarbrücken : Pirrot,. ...
Bookmarks Related papers MentionsView impact
Worst Case Execution Time Analysis, 2006
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Kurzfassung auf Englisch: In this paper, abstract interpretation is applied to the problem of pre... more Kurzfassung auf Englisch: In this paper, abstract interpretation is applied to the problem of predicting the cache behavior of programs. The goal of our analysis is to apporximate the set of all cache states for each program point, ie, the collecting of semantics. We take a two ...
Bookmarks Related papers MentionsView impact
Program Development By Specification and Transformation the Prospectra Methodology Language Family and System, 1993
Bookmarks Related papers MentionsView impact
ABSTRACT All contemporary safety standards require to demonstrate the absence of functional and n... more ABSTRACT All contemporary safety standards require to demonstrate the absence of functional and non-functional safety hazards. In real-time systems this includes demonstrating the absence of critical timing hazards. To meet this verification objective it is necessary to show the correctness of the timing behavior with adequate confidence. Adequate confidence means that the evidence provided can be trusted beyond reasonable doubt. There are two main sources of doubt: the logical doubt associated with the validity of the reasoning and the epistemic doubt associated with uncertainty about the underlying assumptions. A fundamental timing property is the per-task worst-case execution (WCET). It is an ingredient for determining all higher-level timing concepts like worst-case response times, and system-wide end-to-end times. This article gives an overview of the challenges in ensuring timeliness of real-time software focusing on the worst-case execution time problem. It describes the principles of abstract interpretation-based WCET analysis and summarizes the confidence argument for applying it in the certification process of safety-critical software, addressing both logical and epistemic doubt.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Gi Jahrestagung, 1999
The USES group follows an approach to compute reliable runtime guarantees which is based on well-... more The USES group follows an approach to compute reliable runtime guarantees which is based on well-understood theoretical foundations, practical in use, and efficient.
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Developing automotive embedded systems includes the implementation of safety-critical functions a... more Developing automotive embedded systems includes the implementation of safety-critical functions as part of a software-based real-time system. For such systems it is of utmost importance that they fulfill their dedicated functions within valid time bounds and that the assumed timing requirements are main- tained: the system must react to inputs in adequate time (single shot reaction) or operate in synchrony
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
Bookmarks Related papers MentionsView impact
ACM SIGPLAN Notices, 1999
... Citations. 3472, Computer Architecture a Quantitative Approach Hennessy, Patterson - 2007. ... more ... Citations. 3472, Computer Architecture a Quantitative Approach Hennessy, Patterson - 2007. 137, Abstract interpretation ... et al. 48, Applying Compiler Techniques to Cache Behavior Prediction Ferdinand, Martin, et al. - 1997. 40, ...
Bookmarks Related papers MentionsView impact
Uploads
Papers by Christian Arinze Ferdinand