SAM2000 Introduction An Analyzable execution model Real Time Analysis Redesign the system Conclusions and Future Work
1 SAM2000 Introduction An Analyzable execution model Real-Time Analysis. Redesign the system Conclusions and Future Work 2 SAM2000 INTRODUCTION Real-Time embedded systems are spreading to more and more fields and their complexity and criticality have grown dramatically. The complexity of this kind of system comes from the non- functional requirements: – Safety – Robustness – Timeliness 3 SAM2000 INTRODUCTION Most of these systems are controllers that have to respond in a limited period of time FDT is a promising way to deal with the increasing complexity of these systems. SDL presents difficulties to express real-time constraints and to prevent real-time anomalies. RMA provides a collection of quantitative methods to predict the timing behaviour of the systems. 4 SAM2000 OUR PROPOSALS To integrate RMA in the design of real-time aplications using SDL. We provide a predictable execution model for SDL. We take advantage of SDL characteristics to get a more accurate analysis – Prece...