Specifying Mode Requirements of Embedded Systems

Smith, G.

This paper presents a formal notation for specifying requirements of embedded systems which exhibit continuous, real-time behaviour and move through various modes under digital control. It does this by extending an existing formal notation supporting continuous, real-time behaviour with an explicit concept of modes. The resulting notation avoids the subtleties which would otherwise arise when specifying mode-relat4ed requirements. It is therefore ideal as a means of specifying and communicating requirements of embedded systems.

Cite as: Smith, G. (2002). Specifying Mode Requirements of Embedded Systems. In Proc. Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Melbourne, Australia. CRPIT, 4. Oudshoorn, M. J., Ed. ACS. 251-257.

(from crpit.com) (local if available)