Abstract
Large scale embedded software intensive systems as we find them, for instance, in cars today need structured techniques in terms of comprehensive architectures for mastering their specification, development, and verification. Comprehensive system architectures provide the appropriate levels of abstraction separating logical from technical views. We show how logical architecture provides a systematic focal point for specification and refinement based development with early verification.
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
Abrial, J.-R.: Formal methods: Theory becoming practice, vol. 13(5), pp. 619–628 (May 2007)
Botaschanjan, J., Gruler, A., Harhurin, A., Kof, L., Spichkova, M., Trachtenherz, D.: Towards Modularized Verification of Distributed Time-Triggered Systems. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 163–178. Springer, Heidelberg (2006)
Botaschanjan, J., Kof, L., Kühnel, C., Spichkova, M.: Towards Verified Automotive Software. In: SEAS 2005: Proceedings of the Second International ICSE Workshop on Software Engineering for Automotive Systems, pp. 1–6. ACM Press, New York (2005)
Botaschanjan, J., Broy, M., Gruler, A., Harhurin, A., Knapp, S., Kof, L., Paul, W., Spichkova, M.: On the Correctness of Upper Layers of Automotive Systems. Formal Aspects of Computing, FACS (to appear)
Broy, M., Krüger, I.H., Meisinger, M.: A Formal Model of Services. ACM Transactions on Software Engineering and Methodology (TOSEM) 16(1), 5 (2007)
Broy, M.: Model-driven architecture-centric engineering of (embedded) software intensive systems: modeling theories and architectural milestones, vol. 3(1), pp. 75–102 (2007)
Broy, M.: The Grand Challenge in Informatics: Engineering Software-Intensive Systems. IEEE Computer, 72–80 (2006)
Bauer, A., Broy, M., Romberg, J., Schätz, B., Braun, P., Freund, U., Mata, N., Sandner, R., Ziegenbein, D.: Auto-MoDe—Notations, Methods, and Tools for Model-Based Development of Automotive Software. In: Proceedings of the SAE 2005 World Congress, Detroit, MI. Society of Automotive Engineers (April 2005)
Broy, M.: Two Sides of Structuring Multi-Functional Software Systems: Function Hierarchy and Component Architecture. In: Kim, H.-K., Tanaka, J., Malloy, B., Lee, R. (eds.) Proceedings 5th ACIS International Conference on Software Engineeering Research, Management & Applications (SERA 2007), August 20 – 22, pp. 3–10. IEEE Computer Society, Los Alamitos (2007)
Broy, M., Krüger, I.H., Pretschner, A., Salzmann, C.: Engineering Automotive Software. In: Proceedings of the IEEE, vol. 95(2), pp. 356–373 (February 2007)
Pretschner, A., Broy, M., Krüger, I.H., Stauner, T.: Software Engineering for Automotive Systems: A Roadmap. In: Future of Software Engineering (FOSE 2007). IEEE Computer Soceity, Los Alamitos (2007)
Broy, M., Feilkas, M., Grünbauer, J., Gruler, A., Harhurin, A., Hartmann, J., Penzenstadler, B., Schätz, B., Wild, D.: Umfassendes Architekturmodell für das Engineering eingebetteter Softwareintensiver Systeme, Modellierungstheorien und Architekturebenen. Technical Report. Technische Universität München
Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless Model-based Development: from Isolated Tools to Integrated Model Engineering Environments. IEEE (to appear)
Dijkstra, E.W.: Notes on Structured Programming. In: Dahl, O.-J., Hoare, C.A.R., Dijkstra, E.W. (eds.) Structured Programming. Academic Press, New York (1972)
Parnas, D.: On the criteria to be used to decompose systems into modules. Comm. ACM 15, 1053–1058 (1972)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Broy, M. (2008). Architecture Based Specification and Verification of Embedded Software Systems (Work in Progress). In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. ISoLA 2008. Communications in Computer and Information Science, vol 17. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88479-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-88479-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88478-1
Online ISBN: 978-3-540-88479-8
eBook Packages: Computer ScienceComputer Science (R0)