Skip to main content
SpringerLink
Log in
Book cover

Springer Handbook of Automation pp 365–380Cite as

Modeling and Software for Automation

  • Chapter

  • 20k Accesses

Part of the book series: Springer Handbooks ((SHB))

Abstract

Automation is in most cases done through the use of hardware and software. Software-related costs account for a growing share of total development costs for automation systems. In the automation field, containment of software costs can be done either through the use of model-based tools (e.g., Matlab) or through a higher level of reuse. This chapter argues that both technologies have their place. The first strategy can be used for the design of software for a large number of identical installations or for the implementation of only part of the software (i.e., the control algorithms). The second strategy is advantageous in the case of industrial automation systems targeting niche markets where systems tend to be one-of-a-kind and where they can be organized in families of related applications. In many applications, a combination of the two approaches will produce the best results. Both approaches are treated in the paper. The main focus of the chapter is on developing software for automation. As such software will often be implemented for slightly different processes, it is highly appropriate that the production process is at least partly automated. As space is limited, this chapter can not cover all aspects of the design and implementation of software for automation, but we claim that the methods discussed here integrate very well with traditional methods of software and systems engineering. Experience from contributions to various research projects recently performed at Swiss Federal Technical university (ETH) are also summarized.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   309.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Abbreviations

AOCS:

attitude and orbit control system

AOP:

aspect-oriented programming

ETH:

Swiss Federal Technical university

FBD:

function block diagram

FPGA:

field-programmable gate arrays

FW:

framework

GUI:

graphic user interface

IEC:

International Electrotechnical Commission

IL:

instruction list

LD:

ladder diagram

OBS:

on-board software

OPM:

object–process methodology

PC:

personal computer

PI:

proportional–integral

PLC:

programmable logic controller

ST:

structured text

UML:

universal modeling language

WWW:

World Wide Web

XML:

extensible mark-up language

XSLT:

extensible stylesheet language transformation

References

  1. W. Schaufelberger, P. Sprecher, P. Wegmann: Echtzeit-Programmierung bei Automatisierungssystemen (Teubner, Stuttgart 1985), in German

    Google Scholar 

  2. G.E. Maier, W. Schaufelberger: Simulation and implementation of discrete-time control systems on IBM-compatible PCs by FPU, 11th IFAC World Congr. (Pergamon, Tallinn 1990)

    Google Scholar 

  3. P. Kolb, M. Rickli, W. Schaufelberger, G.E. Maier: Discrete time simulation and experiments with FPU and block-sim on IBM PCʼs, IFAC ACE (Pergamon, Boston 1991)

    Google Scholar 

  4. M. Kottmann, X. Qiu, W. Schaufelberger: Simulation and Computer Aided Control System Design using Object-Orientation (vdf ETH, Zürich, 2000)

    Google Scholar 

  5. D. Dori: Object-Process Methodology (Springer, Berlin, Heidelberg 2002)

    Book  Google Scholar 

  6. A.H. Glattfelder, W. Schaufelberger: Control Systems with Input and Output Constraints (Springer, Berlin, Heidelberg 2003)

    MATH  Google Scholar 

  7. A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone: The synchronous languages 12 years later, Proc. IEEE 91(1), 64–83 (2003)

    Google Scholar 

  8. P. Caspi, A. Curic, A. Maignan, C. Sofronis, S. Tripakis: Translating Discrete-Time Simulink to Lustre. In: ACM Transactions on Embedded Computing Systems (TECS) 4(4) (New York 2005)

    Google Scholar 

  9. Esterel Technologies: http://www.esterel-technologies.com/ (last accessed February 6, 2009)

  10. T.A. Henzinger, B. Horowitz, C.M. Kirsch: Giotto: a time-triggered language for embedded programming, Proc. IEEE 91(1), 84–99 (2003)

    Article  Google Scholar 

  11. J. Chapuis, C. Eck, M. Kottmann, M.A.A. Sanvido, O. Tanner: Control of helicopters. In: Control of Complex Systems, ed. by A. Åström, P. Albertos, M. Blanke, A. Isidori, W. Schaufelberger, R. Sanz (Springer, Berlin, Heidelberg 2001) pp. 359–392

    Google Scholar 

  12. N. Wirth: Tasks versus threads: An alternative multiprocessing paradigm, Softw.-Concepts Tools 17(1), 6–12 (1996)

    Google Scholar 

  13. N. Wirth: Digital Circuit Design (Springer, Berlin, Heidelberg 1995)

    MATH  Google Scholar 

  14. T.A. Henzinger, M.C. Kirsch, M.A.A. Sanvido, W. Pree: From Control Models to Real-Time Code Using Giotto, IEEE Control Syst. Mag. 23(1), 50–64 (2003)

    Article  Google Scholar 

  15. P. Donohoe (ed): Software Product Lines – Experience and Research Directions (Kluwer, Dordrecht 2000)

    Google Scholar 

  16. M. Fayad, D. Schmidt, R. Johnson (Eds.): Building Application Frameworks – Object Oriented Foundations of Framework Design (Wiley, New York 1995)

    Google Scholar 

  17. V. Cechticky, A. Pasetti, W. Schaufelberger: The adaptability challenge for embedded system software, IFAC World Congr. Prague (Elsevier, 2005)

    Google Scholar 

  18. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Videira Lopes, J. Loingtier, J. Irwin: Aspect-Oriented Programming, Eur. Conf. Object-Oriented Program. ECOOP `97 (Springer, 1997)

    Google Scholar 

  19. I. Birrer, P. Chevalley, A. Pasetti, O. Rohlik: An aspect weaver for qualifiable applications, Proc. 15th Data Syst. Aerosp. (DASIA) Conf. (2004)

    Google Scholar 

  20. J. Cleaveland: Program Generators with XML and Java (Prentice Hall, Upper Saddle River 2001)

    Google Scholar 

  21. K. Czarnecki, U. Eisenecker: Generative Programming (Addison-Wesley, Reading 2000)

    Google Scholar 

  22. R. Englander: Developing JavaBeans (Java Series) (OʼReilly and Associated, Köln 1997)

    Google Scholar 

  23. A. Pasetti: http://control.ee.ethz.ch/~ceg/AutomatedFrameworkInstantiation/index.html, (last accessed February 6, 2009)

  24. V. Cechticky, A. Pasetti: Generative programming for space applications, Proc. 14th Data Syst. Aerosp. (DASIA) Conf. (Prague 2003)

    Google Scholar 

  25. V. Cechticky, A. Pasetti, W. Schaufelberger: A generative approach to framework instantiation. In: Generative Programming and Component Engineering (GPCE), Lecture Notes in Computer Science, Vol. 2830, ed. by F. Pfenning, Y. Smaragdakis (Springer, Berlin, Heidelberg 2003)

    Google Scholar 

  26. A. Blum, V. Cechticky, A. Pasetti: A Java-based framework for real-time control systems, Proc. 9th IEEE Int. Conf. Emerg. Technol. Fact. Autom. (ETFA) (Lisbon, 2003)

    Google Scholar 

  27. M.R. Blaha, J.R. Rumbaugh: Object-oriented Modeling and Design with UML (Prentice Hall, Upper Saddle River 2004)

    Google Scholar 

  28. D. Rosenberg, M. Stephens: Use Case Driven Object Modeling with UML: Theory and Practice (Apress, Berkeley 2007)

    Google Scholar 

  29. S.W. Ambler: The Elements of UML 2.0 Style (Cambridge University Press, Cambridge 2005)

    Google Scholar 

  30. R. Miles, K. Hamilton: Learning UML 2.0 (OʼReilly Media, Köln 2006)

    Google Scholar 

  31. European Space Agency: http://www.assert-project.net/assert.html (last accessed February 6, 2009)

  32. M. Egli, A. Pasetti, O. Rohlik, T. Vardanega: A UML2 profile for reusable and verifiable real-time components. In: Reuse of Off-The-Shelf Components (ICSR), Lecture Notes in Computer Science, Vol. 4039, ed. by M. Morisio (Springer, Berlin, Heidelberg 2006)

    Google Scholar 

  33. P&P Software GmbH: http://www.pnp-software.com/fwprofile/ (last accessed February 6, 2009)

  34. E. Gamma, R. Helm, R. Johnson, J. Vlissides: Design Patterns, Elements of Reusable Object-Oriented Software (Addison-Wesley, Reading 1995)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. P& P Software GmbH, High Tech Center 1, 8274, Tägerwilen, Switzerland

    Alessandro Pasetti Dr

  2. Institute of Automatic Control, ETH Zurich, Physikstrasse 3, 8092, Zurich, Switzerland

    Walter Schaufelberger (Δ) Prof

Authors
  1. Alessandro Pasetti Dr
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Walter Schaufelberger (Δ) Prof
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alessandro Pasetti Dr .

Editor information

Editors and Affiliations

  1. PRISM Center, and School of Industrial Engineering, Purdue University, 315 N. Grant Street, 47907, West Lafayette, IN, USA

    Shimon Y. Nof

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Pasetti, A., Schaufelberger (Δ), W. (2009). Modeling and Software for Automation. In: Nof, S. (eds) Springer Handbook of Automation. Springer Handbooks. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78831-7_22

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78831-7_22

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78830-0

  • Online ISBN: 978-3-540-78831-7

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics

Search

Navigation