[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Zhang et al., 2007 - Google Patents

Component-oriented modeling and design of hierarchical hybrid control system

Zhang et al., 2007

Document ID
15720275999522873098
Author
Zhang J
Zhang Y
Publication year
Publication venue
2007 IEEE International Conference on Control and Automation

External Links

Snippet

Complex control system is heterogeneous and imposes great challenges for control system design. This paper presents a component-oriented modeling and design methodology that reduces complexity by separating data-related computational parts (components) and …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/48—Programme initiating; Programme switching, e.g. by interrupt
    • G06F9/4806—Task transfer initiation or dispatching
    • G06F9/4843—Task transfer initiation or dispatching by program, e.g. task dispatcher, supervisor, operating system
    • G06F9/4881—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/46—Multiprogramming arrangements
    • G06F9/54—Interprogramme communication; Intertask communication
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/455—Emulation; Software simulation, i.e. virtualisation or emulation of application or operating system execution engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/76—Architectures of general purpose stored programme computers
    • G06F15/78—Architectures of general purpose stored programme computers comprising a single central processing unit
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G06F11/3636—Software debugging by tracing the execution of the program
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/86—Hardware-Software co-design
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers

Similar Documents

Publication Publication Date Title
Pagetti et al. Multi-task implementation of multi-periodic synchronous programs
Feiler et al. The SAE Architecture Analysis & Design Language (AADL) a standard for engineering performance critical systems
Liu et al. Actor-oriented control system design: A responsible framework perspective
Schliecker et al. System level performance analysis for real-time automotive multicore and network architectures
Carlson et al. SaveCCM: An analysable component model for real-time systems
Besnard et al. Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony
Deng et al. Model-checking middleware-based event-driven real-time embedded software
Hu et al. Exploring AADL verification tool through model transformation
Liu Responsible frameworks for heterogeneous modeling and design of embedded systems
Zhang et al. Component-oriented modeling and design of hierarchical hybrid control system
Chen et al. Modeling autosar implementations in simulink
Yang et al. Multi-task Ada code generation from synchronous dataflow programs on multi-core: Approach and industrial study
Owicki Specifications and proofs for abstract data types in concurrent programs
Gamatié et al. A modeling paradigm for integrated modular avionics design
Ma et al. Virtual prototyping AADL architectures in a polychronous model of computation
Zhang et al. Component-based Hierarchy Modeling for Hybrid Complex Control System
Grossmann Testing hybrid systems with TTCN-3 embedded: An extension of the TTCN-3 language
Hooman et al. Formal semantics of a VDM extension for distributed embedded systems
Kamburjan et al. Type-Based Verification of Delegated Control in Hybrid~ Systems (Full Version)
Kim et al. Scenario-based multitasking for real-time object-oriented models
Gioulekas et al. Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems
Templ et al. 6 Modeling and Simulation of Timing Behavior with the Timing Definition Language
Gioulekas et al. A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism.
Tešanović Developing Reusable and Reconfigurable Real-Time Software Using Aspects and Components
Serbânescu Software development by abstract behavioural specification