Formal description technique and behavior verification for early design stage of embedded system (6th report)

Abstract

In 1st report to 4th report, We reported about a methodology of algebraic description and validation for user interface of embeded system. In this report we are going to present an table format for state trnasition specification. This format is introduced from actual hearing activity at designer. We are going to report about table structure and specification development activity.