178
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Transformation of MTCCS into an Extension of Timed Automata

      ,

      Proceedings of the BCS-FACS Northern Formal Methods Workshop (NFM)

      Northern Formal Methods

      23-24 September 1996

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          This paper presents results from work in progress on finding a method for specification and formal verification of real-time concurrent systems incorporating a non-trivial data component. To model such systems, we use the real-time process algebra MTCCS, a Timed CCS variant, enhanced with a data manipulation model. Our verification method is based on the dual-language approach in which temporal logic is used to state properties over system models defined in some operational specification language. To obtain representations that allow the application of model checking, MTCCS specifications are transformed into XT Graphs, an extension of timed automata that allows the symbolic description of data. This paper discusses the specification language MTCCS and its translation to XTGraphs.

          Related collections

          Author and article information

          Conference
          September 1996
          September 1996
          : 1-20
          Affiliations
          Faculty of Technical Mathematics and Informatics, Delft University of Technology

          Zuidplantsoen 4, 2628BZ Delft, The Netherlands
          Article
          10.14236/ewic/FA1996.16
          © Ronald Lutje Spelberg et al. Published by BCS Learning and Development Ltd. Proceedings of the BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          Proceedings of the BCS-FACS Northern Formal Methods Workshop
          NFM
          Ilkley, UK
          23-24 September 1996
          Electronic Workshops in Computing (eWiC)
          Northern Formal Methods
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article