Static Enforcement of Service Deadlines

Bartoletti, Massimo and Zunino, Roberto (2010) Static Enforcement of Service Deadlines. UNSPECIFIED.

Download (550Kb) | Preview


    We consider the problem of statically deciding when a service always provides its functionality within a given amount of time. In a timed pi-calculus, we propose a two-phases static analysis guaranteeing that processes enjoy both the maximal progress and the well-timedness properties. Exploiting this analysis, we devise a decision procedure for checking service deadlines.

    Item Type: Departmental Technical Report
    Department or Research center: Information Engineering and Computer Science
    Subjects: Q Science > QA Mathematics > QA076 Computer software > QA076.7 Programming Languages - Semantics
    Report Number: DISI-10-018
    Repository staff approval on: 05 Mar 2010

    Actions (login required)

    View Item