After a presentation of the real time system analysis and design, we present the Structured Analysis for Real Time Systems, or SA-RT. This graphical design notation is focusing on analyzing the functional behaviour and information flow through a system. In fact, the modeling of the real time systems helps us to understand its working, without eliminating its complexity. Then, we present the graphic and textual formalism of the SA-RT method on the one hand and we apply this method on a practical case of an ABS braking system, on the other hand. Key words: Real time systems, SA-RT method, ABS braking system.
Tópico:
Formal Methods in Verification
Citaciones:
3
Citaciones por año:
Altmétricas:
0
Información de la Fuente:
FuenteJournal Of Engineering And Technology, Facultad De Ingenierías - Corporación Universitaria Lasallista.