Abstract
The paper reports about a rigorous software process for embedded system development. The process is based on specifying the software by a well-chosen and well-defined subset of UML diagrams. The process together with a formally defined semantic of the various diagram types supports requirements tracking, consistency checking and formal verification across the various parts of a UML-based specification. An existing software development environment illustrates the concepts of the paper.
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
Giese, H., Kindler, E., Klein, F., Wagner, R.: Reconciling Scenario-Centered Controller Design with State-Based System Models. In: Bontemps, Y., et al. (eds.) Proceedings of the 4th Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (in Conjunction with the International Conference on Software Engineering), St. Louis, MO, USA, pp. 1–5. IEEE, Los Alamitos (2005) (accepted)
Giese, H., Burmester, S.: Analysis and Synthesis for Parameterized Timed Sequence Diagrams. In: Proceedings of the 3rd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools (SCESM, ICSE 2003 Workshop W5S), Edinburgh, Scotland (2004)
Giese, H., Tichy, M., Burmester, S., Schäfer, W., Flake, S.: Towards the Compositional Verification of Real-Time UML Designs. In: Proceedings of the European Software Engineering Conference (ESEC) Helsinki, Finland, pp. 38–47. ACM Press, New York (2003)
Giese, H., Burmester, S., Schäfer, W., Oberschelp, O.: Modular Design and Verification of Component-Based Mechatronic Systems with Online-Reconfiguration. In: Proceedings of 12th ACM SIGSOFT Foundations of Software Engineering 2004 (FSE 2004), Newport Beach, USA. ACM Press, New York (2004)
Henzinger, T.A.: Masaccio: A Formal Model for Embedded Components. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol. 1872, pp. 549–563. Springer, Heidelberg (2000)
Harel, D., Gery, E.: Executable Object Modeling with Statecharts. In: Proceedings of the 18th International Conference on Software Engineering, Berlin, Germany, pp. 245–257 (1996)
Jensen, H.E., Larsen, K.G., Skou, A.: Scaling up Uppaal Automatic Verification of Real-Time Systems using Compositionality and Abstraction. In: Joseph, M. (ed.) FTRTFT 2000. LNCS, vol. 1926, p. 19. Springer, Heidelberg (2000)
Rensink, A.: Towards Model Checking Graph Grammars In: Leuschel, M., Gruner, S., Presti, S. L.: Technical Report DSSE—TR—2003—2. University of Southampton, 150–160 (2003)
Schäfer, W., Wagner, R., Gausemeier, J., Eckes, R.: An Engineer’s Workstation to support Integrated Development of Flexible Production Control Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 48–68. Springer, Heidelberg (2004)
Köhler, H.J., Nickel, U., Niere, J., Zündorf, A.: Integrating UML Diagrams for Production Control Systems. In: Proceedings of the 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland, pp. 241–251. ACM Press, New York (2000)
Nickel, U., Schäfer, W., Zündorf, A.: Integrative Specification of Distrubuted Production Control Systems for Flexible Automated Manufacturing. In: Nagl, M., Westfechtel, B. (eds.) DFG-Workshop: Modelle, Werkzeuge und Infrastrukturen zur Unterstützung von Entwicklungsprozessen, pp. 179–195. Wiley-VCH Verlag GmbH and Co. KGaA, Chichester (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schäfer, W. (2006). A Rigorous Software Process for the Development of Embedded Systems. In: Li, M., Boehm, B., Osterweil, L.J. (eds) Unifying the Software Process Spectrum. SPW 2005. Lecture Notes in Computer Science, vol 3840. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11608035_10
Download citation
DOI: https://doi.org/10.1007/11608035_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31112-6
Online ISBN: 978-3-540-32450-8
eBook Packages: Computer ScienceComputer Science (R0)