Authors:- P. Rahila , Varsha Narmadha
Abstract:- The cost of testing the system is reduced when requirements are verified early in the development process. In this work, we examine the various methodologies for verifying model-based embedded system requirements. Different modeling languages have their own development and code generating tools. The developer may grasp the needs of hardware and software to create the system by selecting the appropriate tool during the design stage of an embedded system. For the development of safety-critical embedded systems, verification and code creation will be more useful. To create dependable embedded software code, modeling languages might be employed. However, the applicability of validated produced code is dependent on embedded software developers.
Keywords:- Model-based design, verification, and code generation are all aspects of embedded systems.
Full Issue
| View or download the full issue | PDF 39-52 |