paper/references.bib
author Eugen Sawin <sawine@me73.com>
Fri, 04 Jun 2010 15:05:34 +0200
changeset 0 67acda11be36
permissions -rw-r--r--
Final version.
     1 @book{iec61508,
     2 	author="IEC",
     3 	publisher="International Electrotechnical Commission",
     4 	title="IEC 61508 Functional safety of electrical/electronic/programmable electronic safety-related systems",
     5 	year="1998/2005"
     6 }
     7 @book{silcalc,
     8 	author="R.C. Short",
     9 	publisher="3rd IET International Conference on System Safety",
    10 	title="Towards a Calculus for Software SIL",
    11 	year=2008
    12 }
    13 @book{cert_compiler,
    14 	author="Olwen Morgan",
    15 	publisher="3rd Institution of Engineering and Technology Conference on Automotive Electronics",
    16 	title="Certified Testing of C Compilers for Embedded Systems",
    17 	year="2007"
    18 }
    19 @book{personal,
    20 	author="Rodney May",
    21 	publisher="Programmable Electronics and Safety Systems: Issues, Standards and Practical Aspects",
    22 	title="Personal Competencies and the Requirements of IEC 61508",
    23 	year=2002
    24 }
    25 @book{blackbox,
    26 	author="Pawel Kwasnowsk and Grzegorz Wrobel and Zbigniew Mikos and Grzegorz Hayduk",
    27 	publisher="5th IEEE International Conference on Industrial Informatics",
    28 	title="Blackbox Testing Methodology for SafetyLON according to the IEC 61508 Standard",
    29 	year=2007
    30 }
    31 @book{code_gen,
    32 	author="Tilman Gloetzner",
    33 	publisher="3rd IET International conference on System Safety",
    34 	title="IEC 61508 Certification of a Code Generator",
    35 	year=2008
    36 }
    37 @book{basf,
    38 	author="Dirk Hablawetz and Norbert Matalla and Gerhard Adam",
    39 	publisher="atp",
    40 	title="IEC 61511 in der Praxis - Erfahrungen eines Anlagebetreibers",
    41 	year=2007
    42 }
    43 @book{unified,
    44 	author="Julia V. Bukowski, PhD",
    45 	publisher="Reliability and Maintainability Symposium",
    46 	title="A Unified Model for Evaluating the Safety Integrity Level of Safety Instrumented Systems",
    47 	year=2008
    48 }
    49 @book{bridge,
    50 	author="Yoshinobu Sato",
    51 	publisher="SICE Annual Conference",
    52 	title="Throwing a Bridge between Risk Assessment and Functional Safety",
    53 	year=2007
    54 }
    55 @book{auto_control,
    56 	author="Wolfgang A. Halang",
    57 	publisher="9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems",
    58 	title="Automated Control Systems for the Safety Integrity Levels 3 and 4",
    59 	year=2004
    60 }