Linux in Safety Critical Systems Seminar part-II 2008

Engineering Research Center of Open-Source Software and Real-Time Operating System,

Ministry of Education, China

Room 530, Information Building, SISE, Lanzhou University, Jun. 02-07, 2008

Seminar Scope:

Linux usage for safety-related systems in the context of IEC 61508 and derived standards for process industry (IEC 61511), machine industry (IEC 62051) and rail (EN50128/50129). In This seminar we will cover IEC 61508 with respect to COTS components, develop strategies for inclusion of COTS components and outline possibilities of justification of such components in a standard compliant manner.

Seminar Schedule:

Section-1:
    * Writing requirements
    * Requirements analysis
    * Safety case introduction
    * System design overview
    * Software design overview

  Section2(practical part):
    * continuation of safe_parport project from Jan.

Speaker:

Nicholas Mc Guire, Professor of Lanzhou University, lectures on UNIX clusters, embedded and realtime Linux, Open-Source Project Management and UNIX programming. He became involved in Linux in early 1995 (Kernel 0.99.12) while working at the Tech. Univ. Vienna Austria and programming DSP’s (TMS 320C4X) for Magnetic Bearing systems. He continued Linux work at the Inst. for Computational Material Science of The Vienna University from 1997-2001, primarily working on High-performance clusters there (Alpha-LX/DP-264/UP-2000/K7 clusters). These projects brought the world of MPI and PVM as well as the very fascinating MOSIX project into his work-area and he has since then a continued interest which was extended into distributed real-time systems lately. He began to work on MiniRTL in 1998 because of lack of work at the University and too many old PC’s standing around that nobody wanted to use. He is currently active as a consultant for industries deploying free software and open source, notably embedded Linux/RTLinux based Projects for Machine-tool companies and in the field of safety critical systems and as the maintainer of RTLinux/GPL an active community member.