|
|||||
|
|
A description language for engineering of complex real-time systems |
|
| Authors: | Alexander D. Stoyenko Thomas J. Marlowe Phillip A. Laplante |
| Affiliation: | 1. The Real-Time Computing Laboratory, Department of Computer and Information Science, New Jersey Institute of Technology, 07102, Newark, NJ, USA 2. Department of Mathematics and Computer Science, Seton Hall University, 07079, South Orange, NJ, USA 3. Technology Education Center, Burlington County College/New Jersey Institute of Technology, Mt. Laurel, NJ, USA |
| 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. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |