Integrated Timing Analysis and Verification of Component-based Distributed Real-time Systems

Distributed real-time embedded systems that address safety and mission-critical system requirements are applied in a variety of heterogeneous domains today e.g. avionics, automotive systems, locomotives, and industrial control systems. The volume and complexity of such software grows everyday depend...

Full description

Bibliographic Details
Main Author: Kumar, Pranav Srinivas
Other Authors: Gabor Karsai
Format: Others
Language:en
Published: VANDERBILT 2016
Subjects:
Online Access:http://etd.library.vanderbilt.edu/available/etd-09232016-084524/