Time abstraction in timed µCRL à la regions

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

We present the first step towards combining the best parts of the real-time verification methods based on timed automata (the use of regions and zones), and of the process-algebraic approach of languages like LOTOS and /spl mu/CRL. This could provide with additional verification possibilities for real-time systems, not available in existing timed-automata-based tools like UPPAAL. We aim to transfer the successful techniques of regions and zones as used for the analysis of timed automata to the realm of timed /spl mu/CRL. First, we aim at replacing all parameters of sort time occurring in the resulting process equation by parameters of discrete sorts. To achieve this goal we apply process-algebraic transformations and abstraction techniques to the given process equation. As a result we obtain a process equation that is closely related to the given one in the following sense. If we abstract from the fractional parts of the time stamps in the actions, both of the equations will be timed bisimilar.
Originele taal-2Engels
TitelProceedings 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29, 2006
Plaats van productieLos Alamitos, USA
UitgeverijInstitute of Electrical and Electronics Engineers
Pagina's1-8
ISBN van geprinte versie1-4244-0054-6
DOI's
StatusGepubliceerd - 2006
Evenement20th IEEE International Parallel & Distributed Processing Symposium (IPDS 2006)
- Rhodes Island, Griekenland
Duur: 25 apr 200629 apr 2006
Congresnummer: 20

Congres

Congres20th IEEE International Parallel & Distributed Processing Symposium (IPDS 2006)
Verkorte titelIPDS 2006
LandGriekenland
StadRhodes Island
Periode25/04/0629/04/06
AnderIPDPS 2006, RAW 2006, Rhodes Island, Greece

Vingerafdruk Duik in de onderzoeksthema's van 'Time abstraction in timed µCRL à la regions'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

    Groote, J. F., Reniers, M. A., & Usenko, Y. S. (2006). Time abstraction in timed µCRL à la regions. In Proceedings 20th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2006), Rhodes Island, Greece, April 25-29, 2006 (blz. 1-8). Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/IPDPS.2006.1639423