Abstract
This workshop brought together researchers and practitioners interested in model-based software engineering for real-time embedded systems, with a particular focus on the use of architecture description languages, domain-specific design and implementation languages, languages for capturing non-functional constraints, and component and system description languages. Ten presenters proposed contributions on model-based analysis, transformation and synthesis, as well as tools, applications and patterns. Three break-out groups discussed the transition from requirements to architecture, design languages, and platform (in)dependence. This report summarises the workshop results.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Van Baelen, S., Ober, I., Graf, S., Filali, M., Weigert, T., Gérard, S. (eds.): ACES-MB 2008 Proceedings: First International Workshop on Model Based Architecting and Construction of Embedded Systems, IRIT, Toulouse, France (2008)
Senn, E., Laurent, J., Diguet, J.-P.: Multi-level power consumption modelling in the aadl design flow for dsp, gpp, and fpga. In: Van Baelen, et al. (eds.) [1], pp. 9–22
Monteverde, D., Olivero, A., Yovine, S., Braberman, V.: Vts-based specification and verification of behavioral properties of aadl models. In: Van Baelen, et al. (eds.) [1], pp. 23–37
Chkouri, M.Y., Robert, A., Bozga, M., Sifakis, J.: Translating aadl into bip - application to the verification of real-time systems. In: Van Baelen, et al. (eds.) [1], pp. 39–53
Bochmann, G.V.: Deriving component designs from global requirements. In: Van Baelen, et al. (eds.) [1], pp. 55–69
Feng, T.H., Lee, E.A.: Scalable models using model transformation. In: Van Baelen, et al. (eds.) [1], pp. 71–85
Pakulin, N., Rubanov, V.: Ise language: The adl for efficient development of cross toolkits. In: Van Baelen, et al. (eds.) [1], pp. 87–98
Bordin, M., Panunzio, M., Santamaria, C., Vardanega, T.: A reinterpretation of patterns to increase the expressive power of model-driven engineering approaches. In: Van Baelen, et al. (eds.) [1], pp. 145–158
Peraldi-Frati, M.-A., Sorel, Y.: From high-level modelling of time in marte to real-time scheduling analysis. In: Van Baelen, et al. (eds.) [1], pp. 129–143
Porter, J., Karsai, G., Völgyesi, P., Nine, H., Humke, P., Hemingway, G., Thibodeaux, R., Sztipanovits, J.: Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation. In: Van Baelen, et al. (eds.) [1], pp. 99–113
Lafi, S., Champagne, R., Kouki, A.B., Belzile, J.: Modeling radio-frequency front-ends using sysml: A case study of a umts transceiver. In: Van Baelen, et al. (eds.) [1], pp. 115–128
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ober, I., Van Baelen, S., Graf, S., Filali, M., Weigert, T., Gérard, S. (2009). Model Based Architecting and Construction of Embedded Systems. In: Chaudron, M.R.V. (eds) Models in Software Engineering. MODELS 2008. Lecture Notes in Computer Science, vol 5421. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01648-6_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-01648-6_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01647-9
Online ISBN: 978-3-642-01648-6
eBook Packages: Computer ScienceComputer Science (R0)