Category Archives: trainning

Prof. Nicholas McGuire held safety training in Beijing Aug 6-8,2011

The seminar was hosted by Beijing Shenzhou Aerospace Software Technology Co. LTD.. Other institutes intended this seminar(spectrum etc).

20110820091418

20110820091448

http://www.bjsasc.com/

DSLab Summer School 2011 – safety releated system

DSLab Summer School 2011 has been held in Lanzhou University, from Augest 14 to Augest 19. The course contents of the summer school is “Safety Releated System”.
Prof. Nicholas introduced the terminologies and methods of utilizing GNU/Linux to develop safety releated system.

20110820093203

20110820093222

DSLab Summer School 2011 – Utilizing GNU/Linux for safety related systems

Lanzhou, Gansu, ChinaAugst 15-202011

Linux was not designed for safety related systems, so why use it?

* Security is becoming an issue in safety related systems (it actually always was but we simply ignored it…)

* Processor capabilities are growing rapidly mandating a rethinking of the federated nature of may safety related systems

* The paradigm of keeping systems un-modified for 10-20years is crumbling technical demands mandate a higher level of flexibility while retaining safety related properties

Using FLOSS, notably GNU/Linux, is not the answer to all of these issues, but it is worth considering, and in cases where it fits it can be a very attractive solution, both technically and economically.

Summer School outline:

* Introduction to functional safety

– Basic concepts of functional safety

– Overview of 61508

– Safety life cycle and its relation to development life cycle

* Safety case

– Safety case types

– Strategies for using COTS/FLOSS in safety related systems

– Outline of possible systems utilizing GNU/Linux

* Linux DLC

– Outline of the Linux development process

– Arguing GNU/Linux for safety related systems

– Limitations and possible mitigations

* Formal methods for FLOSS components

– A brief introduction to formal methods

– Capabilities of the existing tools

– Limitations of formal methods for pre-exiting code

 

* Project Day

– Exercises based on Linux Kernel

 

Prerequisites:

 

A working experience in C is mandatory the ability to edit files on a UNIX environment some experience with command line work is helpful basic understanding of operating system functionality is also needed.

Summer School 2008

Between July 21 and Aug 8 2008,Dslab laboratory have maken the Summer School of 2008. In this Summer School, we are divided in two groups. one is software group,the other  is hardware group.

In the software group, the students have learned embedded linux operating system developing, remote control based on real time linux. In the hardware group, the students have learned the basic knowledge about SCM, how to do a simple project,and so on.

20080908093729

20080908093850

20080908101421

20080908101457

20080908101529

 

Between July 21 and Aug 8 2008,Dslab laboratory have maken the Summer School of 2008. In this Summer School, we are divided in two groups. one is software group,the other  is hardware group.

In the software group, the students have learned embedded linux operating system developing, remote control based on real time linux. In the hardware group, the students have learned the basic knowledge about SCM, how to do a simple project,and so on.

 

Three DSlab members joined the FLOSSWORLD workshop held in Tsinghua University on Oct. 26 and 27.

Three DSlab members joined the second FLOSSWORLD workshop held in Tsinghua Universi ty on 26th Oct. The FLOSSWorld project aims to strengthen Europe’s leadership i n research into FLOSS and open standards, building a global constituency with partners from Argentina, Brazil, Bulgaria, China, Croatia, India, Malaysia and South Africa.

20080710150840

“Linux in Safety Critical Systems” Seminar 2008, hosted by Engineering Research Center of Open-Source Software and Real-Time Operating System, Ministry of Education, China, at Lanzhou in Jan. 13-19, 2008

Linux in Safety Critical Systems Seminar 2008

 

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

Ministry of Education, China

 

Room 530, Information Building, SISE, Lanzhou University, Jan. 13-19, 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:

 

phase1
  Introduction to Functional Safety
  Overview of IEC 61508
  Relation of IEC 61508 and derived application sector standards - focus on COTS
  Safety Strategy options for Linux in 61508 Context

phase2
  Available Linux/FLOSS technologies
  Discussion of the safety concept "total diversity"
  Outlook "Evolution of 61508 and derived standards"

 

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.

 

 

 

Correlative Documents of Seminar 2008:

 

Introduction to 61508

OSADL: Safety Critical Linux Working Group

Safety Case strategy for COTS

Introduction to Safety Terminology

 

 

 

Check out the relative resources:

 

git clone git://project.lzu.edu.cn/git/simple-safety

 

 

 

Have a look at the pictures about the seminar:

20080710151359

20080710151449

20080710151520

20080710151539

 

“Linux in Safety Critical Systems” Seminar-II 2008, hosted by Engineering Research Center of Open-Source Software and Real-Time Operating System, Ministry of Education, China, at Lanzhou in June 02-07, 2008

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.