[go: up one dir, main page]

Yoong et al., 2009 - Google Patents

Efficient implementation of IEC 61499 function blocks

Yoong et al., 2009

View PDF
Document ID
18188521358461175040
Author
Yoong L
Roop P
Salcic Z
Publication year
Publication venue
2009 IEEE International Conference on Industrial Technology

External Links

Snippet

Current trends in the manufacturing sector have greatly increased the need for portability and reusability in software systems for industrial control and automation. The IEC 61499 standard has emerged out of this need for a platform-independent way to develop industrial …
Continue reading at www.academia.edu (PDF) (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/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
    • 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
    • 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
    • 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
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • 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/35—Model driven
    • 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/36—Software reuse
    • 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
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • 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

Similar Documents

Publication Publication Date Title
Amnell et al. TIMES: a tool for schedulability analysis and code generation of real-time systems
Plishker et al. Functional DIF for rapid prototyping
Herber et al. Model checking SystemC designs using timed automata
Berthomieu et al. Formal verification of AADL specifications in the Topcased environment
US9244652B1 (en) State management for task queues
EP1963965B1 (en) Run-time tunable sample time in programming or modeling environments
Barner et al. DREAMS toolchain: Model-driven engineering of mixed-criticality systems
Yoong et al. Efficient implementation of IEC 61499 function blocks
Su et al. Code synthesis for dataflow-based embedded software design
Menard et al. Mocasin—rapid prototyping of rapid prototyping tools: A framework for exploring new approaches in mapping software to heterogeneous multi-cores
US9946668B1 (en) Automatic prioritization of interrupts in a modeling environment
Shen et al. A design tool for efficient mapping of multimedia applications onto heterogeneous platforms
CN118051296A (en) Method, device and equipment for realizing parallel or concurrent simulation of Modelica model
Peñil et al. Automatic synthesis from UML/MARTE models using channel semantics
Li et al. Simulating a multicore scheduler of real-time control systems in simulink.
Zhang et al. Challenges, promising solutions and open problems of cyber-physical systems
Gardner Bridging csp and c++ with selective formalism and executable specifications
Gonzalez-Pina et al. DiplodocusDF, a domain-specific modelling language for software defined radio applications
Lee et al. UMIICA: A model-driven integrated development environment for industrial control applications
Forster et al. A new specification methodology for embedded systems based on the/spl pi/-calculus process algebra
Szmuc et al. Formal methods—support or scientific decoration in software development?
Wang et al. MBD-DSP: A model based design solution for DSP
Menard et al. Mocasin—Rapid Prototyping of Rapid Prototyping Tools
Wu Modeling and mapping of optimized schedules for embedded signal processing systems
Cottone A Model-Based Design Embedded Software Development Methodology for an OSEK-Compliant RTOS