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