SE0202019D0 - Revalidation of a compiler for safety control - Google Patents

Revalidation of a compiler for safety control

Info

Publication number
SE0202019D0
SE0202019D0 SE0202019A SE0202019A SE0202019D0 SE 0202019 D0 SE0202019 D0 SE 0202019D0 SE 0202019 A SE0202019 A SE 0202019A SE 0202019 A SE0202019 A SE 0202019A SE 0202019 D0 SE0202019 D0 SE 0202019D0
Authority
SE
Sweden
Prior art keywords
compiler
test program
compilation
software
program
Prior art date
Application number
SE0202019A
Other languages
English (en)
Swedish (sv)
Inventor
Audun Opem
Mats Gunnmarker
Kai Hansen
Original Assignee
Abb As
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 As filed Critical Abb As
Priority to SE0202019A priority Critical patent/SE0202019D0/xx
Publication of SE0202019D0 publication Critical patent/SE0202019D0/xx
Priority to EP03761726A priority patent/EP1540471A1/en
Priority to CNB038152347A priority patent/CN1328658C/zh
Priority to AU2003242897A priority patent/AU2003242897A1/en
Priority to PCT/IB2003/002720 priority patent/WO2004003739A1/en
Priority to US10/519,151 priority patent/US7712089B2/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/3668Software testing
    • G06F11/3672Test management
    • G06F11/3688Test management for test execution, e.g. scheduling of test suites
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/40Transformation of program code
    • G06F8/41Compilation

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Software Systems (AREA)
  • Stored Programmes (AREA)
  • Debugging And Monitoring (AREA)
SE0202019A 2002-06-28 2002-06-28 Revalidation of a compiler for safety control SE0202019D0 (sv)

Priority Applications (6)

Application Number Priority Date Filing Date Title
SE0202019A SE0202019D0 (sv) 2002-06-28 2002-06-28 Revalidation of a compiler for safety control
EP03761726A EP1540471A1 (en) 2002-06-28 2003-06-27 Revalidation of a compiler for safety control
CNB038152347A CN1328658C (zh) 2002-06-28 2003-06-27 用于安全控制的编译器的再验证方法
AU2003242897A AU2003242897A1 (en) 2002-06-28 2003-06-27 Revalidation of a compiler for safety control
PCT/IB2003/002720 WO2004003739A1 (en) 2002-06-28 2003-06-27 Revalidation of a compiler for safety control
US10/519,151 US7712089B2 (en) 2002-06-28 2003-06-27 Revalidation of a compiler for safety control

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
SE0202019A SE0202019D0 (sv) 2002-06-28 2002-06-28 Revalidation of a compiler for safety control

Publications (1)

Publication Number Publication Date
SE0202019D0 true SE0202019D0 (sv) 2002-06-28

Family

ID=20288369

Family Applications (1)

Application Number Title Priority Date Filing Date
SE0202019A SE0202019D0 (sv) 2002-06-28 2002-06-28 Revalidation of a compiler for safety control

Country Status (6)

Country Link
US (1) US7712089B2 (xx)
EP (1) EP1540471A1 (xx)
CN (1) CN1328658C (xx)
AU (1) AU2003242897A1 (xx)
SE (1) SE0202019D0 (xx)
WO (1) WO2004003739A1 (xx)

Families Citing this family (23)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7818729B1 (en) * 2003-09-15 2010-10-19 Thomas Plum Automated safe secure techniques for eliminating undefined behavior in computer software
US20050193378A1 (en) * 2004-03-01 2005-09-01 Breault Richard E. System and method for building an executable program with a low probability of failure on demand
BRPI0502411A (pt) * 2005-03-31 2006-11-28 Univ Minas Gerais processo de desenvolvimento de substáncias como inibidores potentes e seletivos de isoformas de fosfodiesterases dos tipos 1 a 5 (pde1,pde2,pde3, pde4, pde5) na base de diocleìna, fluranol ou análogos e suas composições farmacêuticas para o estudo e tratamento de doenças cardiovasculares e produtos associados
CN100442243C (zh) * 2005-08-12 2008-12-10 中国科学院计算技术研究所 一种对编译器中的错误进行自动定位的方法
US7684877B2 (en) 2006-10-20 2010-03-23 Rockwell Automation Technologies, Inc. State propagation for modules
US7725200B2 (en) * 2006-10-20 2010-05-25 Rockwell Automation Technologies, Inc. Validation of configuration settings in an industrial process
US8392008B2 (en) * 2006-10-20 2013-03-05 Rockwell Automation Technologies, Inc. Module arbitration and ownership enhancements
US7676292B2 (en) 2006-10-20 2010-03-09 Rockwell Automation Technologies, Inc. Patterns employed for module design
US7894917B2 (en) * 2006-10-20 2011-02-22 Rockwell Automation Technologies, Inc. Automatic fault tuning
US7844349B2 (en) 2006-10-20 2010-11-30 Rockwell Automation Technologies, Inc. Standard MES interface for discrete manufacturing
US8601435B2 (en) * 2006-10-20 2013-12-03 Rockwell Automation Technologies, Inc. Module class subsets for industrial control
US7680550B2 (en) 2006-10-20 2010-03-16 Rockwell Automation Technologies, Inc. Unit module state processing enhancements
US7908596B2 (en) * 2007-01-05 2011-03-15 International Business Machines Corporation Automatic inspection of compiled code
KR101418969B1 (ko) * 2008-02-27 2014-08-13 삼성전자주식회사 프로세서 및 컴파일 방법
US8255875B2 (en) * 2008-09-30 2012-08-28 Rockwell Automation Technologies, Inc. Application builder for industrial automation
DE102009019089A1 (de) 2009-04-20 2010-11-04 Pilz Gmbh & Co. Kg Verfahren und Vorrichtung zum Erstellen eines Anwenderprogramms für eine Sicherheitssteuerung
US20110099439A1 (en) * 2009-10-23 2011-04-28 Infineon Technologies Ag Automatic diverse software generation for use in high integrity systems
US20110208948A1 (en) * 2010-02-23 2011-08-25 Infineon Technologies Ag Reading to and writing from peripherals with temporally separated redundant processor execution
US8516356B2 (en) 2010-07-20 2013-08-20 Infineon Technologies Ag Real-time error detection by inverse processing
US9678483B2 (en) 2011-01-26 2017-06-13 Honeywell International Inc. Programmable controller with both safety and application functions
DE102011109888B4 (de) * 2011-08-10 2020-01-23 Phoenix Contact Gmbh & Co. Kg Verfahren und Vorrichtung zum automatischen Erstellen einer ausführbaren Sicherheitsfunktion für ein Gerät
US8930765B2 (en) * 2012-07-31 2015-01-06 Oracle International Corporation Systems and methods for feedback driven regression testing
US10754630B2 (en) * 2018-06-06 2020-08-25 International Business Machines Corporation Build-time code section-specific compiler selection

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4729096A (en) 1984-10-24 1988-03-01 International Business Machines Corporation Method and apparatus for generating a translator program for a compiler/interpreter and for testing the resulting translator program
NL9002460A (nl) * 1990-11-09 1992-06-01 Tech Force B V Werkwijze voor het analyseren en voorspellen van een programmatuurontwikkelingsproces.
IL100989A (en) 1991-02-27 1995-10-31 Digital Equipment Corp Analysis of inductive expressions in multilingual mehadoptimization
US5359659A (en) * 1992-06-19 1994-10-25 Doren Rosenthal Method for securing software against corruption by computer viruses
US5754860A (en) * 1996-07-23 1998-05-19 Digital Equipment Corporation Method and apparatus for software testing using a differential testing technique to test compilers
US6071316A (en) 1997-09-29 2000-06-06 Honeywell Inc. Automated validation and verification of computer software
US6223337B1 (en) 1997-12-12 2001-04-24 Hewlett-Packard Company Random test generation for compiler optimization
US6061643A (en) * 1998-07-07 2000-05-09 Tenfold Corporation Method for defining durable data for regression testing
DE19857683B4 (de) 1998-12-14 2007-06-28 Wratil, Peter, Dr. Verfahren zur Sicherheitsüberwachung von Steuerungseinrichtungen
JP2001084162A (ja) * 1999-09-10 2001-03-30 Toshiba Corp プログラム試験方法及び記憶媒体
US6598074B1 (en) * 1999-09-23 2003-07-22 Rocket Network, Inc. System and method for enabling multimedia production collaboration over a network
US7302676B2 (en) * 2000-08-07 2007-11-27 Siemens Aktiengesselschaft Method for debugging flowchart programs for industrial controllers
US20030135842A1 (en) * 2002-01-16 2003-07-17 Jan-Erik Frey Software development tool for embedded computer systems

Also Published As

Publication number Publication date
CN1328658C (zh) 2007-07-25
CN1666178A (zh) 2005-09-07
US7712089B2 (en) 2010-05-04
EP1540471A1 (en) 2005-06-15
AU2003242897A1 (en) 2004-01-19
WO2004003739A1 (en) 2004-01-08
US20060101433A1 (en) 2006-05-11

Similar Documents

Publication Publication Date Title
SE0202019D0 (sv) Revalidation of a compiler for safety control
GB0225649D0 (en) Incremental validation
WO2010014981A3 (en) Method and apparatus for detection and optimization of presumably parallel program regions
RU2010114709A (ru) Способ автоматического генерирования сценария для проверки правильности функционального программного обеспечения системы, установленной на борту летательного аппарата, и устройство для применения способа
ATE516537T1 (de) Prüfung von skriptsprachen mit schnittstellen mittels annotationen in xml
TW355773B (en) System and method for generating trusted, architecture specific, compiled versions of architecture neutral programs
WO2006053103A3 (en) Method and apparatus for enforcing safety properties of computer programs by generating and solving constraints
DE602005015600D1 (de) Vorrichtung, system und verfahren zum testen eines geräts mit eingeschränkten ressourcen
Cadar et al. Analysing the program analyser
Ádám et al. Gazer-Theta: LLVM-based verifier portfolio with BMC/CEGAR (competition contribution)
WO2009081267A3 (en) Method and system for runtime program error detection
FR2888960B1 (fr) Detection d'une faute par perturbation longue
Wang et al. ILP c: A novel approach for scalable timing analysis of synchronous programs
Riener et al. FAuST: A framework for formal verification, automated debugging, and software test generation
DE60021092D1 (de) Vorrichtung und Verfahren zur Echtzeitfehlerbeseitigung von Quellprogrammen, insbesondere für DSP
Fedyukovich et al. Function summaries in software upgrade checking
Gurfinkel et al. FrankenBit: Bit-Precise Verification with Many Bits: (Competition Contribution)
Ngo et al. Translation validation for clock transformations in a synchronous compiler
Angeletti et al. Automatic test generation for coverage analysis using CBMC
Bandyopadhyay Path based equivalence checking of Petri net representation of programs for translation validation
Izerrouken et al. Integrated formal approach for qualified critical embedded code generator
Anoop et al. Comparative Study of Fixed-Point and Floating-Point Code for a Fixed-Point Micro
Roscoe Compiling Statemate Statecharts into CSP and verifying them using FDR–abstract
Shen The Impact of Compiler Optimizations on Symbolic Execution
KR20130067098A (ko) 내장형 프로세서 코어 디버깅 방법