Case Study: Monitoring performance Improvement on Time-Triggered Artificial Heart Control Software

Time-Triggered Architecture (TTA) has long been advocated as being better suited in developing real-time software than event-triggered architecture (ETA). While TTA-based real-time software highlights deterministic behavior prediction and capability of timeliness verification, inherent limitations of the TTA approach (e.g., imprecise time stamp of events) are still challenging. In this paper, using an artificial heart system, we describes a case-study that complement such limitations of the TTA approach using recent advances on hardware provide features. We used Times tool that provides formal modeling and simulation features when demonstrating effectiveness of our revised design. Empirical experiments also revealed that the revised design is as efficient, when measured in terms of system's external output, as the old design.