SE0202019D0 - Revalidation of a compiler for safety control - Google Patents
Revalidation of a compiler for safety controlInfo
- 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
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3668—Software testing
- G06F11/3672—Test management
- G06F11/3688—Test management for test execution, e.g. scheduling of test suites
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F8/00—Arrangements for software engineering
- G06F8/40—Transformation of program code
- G06F8/41—Compilation
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)
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)
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)
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 |
-
2002
- 2002-06-28 SE SE0202019A patent/SE0202019D0/xx unknown
-
2003
- 2003-06-27 AU AU2003242897A patent/AU2003242897A1/en not_active Abandoned
- 2003-06-27 EP EP03761726A patent/EP1540471A1/en not_active Withdrawn
- 2003-06-27 WO PCT/IB2003/002720 patent/WO2004003739A1/en not_active Application Discontinuation
- 2003-06-27 US US10/519,151 patent/US7712089B2/en not_active Expired - Lifetime
- 2003-06-27 CN CNB038152347A patent/CN1328658C/zh not_active Expired - Lifetime
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) | 내장형 프로세서 코어 디버깅 방법 |