Detail publikace

From TLA Specifications to Real-Time Unix Applications

JANKOVSKÝ, M. ŠVÉDA, M.

Originální název

From TLA Specifications to Real-Time Unix Applications

Typ

článek ve sborníku mimo WoS a Scopus

Jazyk

angličtina

Originální abstrakt

The paper presents a method that utilizes formal specifications both for design of soft real-time (RT) systems, and for their implementation aimed at RT Unix portable operating systems environments defined by the POSIX.4 and POSIX.4a standards. The method stems from the following contributions: (i) extension of the Temporal Logic of Actions (TLA) by time-bounded temporal operators for straightforward specifications of RT systems, and (ii) concept of the executive engine that provides services for effective and correct execution of actions according to their specification. The method was employed to develop the Tower Simulation Module of an airport-tower crew training courseware, which is based on the LynxOS operating system.

Klíčová slova

real-time, POSIX.4, POSIX.4a, TLA

Autoři

JANKOVSKÝ, M.; ŠVÉDA, M.

Vydáno

1. 1. 2000

Nakladatel

unknown

Místo

Napier University, Edinburgh

ISBN

1-85-769121-0

Kniha

Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS

Strany od

77

Strany do

79

Strany počet

3

BibTex

@inproceedings{BUT191520,
  author="Michal {Jankovský} and Miroslav {Švéda}",
  title="From TLA Specifications to Real-Time Unix Applications",
  booktitle="Proceedings IEEE/IFIP Joint Workshop on Formal Specification of CBS",
  year="2000",
  pages="77--79",
  publisher="unknown",
  address="Napier University, Edinburgh",
  isbn="1-85-769121-0"
}