It is generally accepted that development of requirement models for real-time systems benefits from formal specifications. In order to be able to evaluate notations for use in the development of real-time software systems, we are performing a comparative review of some selected specification notions. The study focuses on the use of the notations in the domain of real-time (control) applications. Our review will be based on a specification from a simple railroad controller model. This case contains data modelling aspects, functional aspects as well as temporal aspects. A (toy) railroad with a computer interface, is available in our laboratory, used for lab assignments.
Astral Specification for a Railroad Controller
1995
50 pages
Report
Keine Angabe
Englisch
An Astral specification for a railroad controller
TIBKAT | 1995
|Engineering Index Backfile | 1942
|Shipping: Astral navigation without spherical geometry
Online Contents | 2000
Astral Koerper. Fahrbericht Opel Coupe Turbo
Kraftfahrwesen | 2000
|Mobil astral 95,685-ton d.w. tanker
Engineering Index Backfile | 1964