Abstract
In the development of embedded software, modeling languages used within or across development phases e.g., requirements, specification, design, etc are based on different paradigms and an approach for relating these is needed. In this paper, we present a formal framework for relating specification and design models of embedded systems. We have chosen UML statemachines as specification models and ProCom component language for design models. While the specification is event-driven, the design is based on time triggering and data flow. To relate these abstractions, through the execution trajectories of corresponding models, formal semantics for both kinds of models and a set of inference rules are defined. The approach is applied on an autonomous truck case-study.
This work was partially supported by the Swedish Foundation for Strategic Research via the strategic research centre PROGRESS and Q-ImPrESS EU project.
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
Preview
Unable to display preview. Download preview PDF.
References
Åkerholm, M., Carlson, J., Fredriksson, J., Hansson, H., Håkansson, J., Möller, A., Pettersson, P., Tivoli, M.: The SAVE approach to component-based development of vehicular systems. Journal of Systems and Software 80(5), 655–667 (2007)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
Bures, T., Carlson, J., Crnkovic, I., Sentilles, S., Vulgarakis, A.: ProCom - the progress component model reference manual, version 1.0. Technical Report, ISSN 1404-3041 ISRN MDH-MRTC-230/2008-1-SE, Mälardalen University (June 2008)
Bures, T., Hnetynka, P., Plasil, F.: Sofa 2.0: Balancing advanced features in a hierarchical component model. In: SERA 2006: Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications, Washington, DC, USA, pp. 40–48. IEEE Computer Society, Los Alamitos (2006)
Crnkovic, I., Larssom, M.: Challenges of component based development. J. Syst. Softw. 61(3), 201–212 (2002)
Krčál, P., Mokrushin, L., Thiagarajan, P.S., Yi, W.: Timed vs time triggered automata. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 340–354. Springer, Heidelberg (2004)
Mallet, F., de Simone, R., Rioux, L.: Event triggered vs. time-triggered communications with UML Marte. In: FDL, pp. 154–159 (2008)
Medvidovic, N., Grünbacher, P., Egyed, A., Boehm, B.W.: Bridging models across the software lifecycle. J. Syst. Softw. 68(3), 199–215 (2003)
OMG. Unified modeling language (uml) profile for modeling and analysis of real-time and embedded systems (marte). In: Document ptc/07-08-04. OMG (2007)
Plasil, F., Visnovsky, S.: Behavior protocols for software components. IEEE Trans. Softw. Eng. 28(11), 1056–1076 (2002)
Rumbaugh, J., Jacobson, I., Booch, G.: Unified Modeling Language Reference Manual, 2nd edn. Pearson Higher Education, London (2004)
Sentilles, S., Pettersson, A., Nyström, D., Nolte, T., Pettersson, P., Crnkovic, I.: Save-IDE - a tool for design, analysis and implementation of component-based embedded systems. In: Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE) (May 2009)
Sifakis, J., Tripakis, S., Yovine, S.: Building models of real-time systems from application software. In: Proceedings of the IEEE Special issue on modeling and design of embedded, pp. 100–111. IEEE, Los Alamitos (2003)
Slutej, D., Håkansson, J., Suryadevara, J., Seceleanu, C., Pettersson, P.: Analyzing a pattern-based model of a real-time turntable system. In: Happe, B.Z.J. (ed.) ESOP 2009. Electronic Notes in Theoretical Computer Science (ENTCS), York, UK, March 2009 vol. 253, pp. 161–178. Elsevier, Amsterdam (September 2009)
Vulgarakis, A., Suryadevara, J., Carlson, J., Seceleanu, C., Pettersson, P.: Formal semantics of the procom real-time component model. In: 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) (August 2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Suryadevara, J., Kang, EY., Seceleanu, C., Pettersson, P. (2010). Bridging the Semantic Gap between Abstract Models of Embedded Systems . In: Grunske, L., Reussner, R., Plasil, F. (eds) Component-Based Software Engineering. CBSE 2010. Lecture Notes in Computer Science, vol 6092. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-13238-4_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-13238-4_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-13237-7
Online ISBN: 978-3-642-13238-4
eBook Packages: Computer ScienceComputer Science (R0)