The Time-Triggered Architecture (TTA)

For more info about our services contact : help@bestpfe.com

Table of contents

1 Introduction 
1.1 Quasi-periodic systems
1.2 A synchronous approach
1.3 Contributions
1.4 Organization
2 A Brief Introduction to Zélus 
2.1 A synchronous language ..
2.2 … extended with continuous time
2.3 A complete example: the Zélus clock
2.4 Conclusion
3 Quasi-Periodic Architectures 
3.1 Definition
3.2 Communication by Sampling
3.3 Discrete model
3.4 Real-time model
3.5 Other modeling tools
3.6 Bibliographic notes
3.7 Conclusion
4 The Quasi-Synchronous Abstraction 
4.1 A discrete abstraction
4.2 Traces and causality
4.3 Unitary discretization
4.4 Quasi-synchronous systems
4.5 Multirate systems
4.6 Bibliographic notes
4.7 Conclusion
5 Loosely Time-Triggered Architectures 
5.1 Synchronous applications
5.2 General framework
5.3 Back-pressure LTTA
5.4 Time-based LTTA
5.5 Round-based LTTA
5.6 Clock synchronization
5.7 Comparative evaluation
5.8 Conclusion
6 Symbolic Simulation 
6.1 Motivation
6.2 Related work
6.3 Difference-Bound Matrices
6.4 ZSy: an extended subset of Zélus
6.5 Static typing
6.6 Compilation
6.7 Extensions
6.8 Conclusion
7 Conclusion 
7.1 Summary
7.2 Open questions
7.3 Concluding remark