Real-Time Systems. Design Principles for Distributed Embedded Applications. Herman Kopetz. Second Edition (Real-Time Systems. Design Principles for Distributed Embedded Applications. Herman Kopetz. Second Edition.pdf), страница 5
Описание файла
PDF-файл из архива "Real-Time Systems. Design Principles for Distributed Embedded Applications. Herman Kopetz. Second Edition.pdf", который расположен в категории "". Всё это находится в предмете "(иус рв) архитектура управляющих систем реального времени" из 10 семестр (2 семестр магистратуры), которые можно найти в файловом архиве МГУ им. Ломоносова. Не смотря на прямую связь этого архива с МГУ им. Ломоносова, его также можно найти и в других разделах. .
Просмотр PDF-файла онлайн
Текст 5 страницы из PDF
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.1.1 The Design Process . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.1.2 The Role of Constraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.1.3 System Design Versus Software Design .
. . . . . . . . . . . . . .Design Phases. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.2.1 Purpose Analysis. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.2.2 Requirements Capture . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . .11.2.3 Architecture Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.2.4 Design of Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Design Styles . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.3.1 Model-Based Design . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.3.2 Component-Based Design . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. .11.3.3 Architecture Design Languages . . . . . . . . . . . . . . . . . . . . . . . .11.3.4 Test of a Decomposition. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Design of Safety-Critical Systems . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . .11.4.1 What Is Safety? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.4.2 Safety Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.4.3 Safety Case . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.4.4 Safety Standards . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Design Diversity . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .11.5.1 Diverse Software Versions . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.5.2 An Example of a Fail-Safe System. . . . . . . . . . . . . . . . . . . . .11.5.3 Multilevel System . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Design for Maintainability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.6.1 Cost of Maintenance. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . .11.6.2 Maintenance Strategy. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.6.3 Software Maintenance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Review Questions and Problems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .260260261262263264264265265266266267268269271272274276279281281282283284284285287287289289Validation . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .29112.112.229229329329411.211.311.411.511.612Validation Versus Verification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. .Testing Challenges. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.2.1 Design for Testability. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.2.2 Test Data Selection . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . .Contents13xvii12.2.3 Test Oracle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.2.4 System Evolution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.3 Testing of Component-Based Systems . . . . . . . . . . . .
. . . . . . . . . . . . . . .12.3.1 Component Provider. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.3.2 Component User . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.3.3 Communicating Components. . . . . . . . . . . . .
. . . . . . . . . . . . . .12.4 Formal Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.4.1 Formal Methods in the Real World . . . . . . . . . . . . . . . . . . . .12.4.2 Classification of Formal Methods . . . . . .
. . . . . . . . . . . . . . . .12.4.3 Benefits of Formal Methods . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.4.4 Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.5 Fault Injection . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.5.1 Software-Implemented Fault Injection . . . . . . . . . . . . . . . . .12.5.2 Physical Fault Injection. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .12.5.3 Sensor and Actuator Failures . . . . . . . . . . . . . .
. . . . . . . . . . . . .Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . .Review Questions and Problems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .296296297297298298299299300301302302303303305305306306Internet of Things . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . .30713.113.2308309309309310310311311311311311312313314314315316316317318318320321322322The Vision of an Internet-of-Things . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Drivers for an IoT . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.2.1 Uniformity of Access . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.2.2 Logistics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . .13.2.3 Energy Savings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.2.4 Physical Security and Safety . . . . . . . . . . . . . . . . . . . . . . . . . . .13.2.5 Industrial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
. .13.2.6 Medical . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.2.7 Life Style . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.3 Technical Issues of the IoT. . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .13.3.1 Internet Integration . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.3.2 Naming and Identification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.3.3 Near Field Communication. . . . . . . . . .
. . . . . . . . . . . . . . . . . . .13.3.4 IoT Device Capabilities versus Cloud Computing . . . . .13.3.5 Autonomic Components . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.4 RFID Technology. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.4.1 Overview.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.4.2 The Electronic Product Code . . . . . . . . . . . . . . . . . . . . . . . . . . .13.4.3 RFID Tags . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .13.4.4 RFID Readers . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.4.5 RFID Security . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .13.5 Wireless Sensor Networks. . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Points to Remember. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Bibliographic Notes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .Review Questions and Problems. .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .xviiiContentsThe Time-Triggered Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .32514.1History of the TTA . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .14.1.1 The MARS Project . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .14.1.2 The Industrial TTA Prototype . . . . . . . . . . . . . . . . . . . . . . . . . .14.1.3 The GENESYS Project . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . .14.2 Architectural Style . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .14.2.1 Complexity Management . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .14.2.2 Component Orientation . . . . . . . .