TAILIEUCHUNG - Thời gian thực - hệ thống P5

VISUAL FORMALISM, STATECHARTS, AND STATEMATE Finite-state machines (FSMs) have been used extensively in the specification and analysis of many computer-based as well as non-computer-based systems, ranging from electronic circuits to econometric models. They can model in detail the behavior of a system, and several algorithms exist to perform the analysis. Unfortunately, classical state machines such as those employed in the standard, explicit-state CTL model-checking approach [Clarke, Emerson, and Sistla, 1986] lack support for modularity and suffer from exponential-state explosion. . | Real-Time Systems Scheduling Analysis and Verification. Albert M. K. Cheng Copyright 2002 John Wiley Sons Inc. ISBN 0-471-18406-3 CHAPTER 5 VISUAL FORMALISM STATECHARTS AND STATEMATE Finite-state machines FSMs have been used extensively in the specification and analysis of many computer-based as well as non-computer-based systems ranging from electronic circuits to econometric models. They can model in detail the behavior of a system and several algorithms exist to perform the analysis. Unfortunately classical state machines such as those employed in the standard explicit-state CTL model-checking approach Clarke Emerson and Sistla 1986 lack support for modularity and suffer from exponential-state explosion. The first problem often arises when FSMs are used to model complex systems that contain similar subsystems. The second problem is evident in systems in which the addition of a few variables or components can substantially increase the number of states and transitions and hence the size of the FSM. Furthermore the inability to specify absolute time and time intervals limits the usability of classical FSMs for the specification of real-time systems. To tackle the first two problems we can introduce modular and hierarchical features to classical FSMs. Harel et al. 1987 developed a visual formalism called Statecharts to solve these two problems as well as the problem of specifying reactive systems. Reactive systems are complex control-driven mechanisms that interact with discrete occurrences in the environment in which they are embedded. They include real-time computer systems communication devices control plants VLSI circuits and airplane avionics. The reactive behavior of these systems cannot be captured by specifying the corresponding outputs resulting from every possible set of inputs. Instead this behavior has to be described by specifying the relationship of inputs outputs and system state over time under a set of system- and environment-dependent timing and .

• Kĩ thuật Viễn thông
• Hệ thống thời gian
• thời gian thực
• phân tích thời gian
• xác minh thời gian
• phân phối hệ thống
• Nguyên lý hệ điều hành
• Hệ thời gian thực
• Hệ điều hành thời gian thực
• Kỹ thuật lập trình thời gian thực
• Thiết kế ứng dụng thời gian thực
• Ứng dụng thời gian thực
• Hệ thống thời gian thực hành
• Dự án làm xe tự hành
• Xe tự hành
• Cấu tạo một hệ thống thời gian thực
• Bài giảng Hệ thống thông tin công nghiệp
• Hệ thống thông tin công nghiệp
• Mạng truyền thông công nghiệp
• Vấn đề thời gian thực
• Xử lý thời gian thực
• Bài giảng Xử lý số tín hiệu
• Xử lý số tín hiệu
• Hệ thống thời gian rời rạc
• Hệ thống rời rạc thời gian
• Hệ thống tuyến tính
• Hệ thống bất biến
• Kết hợp lựa chọn Ăng ten phát
• Mã không gian thời gian phân tán
• Hệ thống vô tuyến chuyển tiếp MIMO
• Kỹ thuật chọn lọc ăng ten phát
• Mạng chuyển tiếp vô tuyến
• Lựa chọn ăng ten phát
• Mã không gian thời gian
• hệ thống thời gian thực
• ứng dụng thời gian
• nhiệm vụ độc lập
• nhiệm vụ phụ thuộc