Update: Now with Link to Skype Meeting, see below.

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:

Recent thoughts and methods how to build a QKit for Linux.

We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:

·         Tools

·         Unchanged/pre-existing software components

·         Software (SEOOCs)

And we think that Linux requires qualification for elements within all those classes.

So therefore we propose as potential activities for Elisa:

·         Description of a process for qualification of Linux and Linux applications

·         Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)

·         qualification of

·         linux tools for

·         compilation, e.g. gcc

·         code coverage measurement, e.g. gcov

·         test automatization, e.g. gtest, gdb

·         Linux libraries , libc, libm, C++stdlibs (as far as needed)

·         Linux components, e.g. kernel, modules

·         Provide a qualified tool chain to safely develop applications

The following things we have already achieved and can present you:

·         (certified) qualification processes for Tools & Libraries (SEOOCs still open)

·         QKit for gcc

·         QKit concept for gcov

·         QKit for 200 runtime functions of libm, libc

·         QKit for QKits (adaptable for linux)

There is much to do, but we do already have parts, plans & visions that we like to share with you.

.........................................................................................................................................

Join Skype Meeting    

Trouble Joining? Try Skype Web App

Join by phone

 

Toll number:        +4969710414722,,87977174# (Dial-in Number)                        German (Germany)

 

Find a local number

 

Conference ID: 87977174

Forgot your dial-in PIN? |Help  

 

_{[!OC([1033])!]}

.........................................................................................................................................

 

 

 

Hello,

if someone wants to get the slides shown yesterday, please drop me an email.

(Due to some copyright issues in my slides I am not allowed to send them to this public list).

Kind regards,

                Oscar

--

Validas AG

Dr. Oscar Slotosch

Vorstand

mailto:slotosch@...

http://www.validas.de

fon: +49 (0) 89 / 53 88 669-11

fax: +49 (0) 89 / 53 88 669-10

--

Validas AG

Firmensitz: Arnulfstr. 27, D-80335 München

Registergericht: Amtsgericht München HRB 131653

Vorstand: Dr. Oscar Slotosch, Dr. Peter Braun

Aufsichtsratsvorsitzender: Prof. Dr. Dr. h.c. Manfred Broy

Hallo Lukas,

here are my slides that I presented today.

Feel free to distribute them in the ELISA group (except to the hole internet)

Kind regards,

                Oscar

Dear Oscar,

Would it be okay for you to share your presentation with Vadim Mutilin from ISPRAS?

@Vadim: Please confirm that you understand the Chatham House Rule and that you will not distribute the presentation further to anyone else. It is okay to tell others about the presentation and tell them to ask if they may also receive a copy but this should ALWAYS be approved by the presenter first.  The presentation is solely for your own personal use.

Best regards,

Lukas

Update: Now with Link to Skype Meeting, see below.

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:

Recent thoughts and methods how to build a QKit for Linux.

We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:

·       Tools

·       Unchanged/pre-existing software components

·       Software (SEOOCs)

And we think that Linux requires qualification for elements within all those classes.

So therefore we propose as potential activities for Elisa:

·       Description of a process for qualification of Linux and Linux applications

·       Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)

·       qualification of

·       linux tools for

·       compilation, e.g. gcc

·       code coverage measurement, e.g. gcov

·       test automatization, e.g. gtest, gdb

·       Linux libraries , libc, libm, C++stdlibs (as far as needed)

·       Linux components, e.g. kernel, modules

·       Provide a qualified tool chain to safely develop applications

The following things we have already achieved and can present you:

·       (certified) qualification processes for Tools & Libraries (SEOOCs still open)

·       QKit for gcc

·       QKit concept for gcov

·       QKit for 200 runtime functions of libm, libc

·       QKit for QKits (adaptable for linux)

There is much to do, but we do already have parts, plans & visions that we like to share with you.

.........................................................................................................................................

Join Skype Meeting    

Trouble Joining? Try Skype Web App

Join by phone

 

Toll number:        +4969710414722,,87977174# (Dial-in Number)                        German (Germany)

 

Find a local number

 

Conference ID: 87977174

Forgot your dial-in PIN? |Help  

 

_{[!OC([1033])!]}

.........................................................................................................................................

 

 

 

Oscar,

Please send me that slide if possible.

Thanks

Tiejun

Hello,

if someone wants to get the slides shown yesterday, please drop me an email.

(Due to some copyright issues in my slides I am not allowed to send them to this public list).

Kind regards,

                Oscar

--

Validas AG

Dr. Oscar Slotosch

Vorstand

mailto:slotosch@...

http://www.validas.de

fon: +49 (0) 89 / 53 88 669-11

fax: +49 (0) 89 / 53 88 669-10

--

Validas AG

Firmensitz: Arnulfstr. 27, D-80335 München

Registergericht: Amtsgericht München HRB 131653

Vorstand: Dr. Oscar Slotosch, Dr. Peter Braun

Aufsichtsratsvorsitzender: Prof. Dr. Dr. h.c. Manfred Broy

Hallo Lukas,

here are my slides that I presented today.

Feel free to distribute them in the ELISA group (except to the hole internet)

Kind regards,

                Oscar

Dear Oscar,

Would it be okay for you to share your presentation with Vadim Mutilin from ISPRAS?

@Vadim: Please confirm that you understand the Chatham House Rule and that you will not distribute the presentation further to anyone else. It is okay to tell others about the presentation and tell them to ask if they may also receive a copy but this should ALWAYS be approved by the presenter first.  The presentation is solely for your own personal use.

Best regards,

Lukas

Update: Now with Link to Skype Meeting, see below.

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:

Recent thoughts and methods how to build a QKit for Linux.

We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:

·         Tools

·         Unchanged/pre-existing software components

·         Software (SEOOCs)

And we think that Linux requires qualification for elements within all those classes.

So therefore we propose as potential activities for Elisa:

·         Description of a process for qualification of Linux and Linux applications

·         Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)

·         qualification of

·         linux tools for

·         compilation, e.g. gcc

·         code coverage measurement, e.g. gcov

·         test automatization, e.g. gtest, gdb

·         Linux libraries , libc, libm, C++stdlibs (as far as needed)

·         Linux components, e.g. kernel, modules

·         Provide a qualified tool chain to safely develop applications

The following things we have already achieved and can present you:

·         (certified) qualification processes for Tools & Libraries (SEOOCs still open)

·         QKit for gcc

·         QKit concept for gcov

·         QKit for 200 runtime functions of libm, libc

·         QKit for QKits (adaptable for linux)

There is much to do, but we do already have parts, plans & visions that we like to share with you.

.........................................................................................................................................

Join Skype Meeting    

Trouble Joining? Try Skype Web App

Join by phone

 

Toll number:        +4969710414722,,87977174# (Dial-in Number)                        German (Germany)

 

Find a local number

 

Conference ID: 87977174

Forgot your dial-in PIN? |Help  

 

_{[!OC([1033])!]}

.........................................................................................................................................

 

 

 

Update: Now with Link to Skype Meeting, see below.

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:

Recent thoughts and methods how to build a QKit for Linux.

We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:

·         Tools

·         Unchanged/pre-existing software components

·         Software (SEOOCs)

And we think that Linux requires qualification for elements within all those classes.

So therefore we propose as potential activities for Elisa:

·         Description of a process for qualification of Linux and Linux applications

·         Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)

·         qualification of

·         linux tools for

·         compilation, e.g. gcc

·         code coverage measurement, e.g. gcov

·         test automatization, e.g. gtest, gdb

·         Linux libraries , libc, libm, C++stdlibs (as far as needed)

·         Linux components, e.g. kernel, modules

·         Provide a qualified tool chain to safely develop applications

The following things we have already achieved and can present you:

·         (certified) qualification processes for Tools & Libraries (SEOOCs still open)

·         QKit for gcc

·         QKit concept for gcov

·         QKit for 200 runtime functions of libm, libc

·         QKit for QKits (adaptable for linux)

There is much to do, but we do already have parts, plans & visions that we like to share with you.

.........................................................................................................................................

Join Skype Meeting    

Trouble Joining? Try Skype Web App

Join by phone

 

Toll number:        +4969710414722,,87977174# (Dial-in Number)                        German (Germany)

 

Find a local number

 

Conference ID: 87977174

Forgot your dial-in PIN? |Help  

 

_{[!OC([1033])!]}

.........................................................................................................................................

 

 

 

Hello Tiejun,

I see only delev@... as sender of the mail, so cannot send you the slides.

What is your email?

Kind regards,

                Oscar Slotosch

--

Validas AG

Dr. Oscar Slotosch

Vorstand

mailto:slotosch@...

http://www.validas.de

fon: +49 (0) 89 / 53 88 669-11

fax: +49 (0) 89 / 53 88 669-10

--

Validas AG

Firmensitz: Arnulfstr. 27, D-80335 München

Registergericht: Amtsgericht München HRB 131653

Vorstand: Dr. Oscar Slotosch, Dr. Peter Braun

Aufsichtsratsvorsitzender: Prof. Dr. Dr. h.c. Manfred Broy

Oscar,

Please send me that slide if possible.

Thanks

Tiejun

Hello,

if someone wants to get the slides shown yesterday, please drop me an email.

(Due to some copyright issues in my slides I am not allowed to send them to this public list).

Kind regards,

                Oscar

--

Validas AG

Dr. Oscar Slotosch

Vorstand

mailto:slotosch@...

http://www.validas.de

fon: +49 (0) 89 / 53 88 669-11

fax: +49 (0) 89 / 53 88 669-10

--

Validas AG

Firmensitz: Arnulfstr. 27, D-80335 München

Registergericht: Amtsgericht München HRB 131653

Vorstand: Dr. Oscar Slotosch, Dr. Peter Braun

Aufsichtsratsvorsitzender: Prof. Dr. Dr. h.c. Manfred Broy

Hallo Lukas,

here are my slides that I presented today.

Feel free to distribute them in the ELISA group (except to the hole internet)

Kind regards,

                Oscar

Dear Oscar,

Would it be okay for you to share your presentation with Vadim Mutilin from ISPRAS?

@Vadim: Please confirm that you understand the Chatham House Rule and that you will not distribute the presentation further to anyone else. It is okay to tell others about the presentation and tell them to ask if they may also receive a copy but this should ALWAYS be approved by the presenter first.  The presentation is solely for your own personal use.

Best regards,

Lukas

Update: Now with Link to Skype Meeting, see below.

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:

Recent thoughts and methods how to build a QKit for Linux.

We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:

·       Tools

·       Unchanged/pre-existing software components

·       Software (SEOOCs)

And we think that Linux requires qualification for elements within all those classes.

So therefore we propose as potential activities for Elisa:

·       Description of a process for qualification of Linux and Linux applications

·       Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)

·       qualification of

·       linux tools for

·       compilation, e.g. gcc

·       code coverage measurement, e.g. gcov

·       test automatization, e.g. gtest, gdb

·       Linux libraries , libc, libm, C++stdlibs (as far as needed)

·       Linux components, e.g. kernel, modules

·       Provide a qualified tool chain to safely develop applications

The following things we have already achieved and can present you:

·       (certified) qualification processes for Tools & Libraries (SEOOCs still open)

·       QKit for gcc

·       QKit concept for gcov

·       QKit for 200 runtime functions of libm, libc

·       QKit for QKits (adaptable for linux)

There is much to do, but we do already have parts, plans & visions that we like to share with you.

.........................................................................................................................................

Join Skype Meeting    

Trouble Joining? Try Skype Web App

Join by phone

 

Toll number:        +4969710414722,,87977174# (Dial-in Number)                        German (Germany)

 

Find a local number

 

Conference ID: 87977174

Forgot your dial-in PIN? |Help  

 

_{[!OC([1033])!]}

.........................................................................................................................................

 

 

 

Hello,

if someone wants to get the slides shown yesterday, please drop me an email.

(Due to some copyright issues in my slides I am not allowed to send them to this public list).

 

Kind regards,

                Oscar

--

Validas AG

Dr. Oscar Slotosch

Vorstand

mailto:slotosch@...

http://www.validas.de

fon: +49 (0) 89 / 53 88 669-11

fax: +49 (0) 89 / 53 88 669-10

--

Validas AG

Firmensitz: Arnulfstr. 27, D-80335 München

Registergericht: Amtsgericht München HRB 131653

Vorstand: Dr. Oscar Slotosch, Dr. Peter Braun

Aufsichtsratsvorsitzender: Prof. Dr. Dr. h.c. Manfred Broy

 

Von: Oscar Slotosch [mailto:slotosch@...]
Gesendet: Montag, 6. Mai 2019 20:19
An: Bulwahn Lukas, JC-22 <Lukas.Bulwahn@...>; mutilin@...
Betreff: AW: [devel] ELISA Webinar #1: Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508

 

Hallo Lukas,

here are my slides that I presented today.

 

Feel free to distribute them in the ELISA group (except to the hole internet)

 

Kind regards,

                Oscar

 

Von: Lukas.Bulwahn@... [mailto:Lukas.Bulwahn@...]
Gesendet: Montag, 6. Mai 2019 19:50
An: Oscar Slotosch; mutilin@...
Betreff: Re: [devel] ELISA Webinar #1: Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508

 

Dear Oscar,

 

Would it be okay for you to share your presentation with Vadim Mutilin from ISPRAS?

 

@Vadim: Please confirm that you understand the Chatham House Rule and that you will not distribute the presentation further to anyone else. It is okay to tell others about the presentation and tell them to ask if they may also receive a copy but this should ALWAYS be approved by the presenter first.  The presentation is solely for your own personal use.

 

 

Best regards,

 

Lukas

 

Von: Vadim Mutilin [mailto:mutilin@...]
Gesendet: Montag, 6. Mai 2019 15:10
An: Bulwahn Lukas, JC-22 <Lukas.Bulwahn@...>
Betreff: Re: [devel] ELISA Webinar #1: Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508

 

Hi Lukas!

I'm having troubles with installing Skype Meetings App under Linux and can not join the meeting. Hope to get a recording.

 

Best,

Vadim

 

On 06.05.2019 11:54, Lukas Bulwahn wrote:

Update: Now with Link to Skype Meeting, see below.

Validas' Approach to qualification kits for tools, libraries and SEOOCS compliant to ISO 26262 and IEC 61508
Referee: Dr. Oscar Slotosch, Validas

Agenda:

Recent thoughts and methods how to build a QKit for Linux.

We see three different classes of elements in ISO 26262 and IEC 61508 as part of the “safety architecture”:

·         Tools

·         Unchanged/pre-existing software components

·         Software (SEOOCs)

And we think that Linux requires qualification for elements within all those classes.

So therefore we propose as potential activities for Elisa:

·         Description of a process for qualification of Linux and Linux applications

·         Safety plan, showing the compliance of the process with ISO 26262 and IEC 61508 (including of checks to be performed)

·         qualification of

·         linux tools for

·         compilation, e.g. gcc

·         code coverage measurement, e.g. gcov

·         test automatization, e.g. gtest, gdb

·         Linux libraries , libc, libm, C++stdlibs (as far as needed)

·         Linux components, e.g. kernel, modules

·         Provide a qualified tool chain to safely develop applications

The following things we have already achieved and can present you:

·         (certified) qualification processes for Tools & Libraries (SEOOCs still open)

·         QKit for gcc

·         QKit concept for gcov

·         QKit for 200 runtime functions of libm, libc

·         QKit for QKits (adaptable for linux)

There is much to do, but we do already have parts, plans & visions that we like to share with you.

.........................................................................................................................................

Join Skype Meeting    

Trouble Joining? Try Skype Web App

Join by phone

 

Toll number:        +4969710414722,,87977174# (Dial-in Number)                        German (Germany)

 

Find a local number

 

Conference ID: 87977174

Forgot your dial-in PIN? |Help  

 

_{[!OC([1033])!]}

.........................................................................................................................................

 

 

 

 

Would also like the presentation please.

Antonio.priore@...

Thanks Oscar for very useful presentation. Can i request for the slides, 

IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.