Abstract
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The functional problem is solved by constructing a formal reactive behavioural model. A CIP model consists of concurrent clusters of synchronously cooperating extended state machines. The state machines of a cluster interact by multi-cast events. State machines of different clusters can communicate through asynchronous channels. The construction of CIP models is supported by the CIP Tool, a graphical modelling framework with code generators that transform CIP models into concurrently executable CIP components. The connection problem consists of connecting generated CIP components to the real environment. This problem is solved by means of techniques and tools adapted to the technology of the interface devices. Construction of a CIP model starts from the behaviour of the processes of the real environment, leading to an operational specification of the system behaviour in constructive steps. This approach allows stable interfaces of CIP components to be specified at an early stage, thus supporting concurrent development of their connection to the environment.
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
CIP Tool® — User Manual (1995–1999). CIP System AG, Solothurn, Switzerland. Internet: http://www.ciptool.ch
Cameron J. R. (ed.): JSP and JSD: The Jackson Approach to Software Development. IEEE Computer Society Press (1989)
Ward. P. T., Mellor. J. M.: Structured Development for Real-Time Systems. Yourdon Press, Prentice-Hall, Englewood Cliffs, New Jersey (1985)
Zave P.: The Operational Approach versus the Conventional Approach to Software Development. Comm. ACM, Vol. 27 No. 2. (1984) 104–118
Harel D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, Vol. 8. (1987) 231–274
Berry G., Gontier G.: The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation. Sci. of Computer Programming, Vol. 19 (1992) 87–152
Caspi P., Pilaud D., Halbwachs N., Plaice J. A.: LUSTRE: A declarative language for programming synchronous systems. In: Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, Munich. (1987) 178–188
Faergemand O. (ed.): SDL’ 93: Using Objects. Proceedings of the 6th SDL Forum. North-Holland (1993)
Selic B., Gullekson G., Ward P. T.: Real-Time Object-Oriented Modeling. John Wiley & Sons (1994)
Jackson M. A.: Problem Analysis Using Small Problem Frames. To appear in South African Computer Journal special issue for WOFACS’ 98. (1999)
Fierz H.: SCSM — Synchronous Composition of Sequential Machines. Internal Report No. 14. Computer Engineering and Networks Laboratory, ETH Zürich (1994)
Medvidovic N., Taylor R. N.: A Framework for Classifying and Comparing Architecture Description Languages. In: Proc. ESEC/FSE’ 97, Lecture Notes in Computer Science, Vol. 1301. Springer-Verlag Berlin (1997) 60–76.
Heimdahl M., Leveson G.: Completeness and Consistency in Hierarchical State-Based Requirements. IEEE Trans. on Software Engineering, Vol. 22, No. 6. (1996) 363–377
Paynter S.: Real-time Mode-Machines. In: Jonsson J., Parrow J. (eds.): Formal Techniques for Real-Time and Fault Tolerance (FTRTFT). LNCS Vol. 1135. Springer Verlag Berlin (1996) 90–109
Trutmann HO.: Well-Behaved Applications Allow for More Efficient Scheduling. 24th IFAC/IFIP Workshop on Real-Time Programming. Dagstuhl, Saarland (1999) 69–74
Trutmann HO.: Generation of Embedded Control Systems. 23rd IFAC/IFIP Workshop on Real Time Programming, WRTP 98, Shantou, P.R. China (1998) 99–104
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fierz, H. (1999). The CIP Method: Component- and Model-Based Construction of Embedded Systems. In: Nierstrasz, O., Lemoine, M. (eds) Software Engineering — ESEC/FSE ’99. ESEC SIGSOFT FSE 1999 1999. Lecture Notes in Computer Science, vol 1687. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48166-4_23
Download citation
DOI: https://doi.org/10.1007/3-540-48166-4_23
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66538-0
Online ISBN: 978-3-540-48166-9
eBook Packages: Springer Book Archive