Sequence-based specification of feedback control systems in simulink®

Proceedings of the 2007 Conference of the Center for Advanced Studies on Collaborative Research, CASCON '07

Volumn , Issue , 2007, Pages 332-345

  Carter, Jason M ^a,c   Poore, Jesse H ^a,b,c  

^a UNIVERSITY OF TENNESSEE   (United States)

^b OAK RIDGE NATIONAL LABORATORY   (United States)

^c University of Tennessee   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANALOG CONTROLS; BASED SPECIFICATION; CODE GENERATORS; DESIGN CONTROL; DESIGN SYSTEMS; EMBEDDED CONTROL SYSTEMS; SENSORS AND ACTUATORS; SIMULINK; SOFTWARE ENGINEERING METHODS; STATE MACHINE;

ADAPTIVE CONTROL SYSTEMS; COMPUTER SOFTWARE; CONTOUR FOLLOWERS; CONTROL THEORY; DESIGN; FEEDBACK; FEEDBACK CONTROL; PNEUMATIC CONTROL EQUIPMENT; SOLID-STATE SENSORS; SPECIFICATIONS; STATE FEEDBACK;

EMBEDDED SYSTEMS;

EID: 77953195786     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321211.1321257     Document Type: Conference Paper

References (12)

1. T. Bauer, T. Beletski, F. Boehr, R. Eschbach, D. Landmann, and J. Poore. From Requirements to Statistical Testing of Embedded Systems. In Proceedings of 4th International ICSE Workshop on Software Engineering for Automotive Systems, Minneapolis. ICSE, ICSE, May 2007.
2. The Mathworks. Stateflow product website, 2007. This is an electronic document. http://www.mathworks.com/products/stateflow.
3. H. D. Mills. Stepwise refinement and verification in box-structured systems. IEEE Computer, 21:23-36, June 1988.
4. P. Mosterman. MATLAB FileExchange: Power Window System, 2002. This is an electronic document. http://www.mathworks.com/matlabcentral/fileexchange. Date of publication: February 1, 2002. Date retrieved: September 1, 2006.
5. J. Poore and C. Trammell. Engineering practices for statistical testing. Crosstalk, 11(4):24-28, April 1998.
6. S. Prowell, C. Trammell, R. Linger, and J. Poore. Cleanroom Software Engineering: Technology and Process. Addison-Wesley-Longman, Reading, Massachusetts, 1999.
7. S. Prowell. JUMBL: A tool for model-based statistical testing. In Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS'03). IEEE Computer Society, IEEE Computer Society, January 2003.
8. S. Prowell and J. Poore. Foundations of sequence-based software specification. IEEE Transactions on Software Engineering, 29(5):417-429, May 2003.
9. F. Raven. Automatic Control Engineering. McGraw-Hill, Inc., New York Toronto London, 1987.
10. Software Quality Research Laboratory. The Java Usage Model Builder Library (JUMBL), 2005. This is an electronic document. http://www.cs.utk.edu/ sqrl/esp/jumbl.html.
11. Software Quality Research Laboratory. Sequence-based Specification Tool, Protoseq, 2005. This is an electronic document. http://www.cs.utk.edu/sqrl/esp/ index.html.
12. J. Tou. Digital and Sampled-data Control Systems. McGraw-Hill, Inc., New York Toronto London, 1959.