1 |
Pirie, Ian B., (1999), 'Software ? How do we know it is safe?', Proceedings of the ASME/IEEE, pp.122-129
|
2 |
Lutz, R. R. and Woodhouse, R. M. (1999), 'Bi-directional Analysis for Certification of Safety-Critical Software', Proceedings of 1st International Software Assurance Certification Conference, Dulles, Virginia, February
|
3 |
Leveson, N. G. (1986), 'Why, what and how ?', ACM Computing Surveys, 18(2), June
|
4 |
France, R. and Rumpe, B. (2007), 'Model-driven development of complex systems: A research roadmap', Future of Software Engineering, ACM Press
|
5 |
Esterel technologies (2004), SCADE suite product, http://www. esterel-technologies.com
|
6 |
Weber, W. et al., (2005), 'Enhancing software safety by fault trees: experiences from an application to flight critical software', Reliability Engineering & System Safety, Vol. 89, No. 1., pp. 57-70
DOI
ScienceOn
|
7 |
Sammapun, U., Lee, I. and Sokolsky, O., (2005), 'RT-MaC : Runtime monitoring and checking of quantitative and probabilistic properties', Proceedings of IEEE RTCSA
|
8 |
Lawson, H. W. et al., (2001), 'Twenty years of safe train control in Sweden', Engineering of Computer Based Systems, Proceedings. Eighth Annual IEEE International Conference and Workshop on the, p.0289
|
9 |
Leveson, N. G., Heimdahl, M. P. and Reese, J. D. (1999), 'Designing Specification Languages for Process Control Systems: Lessons Learned and Steps to the Future', In Seventh ACM SIGSOFT Symposium on the Foundations on Software Engineering, volume 1687 of LNCS, pages 127-145, September
|
10 |
Harel, D. et al, (1990), 'Statemate: A working environment for the development of complex reactive systems', IEEE Transactions on Software Engineering, 16(4):403-414, April
DOI
ScienceOn
|
11 |
Mathworks Inc. (2004), Mathworks, http://www.mathworks.com
|
12 |
Matsumo, M. (2005), 'The revolution of train control system in Japan', Autonomous Decentralized Systems, ISADS Proceedings, pp.599 - 606
|
13 |
International Electrotechnical Commission (IEC) (1999), '61508 - Functional Safety of Electrical / Electronic / Programmable Electronic Safety-Related Systems'.
|
14 |
Mathworks Inc., Simulink, http://www.mathworks.com
|
15 |
International Electrotechnical Commission (IEC) (2002), '62279 Railway Applications Communications, Signalling &. Processing Systems, Software for Railway Control & Protection'.
|
16 |
Oh, Y.J. et al., (2005), 'Software safety analysis of function block diagrams using fault trees', Reliability Engineering & System Safety, Vol. 88, No. 3., pp. 215-228
DOI
ScienceOn
|
17 |
RTCA DO-178B/ED-12B (1992), 'Software Considerations in Airborne Systems and Equipment Certification'
|
18 |
Esterel Technologies (2004), http://www.esterel-technologies.com
|