ISSN:
1573-1383
Keywords:
engineering of complex real-time systems
;
schedulability
;
real-time specification languages
;
resource algebras
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Notes:
Abstract Typical in modern complex real-time applications are (1) integration of lar ge systems, as well as development of new systems and subsystems, (2) complex, often conflicting, functional and non-functional objectives, and (3) a significant degree of distribution and parallelism. The article takes a particular approach to viewing such applications, and describing them in a new language, called CaRT-Spec. While CaRT-Spec addresses many complex application objectives, the focus of our presentation is on functionality and timeliness, i.e. schedulability.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF00337681
