Home > Search Results: Hamrle, Martin
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 2 records found  Search took 0.01 seconds. 
Refinement of timed automata models according to hardware characteristics
 Hamrle, Martin ; Holub, Viliam (advisor) ; Kofroň, Jan (referee)
Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle is that the formal theory assumes some unrealistic assumptions, such as that the action takes no time to execute. The model must be put more exactly, which makes the model more complicated and the whole process prone to mistakes. In the presented work we will focus on synchronization of processes over channels. There is a discussion of possible solutions. Next we will analyze chosen solutions and implement it. We will not create new tool or language but we only make extension of Uppaal language.
Detailed record
Refinement of timed automata models according to hardware characteristics
 Hamrle, Martin ; Kofroň, Jan (referee) ; Holub, Viliam (advisor)
Timed automata have been designed for modeling a real-time system behavior over time. Main obstacle is that the formal theory assumes some unrealistic assumptions, such as that the action takes no time to execute. The model must be put more exactly, which makes the model more complicated and the whole process prone to mistakes. In the presented work we will focus on synchronization of processes over channels. There is a discussion of possible solutions. Next we will analyze chosen solutions and implement it. We will not create new tool or language but we only make extension of Uppaal language.
Detailed record

Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English