Đang chuẩn bị liên kết để tải về tài liệu:
Model-Based Design for Embedded Systems- P52

Không đóng trình duyệt đến khi xuất hiện nút TẢI XUỐNG Tải xuống

Model-Based Design for Embedded Systems- P52: This book contains information obtained from authentic and highly regarded sources. Reasonable efforts have been made to publish reliable data and information, but the author and publisher cannot assume responsibility for the validity of all materials or the consequences of their use. | 486 Model-Based Design for Embedded Systems 36. J. Tempi. Tdl specification and report. Technical Report C059 Dept. of Computer Science Univ. of Salzburg 2004. http www.cs.uni-salzburg.at pubs reports T001.pdf. 37. Verimag. If verification tool. http www-verimag.imag.fr async IF index.htm. 15 Multi-Viewpoint State Machines for Rich Component Models Albert Benveniste Benoît Caillaud and Roberto Passerone CONTENTS 15.1 Introduction and Requirements . 487 15.2 Components and Contracts . 490 15.3 Extended State Machines . 495 15.3.1 Variables and Ports Events and Interactions Continuous Dynamics . 495 15.3.2 ESM Definition . 496 15.4 HRC State Machines . 501 15.5 Mathematical Syntax for the Labeling Functions of HRC State Machines . 503 15.5.1 Expressions and Differential Expressions . 504 15.5.2 Invariants . 504 15.5.3 Mathematical Syntax for Transition Relation trans . 505 15.5.4 Products in Terms of Guards and Actions . 506 15.6 Categories as Specialization of HRC State Machines . 507 15.6.1 Discrete Functional Category . 507 15.6.2 Timed Category . 507 15.6.3 Hybrid Category . 509 15.6.4 Safety or Probabilistic Category. 510 15.6.5 Illustrating Multi-Viewpoint Composition . 512 15.7 Conclusion . 515 Acknowledgment . 516 References . 516 15.1 Introduction and Requirements This chapter presents the modeling effort that sustains the workrelated to the IP-SPEEDS heterogeneous rich component HRC metamodel its associated multiple viewpoint contract formalism and the underlying mathematical model of machines supporting such contracts. We put the emphasis on combining different viewpoints and providing a simple and elegant notion of parallel composition. 487 488 Model-Based Design for Embedded Systems The motivations behind this work are the drastic organizational changes that several industrial sectors involving complex embedded systems have experienced aerospace and automotive being typical examples. Initially organized around large vertically integrated companies .