scholarly journals Safe design method of embedded control systems. Case study

2013 ◽  
Vol 47 (4-8) ◽  
pp. 403-421 ◽  
Author(s):  
Salam Hajjar ◽  
Emil Dumitrescu ◽  
Eric Niel
2020 ◽  
Vol 17 (1) ◽  
pp. 315-338
Author(s):  
Pascal André ◽  
Christian Attiogbé ◽  
Arnaud Lanoix

Embedded control systems combine digital and physical components, leading to complex interactions and even complexity of their development. In [4] we proposed a method to build such complex systems in a systematic way. The overall method starts from an abstract model of the physical environment of the considered system and its controller. The method consists in a sequence of refinement steps, in the spirit of Event-B, that gradually introduces design details from an abstract level, until more concrete levels. Two main refinement processes are distinguished: one to capture the global model, the other to detail it; we provide through the method the guidelines to accompany these two refinement processes. But there were a lack of assistance tools. The designers need to be assisted by tools to guide them, to automate partially the refinements and to help in proving more easily model properties. We illustrate the method with the landing gear system case study and choosing the Event-B tool Rodin for illustration; we make it explicit the tools requirements for such a general method and, we introduce a tool support to assist the user in applying the method in combination with standard Event-B tool such as Rodin.


2014 ◽  
Vol 889-890 ◽  
pp. 850-855
Author(s):  
Sheng Hai Hu ◽  
Bao Ping Zhang ◽  
Tian Shi Sun ◽  
Wei Yu

Along with the continuous development of embedded systems, embedded products take higher requirements on the scale and performance of system software, and contributing to the complexity of control algorithm. So it would take more time and expense to realize the control algorithm. Therefore, traditional design is out of date and cant cope with the modern development rhythm well. While the Model-Based Design, is an efficient design method to deal with complex embedded control systems. It provides a common development and test platform for the engineers. In this paper, we take the power windows control system as example; establish the algorithm model with the Simulink/Stateflow. Then we introduce these process of the control system design which is based on the Model-Based Design method, according to the result of the final experiment, we prove the efficiency of this method, providing a reference for the design of other complex control systems.


1997 ◽  
Vol 30 (4) ◽  
pp. 33-38
Author(s):  
Pieter J Mosterman ◽  
Gautam Biswas ◽  
Janos Sztipanovits

2017 ◽  
Vol 22 (S1) ◽  
pp. 989-998
Author(s):  
Yuji Tamura ◽  
Truong Thi Doan ◽  
Takahiro Chiba ◽  
Myungryun Yoo ◽  
Takanori Yokoyama

Sign in / Sign up

Export Citation Format

Share Document