From Embedded Systems Requirements to Physical Representation: A Model-Based Methodology in Accordance with the EIA-632 Standard

The concept of system level, introduced in Electronic System Level(ESL), offers a system-model representation before thinking about the partition between software and hardware. One ESL initiative is model-based systems engineering (MBSE), whose objective is to reduce ambiguity of specification interpretation, to verify specification in early design steps and to generate code automatically. In this work, we propose a new design methodology that follows the principles of MBSE. Our methodology obeys the EIA-632 standard that defines the systems engineering best practices. It uses SysML as the system description language and HiLeS Designer as a verification tool. We illustrate our methodology in the design of an intelligent remote keyless entry system and apply it to specify and develop new products for a Colombian company that specializes in the commercialization and distribution of electric energy.