Abstract
Design accompanying analysis techniques for component-based embedded systems based on the dataflow paradigm are presented. The underlying signal model covers not only the value range and the time domain but also attributes of the signal data transport. Components are modelled as functions on streams of signal data. This allows to describe the behavior of dataflow components precisely by constraints. Static constraints, e.g., equality of sampling periods, may be as complex as multivariate polynomials and are enforced by a new interface type system. Dynamic constraints, e.g., describing communication protocols, are checked using a novel model checking technique based on fifo automata. The objective of these mathematically well-founded analysis techniques is to detect as many program errors as possible during design. Moreover, the component model is compositional resulting in well-defined hierarchical abstraction. Alltogether, this results in a more reliable development of complex applications in a shorter design time.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Sgroi, M., Lavagno, L., Sangiovanni-Vincentelli, A.: Formal models for embedded system design. IEEE Design & Test of Computers 17, 14–27 (2000)
Doucet, F., Gupta, R., Otsuka, M., Shukla, S.: An environment for dynamic component composition for efficient co-design. In: DATE (2002)
Szyperski, C.: Component Software. Addison-Wesley, Reading (1998)
Maydl, W., Grajcar, M.: Interface type checking for component-based software development for embedded system. In: IASTED SEA, pp. 627–634 (2003)
Lee, E.A., Sangiovanni-Vincentelli, A.: The tagged signal model. Technical report, Univ. of Berkeley (1996)
Buck, J.T.: Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model. PhD thesis, Univ. of Berkeley (1993)
Bhattacharyya, S.S., Murthy, P.K., Lee, E.A.: Software Synthesis from Dataflow Graphs. Kluwer Acad. Pub., Dordrecht (1996)
Kahn, G.: The semantics of a simple language for parallel processing. Information Proc 74, 471–475 (1974)
Brock, D., Ackerman, W.: Scenarios: A model of non-determinate computation. In: Díaz, J., Ramos, I. (eds.) Formalization of Programming Concepts. LNCS, vol. 107, pp. 252–259. Springer, Heidelberg (1981)
Lee, E.A., Parks, T.M.: Dataflow process networks. Proc. of the IEEE, 773–801 (1995)
Parks, T.M., Pino, J.L., Lee, E.A.: A comparison of synchronous and cyclo-static dataflow. In: Asilomar Conf. on Signals, Systems and Computers (1995)
Lee, E.A.: Overview of the Ptolemy project. Technical report, Univ. of Berkeley (2001)
Cardelli, L., Wegner, P.: On understanding types, data abstractions, and polymorphism. ACM Computing Surveys 17, 471–522 (1985)
Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences 17, 348–375 (1978)
Cardelli, L.: Type Systems. In: Handbook of Computer Science and Engineering, CRC Press, Boca Raton (1997)
Xiong, Y.: An Extensible Type System for Component-Based Design. PhD thesis, Univ. of Berkeley (2002)
Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)
Finkel, A., Iyer, S.P., Sutre, G.: Well-abstracted transition systems: Application to fifo automata. In: Proc. of the 11th Int. Conf. on Concur. Theory, pp. 566–580. Springer, Heidelberg (2000)
de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE), pp. 109–120 (2001)
Wandeler, E.: Static analysis of actor networks. Master’s thesis, ETH Zürich (2003)
Thiele, L., Teich, J., Strehl, K.: Regular state machines. J. of Parallel Alg. and Applic. 15, 265–300 (2000)
Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proc. of the 24th ACM Symp. on Principles of Prog. Languages, Paris, pp. 174–186 (1997)
Chandra, S., Godefroid, P., Palm, C.: Software model checking in practice: An industrial case study. In: Proc. of the Int. Conf. on Software Engineering (ICSE), Orlando (2002)
Bolsens, I., et al.: Hardware/software co-design of digital telecom. systems. Proc. of the IEEE. 85, 391–418 (1997)
Maydl, W., Sick, B., Grass, W.: Component-Based Measurement and Control Software for Embedded Systems. In: Case Studies in Component-Based Software Engineering, World Scientific, Singapore (accepted)
Sametinger, J.: Software Engineering with Reusable Components. Springer, Heidelberg (1997)
Lee, E.A.: A denotational semantics for dataflow with firing. Technical report, Univ. of Berkeley (1997)
Maydl, W., Sick, B., Grass, W.: Towards a specification technique for componentbased measurement and control software for embedded systems. In: Proc. of the 28th Euromicro Conference, Dortmund, pp. 74–80 (2002)
Maydl, W.: A novel component model for the synchronous dataflow paradigm. In: IASTED SE, pp. 172–177 (2004)
Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge Univ. Press, Cambridge (2002)
Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys 28, 626–643 (1996)
Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Mandl, R., Sick, B. (eds.): Messen, Steuern und Regeln mit ICONNECT. Vieweg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Maydl, W. (2004). Design Accompanying Analysis of Component-Based Embedded Software. In: Crnkovic, I., Stafford, J.A., Schmidt, H.W., Wallnau, K. (eds) Component-Based Software Engineering. CBSE 2004. Lecture Notes in Computer Science, vol 3054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24774-6_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-24774-6_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21998-9
Online ISBN: 978-3-540-24774-6
eBook Packages: Springer Book Archive