• Corpus ID: 32815700

Automation of Real-time Embedded System Design

  title={Automation of Real-time Embedded System Design},
  author={Pavel Kucera},
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… 

Figures from this paper

Implementation of Timed Automata in a Real-time Operating System


UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
Uppaal is a tool suite for automatic verification of safety and bounded liveness properties of real-time systems modeled as networks of timed automata that includes a graphical interface, a compiler that transforms a certain class of linear hybrid systems to networks of timing automata, and a model-checker which is implemented based on constraint-solving techniques.
A Tool Architecture for the Next Generation of Uppaal
It is demonstrated that the new design and implementation of the model-checking engine and internal data structures improves the efficiency of the current distributed version of Uppaal by about 60% in time and 80% in space.
Guided Synthesis of Control Programs Using UPPAAL
This paper uses a timed automata model of the batch plant and the verification tool UPPAAL to solve the scheduling problem and presents a general method allowing the user to guide the model-checker according to heuristically chosen strategies.
Formal languages and analysis of contract-oriented software
A specifier's introduction to formal methods
Formal methods used in developing computer systems are defined, and their role is delineated, and certain pragmatic concerns about formal methods and their users, uses, and characteristics are discussed.
Ten Commandments of Formal Methods
Through observations of many recently completed and in-progress projects, these guidelines that, if adhered to, greatly increase a project's chances for success are come up with.
Applying Formal Specification in Industry
The authors introduced formal methods into the specification and modeling activities of a security-critical system's development by comparing the results of the groups that used them with those of the group that did not.