Corpus ID: 32815700

Automation of Real-time Embedded System Design

@inproceedings{Kucera2009AutomationOR,
  title={Automation of Real-time Embedded System Design},
  author={P. Kucera},
  year={2009}
}
The goal of this paper is to present a tool for automation of designing of real-time embedded system which time-behaviour description is based on formal methods approach. Formal description of the system is based on timed automata diagrams and its temporal logic verification. The purpose of this tool is to automate process of transferring timed automata diagrams into real-time operating system running in the embedded system hardware. This tool significantly simplifies design, implementation and… Expand

Figures from this paper

Implementation of Timed Automata in a Real-time Operating System

References

SHOWING 1-10 OF 13 REFERENCES
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
A Tool Architecture for the Next Generation of Uppaal
Safety shell for specification-PEARL oriented UML real-time projects
Guided Synthesis of Control Programs Using UPPAAL
Formal languages and analysis of contract-oriented software
A Theory of Timed Automata
A specifier's introduction to formal methods
Uppaal in a nutshell
Ten Commandments of Formal Methods
Applying Formal Specification in Industry
...
1
2
...