Dates and Events: |
OSADL Articles:
2023-11-12 12:00
Open Source License Obligations Checklists even better now
Import the checklists to other tools, create context diffs and merged lists
2022-07-11 12:00
Call for participation in phase #4 of Open Source OPC UA open62541 support project
Letter of Intent fulfills wish list from recent survey
2022-01-13 12:00
Phase #3 of OSADL project on OPC UA PubSub over TSN successfully completed
Another important milestone on the way to interoperable Open Source real-time Ethernet has been reached
2021-02-09 12:00
Open Source OPC UA PubSub over TSN project phase #3 launched
Letter of Intent with call for participation is now available |
COOL - Compact OSADL Online Lectures - November 2024 edition
OSADL talks at ESE Embedded Software Engineering Kongress
COOL - Compact OSADL Online Lectures - December 2024 edition
OSADL Special Events
SIL2LinuxMP/SIL2.2. - Workshop #4
September 26 to 28, 2017
A&R TECH Automatisierungs- und Regelungstechnik GmbH
Marktsteinergasse 13
A-1210 Vienna, Austria
Agenda - Hotel recommendation - Registration
Access to the meeting
SIL2LinuxMP/SIL2.2 participants: Full Partners, Reviewing Partners and Academic Partners as well as the consulting regulatory body TÜV Süd Rail and our certification authority TÜV Rheinland.
Registration
Registration: By email to SIL2LinuxMP Mailinglist
Registration deadline: July 28, 2017
Agenda
Tuesday, September 26, 2017, 9 am - Status and Updates
* Status of SIL2LinuxMP/SIL2.2 update
* Notes from TÜV on AnnexQR
* Update on use case development
- Level of detail reached
- Summary of SACs and major findings
- Selection criteria
* Note on the state of HW and possible alternatives
Tuesday to Thursday, September 26 - 28, 2017 - Breakout sessions
* Semantic patches with Coccinelle - Julia Lawall
- Introduction to Coccinelle
- API compliance analysis
- Readability fixups
- Incorrect defensive structures
* Static code analysis tools for the kernel - Alexey Khoroshilov(?)
- Static Analysis of Linux Kernel with KLEE
- LDV static verification tools for Linux
- Systematic fault injection for Linux kernel code
* Posix test-suit extensions - Andreas Platschek
- HAZOP overview and functional context
- Workflow - posix testsuit extension
- Structure of test cases
- Generalization/abstraction from use case
- LOPA Effectiveness
Please note that the agenda is preliminary and may be subject to changes!
Workshop language
The workshop language is English.
Accommodation
Hotels close to the workshop location:
- FourSide Hotel & Suites Vienna, Freytaggasse 25-27, A-1210 Vienna, phone +43 1 278 07 80 – 0, fax +43 1 278 07 80 - 80, www.vienna-hs.fourside-hotels.com; email
vienna-hsªfourside-hotels.com. Price per person/night during the workshop period: from 99 to 139 EUR excluding breakfast. This hotel is locatated within 20 minutes walking distance from the workshop location; approx. 5 minutes by train. - Strebersdorfer Hof, Rußbergstraße 46, A-1210 Vienna, phone +43 1 292 8869-0, fax +43 1 292 8869-36, www.strebersdorferhof.at, email infoªstrebersdorferhof.at. Price per person/night during the workshop period: from 83 to 88.50 EUR including breakfast. This hotel is also about a 20 minutes walk away from the workshop location.
As of August 10, 2017 both hotels still had some room availabilities at the workshop dates, but please make your booking as soon as possible.
How to reach
Venue:
The workshop will take place at A&R TECH Automatisierungs- und Regelungstechnik GmbH, Marktsteinergasse 13, A-1210 Vienna, Austria, http: www.artech.at.
