Sequence-based specification of feedback control systems in Simulink®

Solid-state microprocessors with software controlled sensors and actuators have essentially replaced analog control systems. Design systems with extensive libraries and code generators such as the ETAS® ASCET and MATLAB®/Simulink are widely used in industry to design control systems. However. the software engineering methods to help get the design right are missing. Sequence-based specification is a rigorous method that is well suited to the design of embedded control systems. This paper focuses on the adaptation of sequence-based specification to Simulink blocks, feedback control, and state machine generation, while preserving the ability to convert ordinary requirements to precise state-machine specifications.

[1]  R. Eschbach,et al.  From Requirements to Statistical Testing of Embedded Systems , 2007, Fourth International Workshop on Software Engineering for Automotive Systems (SEAS '07).

[2]  Julius T. Tou,et al.  Digital and sampled-data control systems , 1963 .

[3]  Francis H. Raven.  Automatic Control Engineering , 1961 .

[4]  Harlan D. Mills,et al.  Stepwise refinement and verification in box-structured systems , 1988, Computer.

[5]  Stacy J. Prowell,et al.  JUMBL: a tool for model-based statistical testing , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[6]  Carmen J. Trammell,et al.  Engineering Practices for Statistical Testing , 1998 .

[7]  Stacy J. Prowell,et al.  Foundations of Sequence-Based Software Specification , 2003, IEEE Trans. Software Eng..

[8]  이상준,et al.  [서평]Cleanroom Software Engineering-Technology and Process , 2000 .

[9]  Francis H. Raven.  Automatic control engineering, 4th ed. , 1987 .