Model-Based Design of an Energy-System Embedded Controller Using Taste

  • Roberto Cavada
  • Alessandro Cimatti
  • Luigi Crema
  • Mattia Roccabruna
  • Stefano Tonetta
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9995)

Abstract

Model-based design has become a standard practice in the development of control systems. Many solutions provide simulation, code generation, and other functionalities to minimize the design time and optimize the resulting control system implementation.

In this paper, we report on the experience of using Taste as the design environment for the controller of an energy system comprising a parabolic dish collector and a Stirling engine. Besides standard advantages of model-based design, an appealing feature of Taste is the possibility of specifying the design model with a formal language such as SDL. The complexity of the designed system stressed the tool’s performances and usability. Nevertheless, the functionalities provided by Taste were essential to manage such complexity.

References

  1. 1.
    Linux/Xenomai RTOS. https://xenomai.org/
  2. 2.
    ITU-T: Specification and description language (SDL). ITU-T Recommendation Z.100 (1999)Google Scholar
  3. 3.
    ITU-T: Information technology Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T Recommendation X.680 (2002)Google Scholar
  4. 4.
    Lasnier, G., Zalila, B., Pautet, L., Hugues, J.: Ocarina: an environment for AADL models analysis and automatic code generation for high integrity applications. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe 2009. LNCS, vol. 5570, pp. 237–250. Springer, Heidelberg (2009). doi:10.1007/978-3-642-01924-1_17 CrossRefGoogle Scholar
  5. 5.
    McFarlane, P., Semperlotti, F., Sen, M.: Mathematical model of an air-filled alpha stirling refrigerator. J. Appl. Phys. 114(14), 144508–144508 (2013)CrossRefGoogle Scholar
  6. 6.
    Perrotin, M., Conquet, E., Delange, J., Schiele, A., Tsiodras, T.: TASTE: a real-time software engineering tool-chain overview, status, and future. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 26–37. Springer, Heidelberg (2011). doi:10.1007/978-3-642-25264-8_4 CrossRefGoogle Scholar
  7. 7.
    Reda, I., Andreas, A.: Solar position algorithm for solar radiation applications. Sol. Energy 76(5), 577–589 (2008)CrossRefGoogle Scholar
  8. 8.
    Ross, A.: Stirling cycle engines. Sol. Engines (1977)Google Scholar
  9. 9.
    Ruelas, J., Velzquez, N., Cerezo, J.: A mathematical model to develop a scheffler-type solar concentrator coupled with a stirling engine. Appl. Energy 101, 253–260 (2013)CrossRefGoogle Scholar
  10. 10.
    SAE Standards: Architecture Analysis & Design Language (AADL). n\(^{o}\) AS5506B, September 2012Google Scholar

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  • Roberto Cavada
    • 1
  • Alessandro Cimatti
    • 1
  • Luigi Crema
    • 1
  • Mattia Roccabruna
    • 1
  • Stefano Tonetta
    • 1
  1. 1.Fondazione Bruno Kessler (FBK)TrentoItaly

Personalised recommendations