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

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


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.


Embed System Target Platform Schedulability Analysis Stirling Engine Delta Cycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Linux/Xenomai RTOS.
  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
    Email author
  • Alessandro Cimatti
    • 1
  • Luigi Crema
    • 1
  • Mattia Roccabruna
    • 1
  • Stefano Tonetta
    • 1
  1. 1.Fondazione Bruno Kessler (FBK)TrentoItaly

Personalised recommendations