Nothing Special   »   [go: up one dir, main page]

Manduchi et al., 2015 - Google Patents

Integration of Simulink, MARTe and MDSplus for rapid development of real-time applications

Manduchi et al., 2015

View PDF
Document ID
1655010731659913597
Author
Manduchi G
Luchetta A
Taliercio C
Neto A
Sartori F
De Tommasi G
Publication year
Publication venue
Fusion engineering and design

External Links

Snippet

Simulink is a graphical data flow programming tool for modeling and simulating dynamic systems. A component of Simulink, called Simulink Coder, generates C code from Simulink diagrams. MARTe is a framework for the implementation of real-time systems, currently in …
Continue reading at www.academia.edu (PDF) (other versions)

Classifications

    • 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
    • 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
    • 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
    • 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
    • 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/042—Programme control other than numerical control, i.e. in sequence controllers or logic controllers using digital processors
    • G05B19/0426—Programming the control sequence
    • 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
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/07—Error detection; Error correction; Monitoring responding to the occurence of a fault, e.g. fault tolerance
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/60—Software deployment
    • 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
    • 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
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems

Similar Documents

Publication Publication Date Title
Bouyssounouse et al. Embedded systems design: the ARTIST roadmap for research and development
Lasnier et al. Distributed simulation of heterogeneous and real-time systems
Neema et al. Simulation integration platforms for cyber-physical systems
Apvrille et al. Prototyping an embedded automotive system from its UML/SysML models
Wang et al. An architecture for embedded software integration using reusable components
Babris et al. Brief overview of modelling methods, life-cycle and application domains of cyber-physical systems
Walker et al. A simulation environment for ITER PCS development
Moallemi et al. Modeling and simulation-driven development of embedded real-time systems
Manduchi et al. Integration of Simulink, MARTe and MDSplus for rapid development of real-time applications
Hussein et al. Safe adaptation of vehicle software systems
Porter et al. Towards model-based integration of tools and techniques for embedded control system design, verification, and implementation
Haberl et al. Model-level debugging of embedded real-time systems
Erkkinen et al. Automatic code generation-technology adoption lessons learned from commercial vehicle case studies
Allen An overview of model-based development verification/validation processes and technologies in the aerospace industry
Dion et al. Model-based development for time-triggered architectures
Langner et al. Framework for using real driving data in automotive feature development and validation
Porter et al. An experimental model-based rapid prototyping environment for high-confidence embedded software
Suryadevara et al. Wind turbine system: An industrial case study in formal modeling and verification
Morelli et al. A system-level framework for the evaluation of the performance cost of scheduling and communication delays in control systems
Weber et al. Towards Automating a Software-Centered Development Process that considers Timing Properties
Dougal et al. The Virtual Test Bed as a tool for rapid system engineering
Martı́nez et al. SFC++: a tool for developing distributed real-time control software
Qureshi et al. On integrating east-adl and uppaal for embedded system architecture verification
Calderón et al. The METASAT Model-Based Engineering Workflow and Digital Twin Concept
EP4231204A1 (en) System for developing and running applications in hybrid quantum computing networks