Article

Sequence-based specification of feedback control systems in Simulink®

Authors:

Jason M. Carter,

Jesse H. PooreAuthors Info & Claims

CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research

Pages 332 - 345

https://doi.org/10.1145/1321211.1321257

Published: 22 October 2007 Publication History

Get Access

Abstract

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.

References

[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.

Digital Library

Google Scholar

[2]

The Mathworks. Stateflow product website, 2007. This is an electronic document. http://www.mathworks.com/products/stateflow.

Google Scholar

[3]

H. D. Mills. Stepwise refinement and verification in box-structured systems. IEEE Computer, 21:23--36, June 1988.

Digital Library

Google Scholar

[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.

Google Scholar

[5]

J. Poore and C. Trammell. Engineering practices for statistical testing. Crosstalk, 11(4):24--28, April 1998.

Google Scholar

[6]

S. Prowell, C. Trammell, R. Linger, and J. Poore. Cleanroom Software Engineering: Technology and Process. Addison-Wesley-Longman, Reading, Massachusetts, 1999.

Digital Library

Google Scholar

[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.

Digital Library

Google Scholar

[8]

S. Prowell and J. Poore. Foundations of sequence-based software specification. IEEE Transactions on Software Engineering, 29(5):417--429, May 2003.

Digital Library

Google Scholar

[9]

F. Raven. Automatic Control Engineering. McGraw-Hill, Inc., New York Toronto London, 1987.

Digital Library

Google Scholar

[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.

Google Scholar

[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.

Google Scholar

[12]

J. Tou. Digital and Sampled-data Control Systems. McGraw-Hill, Inc., New York Toronto London, 1959.

Google Scholar

Cited By

View all

Osaiweran ASchuts MHooman JGroote JRijnsoever B(2016)Evaluating the effect of a lightweight formal technique in industryInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0374-118:1(93-108)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10009-015-0374-1
Awedikian RYannou B(2014)A practical model-based statistical approach for generating functional test casesSoftware Testing, Verification & Reliability10.1002/stvr.147924:2(85-123)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1002/stvr.1479
Groote JOsaiweran AWesselius J(2012)Analyzing a Controller of a Power Distribution Unit Using Formal MethodsProceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation10.1109/ICST.2012.122(420-428)Online publication date: 17-Apr-2012
https://dl.acm.org/doi/10.1109/ICST.2012.122
Show More Cited By

Recommendations

PLC control and Matlab/Simulink simulations: a translation approach
ETFA'09: Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

This paper proposes a translation methodology to emulate PLC control program in the Matlab/Simulink environment. The translation package automatically translates the PLC control program into Matlab/Simulink software language. The PLC control program is ...
Hybrid specification of control systems
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer Systems

An alternative approach to the development of control systems is presented. It differs from current ones in two aspects, because it is based on a formal software specification language, which allows formal verification and because it enables ...
A Study on the Control System of Double-volume Tank Based on Simulink Emulation
AIEE '23: Proceedings of the 2023 4th International Conference on Artificial Intelligence in Electronics Engineering

Liquid level is one of the common control parameters involved in industrial production processes. Accurate level control of the desired control object is related to the quality of the product and is an important issue to ensure production effectiveness ...

Comments

Information & Contributors

Information

Published In

CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research

October 2007

387 pages

Conference Chairs:
Kelly Lyons
IBM Toronto Lab Centre for Advanced Studies
,
Christian Couturier
Institute for Information Technology, National Research Council Canada
,
Editors:
Bruce Spencer
National Research Council Canada
,
Margaret-Anne Storey
University of Victoria
,
Darlene Stewart
National Research Council Canada
,
Program Chairs:
Bruce Spencer
National Research Council Canada
,
Margaret-Anne Storey
University of Victoria

Publisher

IBM Corp.

United States

Publication History

Published: 22 October 2007

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 24 of 90 submissions, 27%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
356
Total Downloads

Downloads (Last 12 months)5
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Osaiweran ASchuts MHooman JGroote JRijnsoever B(2016)Evaluating the effect of a lightweight formal technique in industryInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-015-0374-118:1(93-108)Online publication date: 1-Feb-2016
https://dl.acm.org/doi/10.1007/s10009-015-0374-1
Awedikian RYannou B(2014)A practical model-based statistical approach for generating functional test casesSoftware Testing, Verification & Reliability10.1002/stvr.147924:2(85-123)Online publication date: 1-Mar-2014
https://dl.acm.org/doi/10.1002/stvr.1479
Groote JOsaiweran AWesselius J(2012)Analyzing a Controller of a Power Distribution Unit Using Formal MethodsProceedings of the 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation10.1109/ICST.2012.122(420-428)Online publication date: 17-Apr-2012
https://dl.acm.org/doi/10.1109/ICST.2012.122
Shahbaz MShashidhar KEschbach RDwyer MTip F(2011)Iterative refinement of specification for component based embedded systemsProceedings of the 2011 International Symposium on Software Testing and Analysis10.1145/2001420.2001454(276-286)Online publication date: 17-Jul-2011
https://dl.acm.org/doi/10.1145/2001420.2001454
Siegl SHielscher KGerman RBerger C(2011)Automated testing of embedded automotive systems from requirement specification modelsProceedings of the 2011 12th Latin American Test Workshop10.1109/LATW.2011.5985928(1-6)Online publication date: 27-Mar-2011
https://dl.acm.org/doi/10.1109/LATW.2011.5985928
Böhr F(2011)Model Based Statistical Testing of Embedded Systems2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops10.1109/ICSTW.2011.11(18-25)Online publication date: Mar-2011
https://doi.org/10.1109/ICSTW.2011.11
Groote JOsaiweran AWesselius J(2011)Analyzing the effects of formal methods on the development of industrial control softwareProceedings of the 2011 27th IEEE International Conference on Software Maintenance10.1109/ICSM.2011.6081983(467-472)Online publication date: 25-Sep-2011
https://dl.acm.org/doi/10.1109/ICSM.2011.6081983
van den Heuvel MBril Rvan de Velde PLukkien JFabre JGuetta OTrapp M(2010)Towards verification-based development of in-vehicle safety critical softwareProceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety10.1145/1772643.1772654(35-38)Online publication date: 27-Apr-2010
https://dl.acm.org/doi/10.1145/1772643.1772654
Siegl SHielscher KGerman R(2010)Introduction of time dependencies in usage model based testing of complex systems2010 IEEE International Systems Conference10.1109/SYSTEMS.2010.5482341(622-627)Online publication date: Apr-2010
https://doi.org/10.1109/SYSTEMS.2010.5482341
Böhr F(2010)Model Based Statistical Testing and DurationsProceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems10.1109/ECBS.2010.49(344-351)Online publication date: 22-Mar-2010
https://dl.acm.org/doi/10.1109/ECBS.2010.49
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Recommendations

PLC control and Matlab/Simulink simulations: a translation approach

Hybrid specification of control systems

A Study on the Control System of Double-volume Tank Based on Simulink Emulation

Comments

Information

Published In

Sponsors

Publisher

Publication History

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations