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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Linux/Xenomai RTOS. https://xenomai.org/
ITU-T: Specification and description language (SDL). ITU-T Recommendation Z.100 (1999)
ITU-T: Information technology Abstract Syntax Notation One (ASN.1): Specification of basic notation. ITU-T Recommendation X.680 (2002)
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
McFarlane, P., Semperlotti, F., Sen, M.: Mathematical model of an air-filled alpha stirling refrigerator. J. Appl. Phys. 114(14), 144508–144508 (2013)
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
Reda, I., Andreas, A.: Solar position algorithm for solar radiation applications. Sol. Energy 76(5), 577–589 (2008)
Ross, A.: Stirling cycle engines. Sol. Engines (1977)
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)
SAE Standards: Architecture Analysis & Design Language (AADL). n\(^{o}\) AS5506B, September 2012
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Cavada, R., Cimatti, A., Crema, L., Roccabruna, M., Tonetta, S. (2016). Model-Based Design of an Energy-System Embedded Controller Using Taste . In: Fitzgerald, J., Heitmeyer, C., Gnesi, S., Philippou, A. (eds) FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science(), vol 9995. Springer, Cham. https://doi.org/10.1007/978-3-319-48989-6_45
Download citation
DOI: https://doi.org/10.1007/978-3-319-48989-6_45
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-48988-9
Online ISBN: 978-3-319-48989-6
eBook Packages: Computer ScienceComputer Science (R0)