[go: up one dir, main page]

Ruiz Morales, 1995 - Google Patents

A software development approach for robotics control systems

Ruiz Morales, 1995

Document ID
2542268069770739635
Author
Ruiz Morales E
Publication year
Publication venue
Safe Comp 95: The 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy 11–13 October 1995

External Links

Snippet

A Software Development Approach for Robotics Control Systems Page 1 A Software Development Approach for Robotics Control Systems Emilio RUIZ MORALES Institute for Systems Engineering and Informatics Joint Research Center, Ispra (Varese)- Italy Abstract …
Continue reading at link.springer.com (other versions)

Classifications

    • 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
    • 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
    • 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
    • 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
    • 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/418—Total factory control, i.e. centrally controlling a plurality of machines, e.g. direct or distributed numerical control [DNC], flexible manufacturing systems [FMS], integrated manufacturing systems [IMS], computer integrated manufacturing [CIM]
    • 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/20—Pc systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06Q—DATA PROCESSING SYSTEMS OR METHODS, SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL, SUPERVISORY OR FORECASTING PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management, e.g. organising, planning, scheduling or allocating time, human or machine resources; Enterprise planning; Organisational models
    • 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
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B23/00—Testing or monitoring of control systems or parts thereof
    • G05B23/02—Electric testing or monitoring
    • G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults

Similar Documents

Publication Publication Date Title
Bouti et al. A state-of-the-art review of FMEA/FMECA
Heitmeyer Software cost reduction
Ramamoorthy et al. Application of a methodology for the development and validation of reliable process control software
Pan et al. Properties for formally assessing the performance level of human-human collaborative procedures with miscommunications and erroneous human behavior
Anjos et al. A proposal and verification of a software architecture based on LabVIEW for a multifunctional robotic end-effector
Chivilikhin et al. Automatic state machine reconstruction from legacy programmable logic controller using data collection and sat solver
Sims et al. Automated validation of software models
Castillo et al. Formal modeling methodologies for control of manufacturing cells: Survey and comparison
Leveson et al. SpecTRM: A CAD system for digital automation
Birch et al. Human factors hazard modeling in the systems modeling language
Goldberg et al. Runtime verification for autonomous spacecraft software
Ruiz Morales A software development approach for robotics control systems
Guiochet et al. Toward a human-centered uml for risk analysis: Application to a medical robot
Cullyer Safety-critical control systems
Bloom Design for manufacturing and the life cycle
Hartonas-Garmhausen Probabilistic Symbolic Model Checking with Engineering Models and Applications
Kochanek et al. Using Computer Vision to Reduce Human Errors of Operating on the Wrong Control Valves in Nuclear Power Plants
Lilli et al. Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499
Castro Verification and Validation Techniques for Safety-Critical Robotic Systems Using MBSE Approaches
Zhang et al. Design and Modeling of Nuclear Power Inspection Robot Based on MBSE
Brummer et al. Tools for software safety analysis
Banks et al. Architecture based approach to the control software design
Wang et al. Inspection Robot Based on MBSE
Ružarovský et al. Exploring the Synergy Between CPS and OPC UA in Digital Twin Development: A Comprehensive Research Study
Melhart Specification languages for embedded systems: a survey