{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:26Z","timestamp":1725562586681},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219989"},{"type":"electronic","value":"9783540247746"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24774-6_17","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T16:26:22Z","timestamp":1281284782000},"page":"178-193","source":"Crossref","is-referenced-by-count":0,"title":["Design Accompanying Analysis of\u00a0Component-Based Embedded Software"],"prefix":"10.1007","author":[{"given":"Walter","family":"Maydl","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1109\/54.844330","volume":"17","author":"M. Sgroi","year":"2000","unstructured":"Sgroi, M., Lavagno, L., Sangiovanni-Vincentelli, A.: Formal models for embedded system design. IEEE Design & Test of Computers\u00a017, 14\u201327 (2000)","journal-title":"IEEE Design & Test of Computers"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Doucet, F., Gupta, R., Otsuka, M., Shukla, S.: An environment for dynamic component composition for efficient co-design. In: DATE (2002)","DOI":"10.1109\/DATE.2002.998381"},{"key":"17_CR3","volume-title":"Component Software","author":"C. Szyperski","year":"1998","unstructured":"Szyperski, C.: Component Software. Addison-Wesley, Reading (1998)"},{"key":"17_CR4","unstructured":"Maydl, W., Grajcar, M.: Interface type checking for component-based software development for embedded system. In: IASTED SEA, pp. 627\u2013634 (2003)"},{"key":"17_CR5","unstructured":"Lee, E.A., Sangiovanni-Vincentelli, A.: The tagged signal model. Technical report, Univ. of Berkeley (1996)"},{"key":"17_CR6","doi-asserted-by":"crossref","unstructured":"Buck, J.T.: Scheduling Dynamic Dataflow Graphs with Bounded Memory Using the Token Flow Model. PhD thesis, Univ. of Berkeley (1993)","DOI":"10.1109\/ICASSP.1993.319147"},{"key":"17_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-1389-2","volume-title":"Software Synthesis from Dataflow Graphs","author":"S.S. Bhattacharyya","year":"1996","unstructured":"Bhattacharyya, S.S., Murthy, P.K., Lee, E.A.: Software Synthesis from Dataflow Graphs. Kluwer Acad. Pub., Dordrecht (1996)"},{"key":"17_CR8","first-page":"471","volume":"74","author":"G. Kahn","year":"1974","unstructured":"Kahn, G.: The semantics of a simple language for parallel processing. Information Proc\u00a074, 471\u2013475 (1974)","journal-title":"Information Proc"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/3-540-10699-5_102","volume-title":"Formalization of Programming Concepts","author":"D. Brock","year":"1981","unstructured":"Brock, D., Ackerman, W.: Scenarios: A model of non-determinate computation. In: D\u00edaz, J., Ramos, I. (eds.) Formalization of Programming Concepts. LNCS, vol.\u00a0107, pp. 252\u2013259. Springer, Heidelberg (1981)"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Lee, E.A., Parks, T.M.: Dataflow process networks. Proc. of the IEEE, 773\u2013801 (1995)","DOI":"10.1109\/5.381846"},{"key":"17_CR11","unstructured":"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)"},{"key":"17_CR12","unstructured":"Lee, E.A.: Overview of the Ptolemy project. Technical report, Univ. of Berkeley (2001)"},{"key":"17_CR13","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstractions, and polymorphism. ACM Computing Surveys\u00a017, 471\u2013522 (1985)","journal-title":"ACM Computing Surveys"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner, R.: A theory of type polymorphism in programming. Journal of Computer and System Sciences\u00a017, 348\u2013375 (1978)","journal-title":"Journal of Computer and System Sciences"},{"key":"17_CR15","volume-title":"Handbook of Computer Science and Engineering","author":"L. Cardelli","year":"1997","unstructured":"Cardelli, L.: Type Systems. In: Handbook of Computer Science and Engineering, CRC Press, Boca Raton (1997)"},{"key":"17_CR16","unstructured":"Xiong, Y.: An Extensible Type System for Component-Based Design. PhD thesis, Univ. of Berkeley (2002)"},{"key":"17_CR17","volume-title":"Design and Validation of Computer Protocols","author":"G.J. Holzmann","year":"1991","unstructured":"Holzmann, G.J.: Design and Validation of Computer Protocols. Prentice-Hall, Englewood Cliffs (1991)"},{"key":"17_CR18","first-page":"566","volume-title":"Proc. of the 11th Int. Conf. on Concur. Theory","author":"A. Finkel","year":"2000","unstructured":"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\u2013580. Springer, Heidelberg (2000)"},{"key":"17_CR19","doi-asserted-by":"crossref","unstructured":"de Alfaro, L., Henzinger, T.A.: Interface automata. In: Proc. of the 9th Annual ACM Symposium on Foundations of Software Engineering (FSE), pp. 109\u2013120 (2001)","DOI":"10.1145\/503209.503226"},{"key":"17_CR20","unstructured":"Wandeler, E.: Static analysis of actor networks. Master\u2019s thesis, ETH Z\u00fcrich (2003)"},{"key":"17_CR21","first-page":"265","volume":"15","author":"L. Thiele","year":"2000","unstructured":"Thiele, L., Teich, J., Strehl, K.: Regular state machines. J. of Parallel Alg. and Applic.\u00a015, 265\u2013300 (2000)","journal-title":"J. of Parallel Alg. and Applic."},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model checking for programming languages using VeriSoft. In: Proc. of the 24th ACM Symp. on Principles of Prog. Languages, Paris, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"17_CR23","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/581339.581393"},{"key":"17_CR24","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1109\/5.558713","volume":"85","author":"I. Bolsens","year":"1997","unstructured":"Bolsens, I., et al.: Hardware\/software co-design of digital telecom. systems. Proc. of the IEEE.\u00a085, 391\u2013418 (1997)","journal-title":"Proc. of the IEEE."},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1142\/9789812562425_0007"},{"key":"17_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-03345-6","volume-title":"Software Engineering with Reusable Components","author":"J. Sametinger","year":"1997","unstructured":"Sametinger, J.: Software Engineering with Reusable Components. Springer, Heidelberg (1997)"},{"key":"17_CR27","unstructured":"Lee, E.A.: A denotational semantics for dataflow with firing. Technical report, Univ. of Berkeley (1997)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"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\u201380 (2002)","DOI":"10.1109\/EURMIC.2002.1046136"},{"key":"17_CR29","unstructured":"Maydl, W.: A novel component model for the synchronous dataflow paradigm. In: IASTED SE, pp. 172\u2013177 (2004)"},{"key":"17_CR30","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge Univ. Press, Cambridge (2002)","edition":"2"},{"key":"17_CR31","doi-asserted-by":"publisher","first-page":"626","DOI":"10.1145\/242223.242257","volume":"28","author":"E.M. Clarke","year":"1996","unstructured":"Clarke, E.M., Wing, J.M.: Formal methods: State of the art and future directions. ACM Computing Surveys\u00a028, 626\u2013643 (1996)","journal-title":"ACM Computing Surveys"},{"key":"17_CR32","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"J.E. Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"key":"17_CR33","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"17_CR34","doi-asserted-by":"crossref","unstructured":"Mandl, R., Sick, B. (eds.): Messen, Steuern und Regeln mit ICONNECT. Vieweg (2003)","DOI":"10.1007\/978-3-322-87251-7"}],"container-title":["Lecture Notes in Computer Science","Component-Based Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24774-6_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:18Z","timestamp":1605743778000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24774-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219989","9783540247746"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24774-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}