Skip to main content

2016 | OriginalPaper | Buchkapitel

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

verfasst von : Roberto Cavada, Alessandro Cimatti, Luigi Crema, Mattia Roccabruna, Stefano Tonetta

Erschienen in: FM 2016: Formal Methods

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
2.
Zurück zum Zitat ITU-T: Specification and description language (SDL). ITU-T Recommendation Z.100 (1999) ITU-T: Specification and description language (SDL). ITU-T Recommendation Z.100 (1999)
3.
Zurück zum Zitat ITU-T: Information technology Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T Recommendation X.680 (2002) ITU-T: Information technology Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T Recommendation X.680 (2002)
4.
Zurück zum Zitat 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 CrossRef 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 CrossRef
5.
Zurück zum Zitat McFarlane, P., Semperlotti, F., Sen, M.: Mathematical model of an air-filled alpha stirling refrigerator. J. Appl. Phys. 114(14), 144508–144508 (2013)CrossRef McFarlane, P., Semperlotti, F., Sen, M.: Mathematical model of an air-filled alpha stirling refrigerator. J. Appl. Phys. 114(14), 144508–144508 (2013)CrossRef
6.
Zurück zum Zitat 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 CrossRef 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 CrossRef
7.
Zurück zum Zitat Reda, I., Andreas, A.: Solar position algorithm for solar radiation applications. Sol. Energy 76(5), 577–589 (2008)CrossRef Reda, I., Andreas, A.: Solar position algorithm for solar radiation applications. Sol. Energy 76(5), 577–589 (2008)CrossRef
8.
Zurück zum Zitat Ross, A.: Stirling cycle engines. Sol. Engines (1977) Ross, A.: Stirling cycle engines. Sol. Engines (1977)
9.
Zurück zum Zitat 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)CrossRef 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)CrossRef
10.
Zurück zum Zitat SAE Standards: Architecture Analysis & Design Language (AADL). n\(^{o}\) AS5506B, September 2012 SAE Standards: Architecture Analysis & Design Language (AADL). n\(^{o}\) AS5506B, September 2012
Metadaten
Titel
Model-Based Design of an Energy-System Embedded Controller Using Taste
verfasst von
Roberto Cavada
Alessandro Cimatti
Luigi Crema
Mattia Roccabruna
Stefano Tonetta
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-48989-6_45