The design and implementation of rapid formal-specification tool based on component

Abstract

Rapid design of the embedded system is important to have the identical physical features and functional features as a real product. Virtual prototyping is a technology enhancing a product's competitiveness in embedded system development. The life cycle of embedded systems is tending to become shorter. Due to this possible error rates have increased and immense amounts of cost and time can be wasted trying to resolve this. Then it is needed that a formal specification is supporting reliability and representing prompt specifications in system design time. Statechart is a formal specification technique, which is used in virtual prototyping. It uses graphics to specify a system thus having the advantage of easier understanding. However statechart does not provide a prompt formal specification for a new embedded system, which ultimately duplicates cost and time. In this paper, our formal specification mechanism is based on component technique that support reusability and modularity. By using this mechanism, our tool isn't only the time spent on formal specification in new system development will be reduced but the cost of development will also be reduced. Further more by being able to componentize a new product's specification flexibility and maintenance can be improved.