Implementation of Timed Automata in a Real-time Operating System
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F10%3APU88721" target="_blank" >RIV/00216305:26220/10:PU88721 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Implementation of Timed Automata in a Real-time Operating System
Original language description
The goal of this paper is to present a tool for automatic implementation of Timed Automata model in a real-time operating system. The purpose of this tool is to make design, implementation and verification of real-time control systems easier because human resources will be concentrated more on the area of specification and verification than implementation issues. In the paper are described developed modules enabling automatic implementation of Timed Automata models from UPPAAL into the real-time operating system extension RTX. The software tool is being developed as an open-source project with support from the National Grant Agency at the Department of Control and Instrumentation, Brno University of Technology.
Czech name
Implementation of Timed Automata in a Real-time Operating System
Czech description
The goal of this paper is to present a tool for automatic implementation of Timed Automata model in a real-time operating system. The purpose of this tool is to make design, implementation and verification of real-time control systems easier because human resources will be concentrated more on the area of specification and verification than implementation issues. In the paper are described developed modules enabling automatic implementation of Timed Automata models from UPPAAL into the real-time operating system extension RTX. The software tool is being developed as an open-source project with support from the National Grant Agency at the Department of Control and Instrumentation, Brno University of Technology.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2010
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of World Congress on Engineering and Computer Science, Volume I
ISBN
978-988-17012-0-6
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
Newsowod Limited, International Association of Engineers
Place of publication
San Francisco
Event location
San Francisco
Event date
Oct 20, 2010
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—