ISSN:
1573-1383
Schlagwort(e):
engineering of complex real-time systems
;
schedulability
;
real-time specification languages
;
resource algebras
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
Notizen:
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.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF00337681
Permalink