Programming languages for use in safety-related applications
WA Halang, J Zalewski - Annual Reviews in Control, 2003 - Elsevier
Programmable electronic systems are being used in almost all application sectors to perform
non-safety and increasingly to perform safety functions as well. Although software-based
solutions are usually superior to hardwired ones for reasons of efficiency and flexibility, there
is a certain reluctance of the certification authorities when it comes to licensing computer-
based systems which are classified as safety critical. Despite many attempts to overcome
problems of software safety (IEC 61508, IEC 880, VDE 0801, IDS 00-55, RTCA/DO-178), up …
non-safety and increasingly to perform safety functions as well. Although software-based
solutions are usually superior to hardwired ones for reasons of efficiency and flexibility, there
is a certain reluctance of the certification authorities when it comes to licensing computer-
based systems which are classified as safety critical. Despite many attempts to overcome
problems of software safety (IEC 61508, IEC 880, VDE 0801, IDS 00-55, RTCA/DO-178), up …
Programming Languages for use in Safety Related Applications
J Zalewski, WA Halang - IFAC Proceedings Volumes, 2001 - Elsevier
Programmable electronic systems are being used in almost all application sectors to perform
non-safety and increasingly to perform safety functions as well. Although software based
solutions are usually superior to hard wired ones for reasons of efficiency and flexibility,
there is a certain reluctance of the certification authorities when it comes to licensing
computer based systems which are classified as safety critical. Despite many attempts to
overcome problems of software safety (IEC 61508, IEC 880, VDE 0801, IDS 00-55 …
non-safety and increasingly to perform safety functions as well. Although software based
solutions are usually superior to hard wired ones for reasons of efficiency and flexibility,
there is a certain reluctance of the certification authorities when it comes to licensing
computer based systems which are classified as safety critical. Despite many attempts to
overcome problems of software safety (IEC 61508, IEC 880, VDE 0801, IDS 00-55 …
Showing the best results for this search. See all results