21-03-2017, 11:04 AM
Due to the increasing complexity of embedded systems and their real-time reliability and capacity requirements, support methods are needed to assist designers and testers at different stages of the development cycle. In areas such network protocol testing the automatic generation of the test has been used successfully. Here, the extended finite state machine method is applied to embedded systems. In addition, fault models are offered for testing and analysis of test results to automate the detection of errors.
In the past, automatic diagnostic systems such as EMYCIN and MED2 were successfully used in medicine, and it was shown that some principles of these systems, such as finite state machines can be reused, For testing network protocols. In this article we present extended finite state machines for automatic testing and analysis of test results. Applications are mechatronic systems in automobiles, for example. The software development cycle for embedded mechatronics is costly and prone to errors. Costs and good performance play a central role in today's industrial competition. The development of products in due time is imposing limitations on design. One of the means to achieve the goals are the formal methods to support all phases of the development of embedded systems, ie, specification, synthesis and testing. In addition, in the area of critical safety systems in automobiles, such as direct-by-wire or brake-by-wire the use of formal techniques is highly recommended. There are several desired properties for formal methods. They must be abstract, understandable, analyzable, scalable and unambiguous. The known finite state machine method has been popularized for the control flow specification of state / transition based systems, and many related analysis methods have been developed.
In a built-in mechatronics system, a microcontroller or computer system performs a dedicated function for an appliance or apparatus such as the brake of an automobile or a steering wheel. The embedded system is part of a larger unit comprising electrical and mechanical components and must meet real-time requirements. It has to react to the stimuli of the controlled process within a time interval dictated by this process. An embedded system is connected to the physical environment through sensors and actuators. Its output depends on the input and internal state for which a finite state machine is often an appropriate model. Software for embedded systems must be reliable and efficient. In the case of mechatronics, reliability means reliability, availability and safety. Efficiency includes factors such as power consumption, code size, runtime, weight, and cost. In addition, an embedded system may have a user interface that remains constant over the lifetime of the product. Knowledge about the process under control and the user interface can be used to minimize resources and maximize robustness.
In the past, automatic diagnostic systems such as EMYCIN and MED2 were successfully used in medicine, and it was shown that some principles of these systems, such as finite state machines can be reused, For testing network protocols. In this article we present extended finite state machines for automatic testing and analysis of test results. Applications are mechatronic systems in automobiles, for example. The software development cycle for embedded mechatronics is costly and prone to errors. Costs and good performance play a central role in today's industrial competition. The development of products in due time is imposing limitations on design. One of the means to achieve the goals are the formal methods to support all phases of the development of embedded systems, ie, specification, synthesis and testing. In addition, in the area of critical safety systems in automobiles, such as direct-by-wire or brake-by-wire the use of formal techniques is highly recommended. There are several desired properties for formal methods. They must be abstract, understandable, analyzable, scalable and unambiguous. The known finite state machine method has been popularized for the control flow specification of state / transition based systems, and many related analysis methods have been developed.
In a built-in mechatronics system, a microcontroller or computer system performs a dedicated function for an appliance or apparatus such as the brake of an automobile or a steering wheel. The embedded system is part of a larger unit comprising electrical and mechanical components and must meet real-time requirements. It has to react to the stimuli of the controlled process within a time interval dictated by this process. An embedded system is connected to the physical environment through sensors and actuators. Its output depends on the input and internal state for which a finite state machine is often an appropriate model. Software for embedded systems must be reliable and efficient. In the case of mechatronics, reliability means reliability, availability and safety. Efficiency includes factors such as power consumption, code size, runtime, weight, and cost. In addition, an embedded system may have a user interface that remains constant over the lifetime of the product. Knowledge about the process under control and the user interface can be used to minimize resources and maximize robustness.