All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

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