TASM2UPPAAL (timed abstract state machine to UPPAAL) model transforming method
A technology of model conversion and conversion method, applied in the direction of program control devices, etc., can solve problems such as how to consider non-functional attributes of time and resources
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0041] The present invention will be further described below in conjunction with accompanying drawing:
[0042] The invention relates to a TASM2UPPAAL model conversion tool, which can automatically convert any TASM model to a corresponding UPPAAL model. The source language of the model conversion tool, TASM, is a formalized description language widely used in software and hardware system design. It supports the description and verification of functional behavior, time attributes and resource consumption of embedded real-time systems. The target model UPPAAL of the model conversion tool is a model checking tool jointly developed by Uppsala University in Sweden and Aazborg University in Denmark. It uses the timed automata (Timed Automata) proposed by R.Alur and Dill as a formal theoretical basis, which can simulate and model check real-time systems modeled on timed automata networks.
[0043] 1) General overview of tools
[0044] The model conversion tool is based on the ATL m...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com