Wan et al., 2015 - Google Patents

Model-based design of time-triggered real-time embedded systems for digital manufacturing

Wan et al., 2015

Document ID
15535782060331394665
Author
Wan J
Canedo A
Al Faruque M
Publication year
Publication venue
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control

External Links

Snippet

This work presents a novel Model-Based Design (MBD) approach and associated tool-chain for the IEC 61131-3 specific Programmable Logical Controllers (PLC)[2]. Our tool-chain automatically synthesizes software for manufacturing Time-Triggered Real-time Embedded …
Continue reading at dl.acm.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
    • G06F9/4887—Scheduling strategies for dispatcher, e.g. round robin, multi-level priority queues involving deadlines, e.g. rate based, periodic
    • 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
    • G06F17/5022—Logic simulation, e.g. for logic circuit operation
    • 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
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/056—Programming the PLC
    • 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/40—Transformations of program code
    • 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
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • 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
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]

Similar Documents

Publication Publication Date Title
Moller Guide to computing fundamentals in cyber-physical systems
CN104460646B (en) For carrying out the test device of real-time testing to Virtual Controller
Ma et al. Toward polychronous analysis and validation for timed software architectures in AADL
Gsellmann et al. A novel approach for integrating IEC 61131-3 engineering and execution into IEC 61499
Zhou et al. Toward dependable model-driven design of low-level industrial automation control systems
Chen et al. Model checking of MARTE/CCSL time behaviors using timed I/O automata
Barner et al. EasyLab: Model-based development of software for mechatronic systems
Platunov et al. Expanding design space for complex embedded systems with HLD-methodology
Wan et al. Model-based design of time-triggered real-time embedded systems for digital manufacturing
Hu et al. Automated fault tolerance augmentation in model-driven engineering for CPS
Wainer et al. DEMES: a Discrete-Event methodology for Modeling and simulation of Embedded Systems
Sun et al. A model-driven approach to support engineering changes in industrial robotics software
Ferrarini et al. A structured methodology for the design and implementation of control and supervision systems for robotic applications
Li et al. CPSiCGF: A code generation framework for CPS integration modeling
Wan et al. Poster: Model-based design of time-triggered real-time embedded systems for digital manufacturing
Du et al. Shml: Stochastic hybrid modeling language for cps behavior
Jung et al. Automatic code generation for actuator interfacing from a declarative specification
Lambersky Model based design and automated code generation from Simulink targeted for TMS570 MCU
Kuo et al. Precision timed industrial automation systems
Sinha et al. Competitors or Cousins? Studying the parallels between distributed programming languages SystemJ and IEC61499
De Tommasi et al. A flexible software for real-time control in nuclear fusion experiments
Wan et al. Model-Based Design of Time-Triggered Real-Time Embedded systems for industrial automation
Wang et al. MBD-DSP: A model based design solution for DSP
Lee et al. UMIICA: A Model-Driven Integrated Development Environment for Industrial Control Applications
Basagiannis et al. Towards verification of multicore motor-drive controllers in aerospace