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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.