BDBComp
Parceria:
SBC
Runtime Analysis of Synchronous Programs for Low-Level Real-Time Verification

G. LogothetisK. SchneiderC. Metzler

Synchronous programming languages are well-suited for the implementation and verification of real-time systems. The main benefit for the estimation of real-time constraints is thereby that the macro steps provided by the semantics of synchronous languages can be directly used as building blocks for runtime analysis. We describe a new approach to determine the execution times of the macro steps of a synchronous program with respect to given microprocessors and generate real-time formal models endowed with notions of physical time for formal verification purposes. The execution times are exact, since we consider all possible input sequences.

http://ieeexplore.ieee.org/iel5/8726/27627/01232831.pdf?tp=&arnumber=1232831&isnumber=27627

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD