Artwork

Nội dung được cung cấp bởi Oscar Slotosch. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Oscar Slotosch hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.
Player FM - Ứng dụng Podcast
Chuyển sang chế độ ngoại tuyến với ứng dụng Player FM !

Episode 34: Tool Impact

19:27
 
Chia sẻ
 

Manage episode 311662278 series 3164291
Nội dung được cung cấp bởi Oscar Slotosch. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Oscar Slotosch hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

The process by which tools can have an impact on the safety of your project is not always straightforward or easy to understand. In this episode Dr. Oscar Slotosch devotes special attention to the ways in which tools can introduce or overlook errors and how we can determine their overall impact. Listen in for a summary of tool impact requirements and recommendations across different safety standards and models — including Oscar’s own experiences with special cases, such as model checkers and timing analysis tools.

For an introduction to Validas’s model-based approach to tool safety, join us in Episode 11: Tool Chain Analyzer, and to learn about the importance of tool impact in more practical cases, listen to our Episode 09: Tool Qualification Roadmap.

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

  continue reading

67 tập

Artwork
iconChia sẻ
 
Manage episode 311662278 series 3164291
Nội dung được cung cấp bởi Oscar Slotosch. Tất cả nội dung podcast bao gồm các tập, đồ họa và mô tả podcast đều được Oscar Slotosch hoặc đối tác nền tảng podcast của họ tải lên và cung cấp trực tiếp. Nếu bạn cho rằng ai đó đang sử dụng tác phẩm có bản quyền của bạn mà không có sự cho phép của bạn, bạn có thể làm theo quy trình được nêu ở đây https://vi.player.fm/legal.

The process by which tools can have an impact on the safety of your project is not always straightforward or easy to understand. In this episode Dr. Oscar Slotosch devotes special attention to the ways in which tools can introduce or overlook errors and how we can determine their overall impact. Listen in for a summary of tool impact requirements and recommendations across different safety standards and models — including Oscar’s own experiences with special cases, such as model checkers and timing analysis tools.

For an introduction to Validas’s model-based approach to tool safety, join us in Episode 11: Tool Chain Analyzer, and to learn about the importance of tool impact in more practical cases, listen to our Episode 09: Tool Qualification Roadmap.

Your producer and friendly representative of the audience in this episode has been Ivana Kurecic.

We can be reached through podcast@validas.de and all information about Validas can be found on our website, validas.de.

  continue reading

67 tập

Tất cả các tập

×
 
Loading …

Chào mừng bạn đến với Player FM!

Player FM đang quét trang web để tìm các podcast chất lượng cao cho bạn thưởng thức ngay bây giờ. Đây là ứng dụng podcast tốt nhất và hoạt động trên Android, iPhone và web. Đăng ký để đồng bộ các theo dõi trên tất cả thiết bị.

 

Hướng dẫn sử dụng nhanh