ES2353823T3 - Sistema y método para la verificación automática de resultados de planificación. - Google Patents

Sistema y método para la verificación automática de resultados de planificación. Download PDF

Info

Publication number
ES2353823T3
ES2353823T3 ES06829126T ES06829126T ES2353823T3 ES 2353823 T3 ES2353823 T3 ES 2353823T3 ES 06829126 T ES06829126 T ES 06829126T ES 06829126 T ES06829126 T ES 06829126T ES 2353823 T3 ES2353823 T3 ES 2353823T3
Authority
ES
Spain
Prior art keywords
planning
results
verification
topology
planning results
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
ES06829126T
Other languages
English (en)
Spanish (es)
Inventor
Alexander Fay
Rainer Drath
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
ABB Technology AG
Original Assignee
ABB Technology AG
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by ABB Technology AG filed Critical ABB Technology AG
Application granted granted Critical
Publication of ES2353823T3 publication Critical patent/ES2353823T3/es
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/22—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing
    • G06F11/2257—Detection or location of defective computer hardware by testing during standby operation or during idle time, e.g. start-up testing using expert systems
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling
    • G06Q10/063—Operations research, analysis or management
    • G06Q10/0639—Performance analysis of employees; Performance analysis of enterprise or organisation operations
    • G06Q10/06395—Quality analysis or management

Landscapes

  • Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Human Resources & Organizations (AREA)
  • Theoretical Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Physics & Mathematics (AREA)
  • Entrepreneurship & Innovation (AREA)
  • General Engineering & Computer Science (AREA)
  • Strategic Management (AREA)
  • Economics (AREA)
  • Development Economics (AREA)
  • Quality & Reliability (AREA)
  • Educational Administration (AREA)
  • Marketing (AREA)
  • General Business, Economics & Management (AREA)
  • Tourism & Hospitality (AREA)
  • Operations Research (AREA)
  • Computer Hardware Design (AREA)
  • Game Theory and Decision Science (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Selective Calling Equipment (AREA)
  • Tests Of Electronic Circuits (AREA)
  • Testing And Monitoring For Control Systems (AREA)
ES06829126T 2005-12-09 2006-11-25 Sistema y método para la verificación automática de resultados de planificación. Active ES2353823T3 (es)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
DE102005058802 2005-12-09
DE102005058802A DE102005058802A1 (de) 2005-12-09 2005-12-09 System und Verfahren zur automatischen Prüfung von Planungsergebnissen

Publications (1)

Publication Number Publication Date
ES2353823T3 true ES2353823T3 (es) 2011-03-07

Family

ID=37709585

Family Applications (1)

Application Number Title Priority Date Filing Date
ES06829126T Active ES2353823T3 (es) 2005-12-09 2006-11-25 Sistema y método para la verificación automática de resultados de planificación.

Country Status (8)

Country Link
US (1) US20080294473A1 (de)
EP (1) EP1958101B1 (de)
CN (1) CN101427253B (de)
AT (1) ATE487188T1 (de)
DE (2) DE102005058802A1 (de)
ES (1) ES2353823T3 (de)
PL (1) PL1958101T3 (de)
WO (1) WO2007065571A1 (de)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9646273B2 (en) 2013-06-21 2017-05-09 International Business Machines Corporation Systems engineering solution analysis
DE102018112311A1 (de) * 2018-05-23 2019-11-28 Nobilia-Werke J. Stickling GmbH & Co. KG Verfahren zur automatischen Prüfung von Küchenplanungsdaten

Family Cites Families (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6634008B1 (en) * 1999-06-20 2003-10-14 Fujitsu Limited Methodology server based integrated circuit design
US6594799B1 (en) * 2000-02-28 2003-07-15 Cadence Design Systems, Inc. Method and system for facilitating electronic circuit and chip design using remotely located resources
US6668360B1 (en) * 2001-01-08 2003-12-23 Taiwan Semiconductor Manufacturing Company Automatic integrated circuit design kit qualification service provided through the internet
DE10133670A1 (de) * 2001-07-11 2003-01-30 Daimler Chrysler Ag Verfahren zur automatischen Erzeugung einer Wissensbasis für ein Diagnosesystem
CN1310150C (zh) * 2002-11-21 2007-04-11 中兴通讯股份有限公司 一种嵌入式软件测试方法
DE10308725A1 (de) * 2003-02-28 2004-09-09 Abb Research Ltd. System und Verfahren zum Verwalten und zum Austausch von Daten eines technischen Projektes, einer technischen Anlage sowie einzelner Anlagenkomponenten
DE10334767A1 (de) * 2003-07-30 2005-03-17 Infineon Technologies Ag Verfahren und Einrichtung zur Schaltungsverifikation
US7293257B2 (en) * 2003-10-14 2007-11-06 Microsoft Corporation Method and system for efficient testing of sequences of computer-related operations
DE102004006089A1 (de) * 2004-02-07 2005-09-01 Daimlerchrysler Ag Testfälle für eine Testvorrichtung
US7243311B2 (en) * 2004-05-28 2007-07-10 Rohm Co., Ltd. Method and apparatus for supporting development of integrated circuit and a transactional business method involving contracting and licensing
US7552116B2 (en) * 2004-08-06 2009-06-23 The Board Of Trustees Of The University Of Illinois Method and system for extracting web query interfaces
DE102004055107A1 (de) * 2004-11-15 2006-06-01 Abb Patent Gmbh System und Verfahren zur Status- und Fortschrittskontrolle eines technischen Prozesses oder eines technischen Projektes

Also Published As

Publication number Publication date
PL1958101T3 (pl) 2011-04-29
ATE487188T1 (de) 2010-11-15
WO2007065571A1 (de) 2007-06-14
CN101427253B (zh) 2013-05-22
US20080294473A1 (en) 2008-11-27
EP1958101B1 (de) 2010-11-03
DE502006008253D1 (de) 2010-12-16
EP1958101A1 (de) 2008-08-20
CN101427253A (zh) 2009-05-06
DE102005058802A1 (de) 2007-06-14

Similar Documents

Publication Publication Date Title
US7698668B2 (en) Automatic translation of simulink models into the input language of a model checker
CN109634600B (zh) 一种基于安全扩展SysML和AADL模型的代码生成方法
JP7204955B2 (ja) プログラマブルロジックコントローラプログラムを分析する方法、コンピュータプログラム及び装置
US6907386B1 (en) Method for computer-supported error analysis of sensors and/or actuators in a technical system
BRPI1101847A2 (pt) sistema de verificação de conjunto de fabricação dimensionável
ES2353823T3 (es) Sistema y método para la verificación automática de resultados de planificación.
Simon et al. Automatic test case generation for PLC programs using coverage metrics
Schnakenbourg et al. Towards IEC 61499 function blocks diagrams verification
WO2017084460A1 (zh) 一种原因追溯方法
US20100299120A1 (en) System and method for the combined acquisition of data for scada and simulation or network calculation applications
JP7418608B2 (ja) プログラマブルロジックコントローラプログラムの解析方法
Roth et al. An FDI method for manufacturing systems based on an identified model
Kang et al. Model-driven software development approach: Ensuring safety of an iot-based plant health monitoring system
Ulewicz et al. Proving equivalence between control software variants for Programmable Logic Controllers
JP2024501588A (ja) Ｐｌｃプログラムの正しさをチェックするコンピュータ実施方法
Leeb et al. Proving safety properties of the steam boiler controller: Formal methods for industrial applications: A case study
Burnard et al. Verifying and validating automatically generated code
Sojer et al. Synthesis of diagnostic techniques based on an IEC 61508-aware metamodel
Khan et al. Towards the formalization of railway interlocking system using Z-notations
Ortega-Cabezas et al. Application of Rule-Based Expert Systems and Dynamic-Link Libraries to Enhance Hardware-in-The-Loop Simulation Results.
Medvedík et al. Safety PLC programming based on UML statechart
US20180074934A1 (en) Method for checking equivalence of code, non-transitory computer-readable storage medium, computer program product and computer for implementing the method
Zhou et al. Bisimilarity control of partially observed deterministic systems
Mitra et al. Proof of Concept on Application of Formal Methods at different phases of development cycle of Avionics Software A Landscaping
NADERPOUR et al. A New Alarm System Developing Approach Through Graph Modeling