Palestra "Software Freedom Day Adverte: Softwares Não Livres podem ser prejudiciais a saúde" por Marcel Ribeiro Dantas - Software Freedom Day 2016 - Natal/RN

1. Background Unintentional Intentional Scenario Solution Thank you!
Software Freedom Day Adverte:
Softwares N˜ao Livres podem ser prejudiciais
`a sa´ude
Marcel Ribeiro Dantas
mribeirodantas at lais.huol.ufrn.br
Software Freedom Day - Natal/RN
17 de Setembro de 2016
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 1/20

2. Background Unintentional Intentional Scenario Solution Thank you!
How common is an implantable device?
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 2/20

3. Background Unintentional Intentional Scenario Solution Thank you!
How common is an implantable device?
Over 3.000.000 people worldwide with pacemakers
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 2/20

4. Background Unintentional Intentional Scenario Solution Thank you!
How common is an implantable device?
Over 3.000.000 people worldwide with pacemakers
Each year 600.000 pacemakers are implanted
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 2/20

5. Background Unintentional Intentional Scenario Solution Thank you!
How common is an implantable device?
Over 3.000.000 people worldwide with pacemakers
Each year 600.000 pacemakers are implanted
Global market for pacemakers: USD 4.2 billion in 2008
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 2/20

6. Background Unintentional Intentional Scenario Solution Thank you!
How common is an implantable device?
Over 3.000.000 people worldwide with pacemakers
Each year 600.000 pacemakers are implanted
Global market for pacemakers: USD 4.2 billion in 2008
Approximately USD 14.1 billion by 2025.
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 2/20

7. Background Unintentional Intentional Scenario Solution Thank you!
They’re not new. They’re just different now
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 3/20

8. Background Unintentional Intentional Scenario Solution Thank you!
What is a pacemaker?
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 4/20

9. Background Unintentional Intentional Scenario Solution Thank you!
What is a pacemaker?
Artificial Cardiac Pacemaker
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 4/20

10. Background Unintentional Intentional Scenario Solution Thank you!
What is a pacemaker?
Artificial Cardiac Pacemaker
Electrical impulses to regulate heart rate
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 4/20

11. Background Unintentional Intentional Scenario Solution Thank you!
What is a defibrillator?
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 5/20

12. Background Unintentional Intentional Scenario Solution Thank you!
What is a defibrillator?
Implantable Cardioverter Defibrillator (ICD)
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 5/20

13. Background Unintentional Intentional Scenario Solution Thank you!
What is a defibrillator?
Implantable Cardioverter Defibrillator (ICD)
Electrical impulses to revert ventricular fibrillation
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 5/20

14. Background Unintentional Intentional Scenario Solution Thank you!
Single unit
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 6/20

15. Background Unintentional Intentional Scenario Solution Thank you!
Single unit
Pacemaker + ICD
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 6/20

16. Background Unintentional Intentional Scenario Solution Thank you!
Mistakes happen
They do happen!
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 7/20

17. Background Unintentional Intentional Scenario Solution Thank you!
Mistakes happen
They do happen!
SEI estimates one defect for every 100 lines of code
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 7/20

18. Background Unintentional Intentional Scenario Solution Thank you!
Mistakes happen
They do happen!
SEI estimates one defect for every 100 lines of code
Pacemaker may have around 80.000 lines; 800 bugs
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 7/20

19. Background Unintentional Intentional Scenario Solution Thank you!
Mistakes happen
They do happen!
SEI estimates one defect for every 100 lines of code
Pacemaker may have around 80.000 lines; 800 bugs
One study showed 98% of software failures in IMD would
have been detected with all pairs testing.
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 7/20

20. Background Unintentional Intentional Scenario Solution Thank you!
Anything wrong?
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 8/20

21. Background Unintentional Intentional Scenario Solution Thank you!
Therac-25
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 9/20

22. Background Unintentional Intentional Scenario Solution Thank you!
But.. But.. it never happened
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 10/20

23. Background Unintentional Intentional Scenario Solution Thank you!
But.. But.. it never happened
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 11/20

24. Background Unintentional Intentional Scenario Solution Thank you!
But.. But.. it never happened
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 12/20

25. Background Unintentional Intentional Scenario Solution Thank you!
Karen Sandler
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 13/20

26. Background Unintentional Intentional Scenario Solution Thank you!
Karen Sandler
Lawyer at Software Freedom Law Center
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 13/20

27. Background Unintentional Intentional Scenario Solution Thank you!
Karen Sandler
Lawyer at Software Freedom Law Center
Executive Director at GNOME Foundation
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 13/20

28. Background Unintentional Intentional Scenario Solution Thank you!
Karen Sandler
Lawyer at Software Freedom Law Center
Executive Director at GNOME Foundation
Cyborg running on proprietary software
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 13/20

29. Background Unintentional Intentional Scenario Solution Thank you!
Karen Sandler
Lawyer at Software Freedom Law Center
Executive Director at GNOME Foundation
Cyborg running on proprietary software
What did she find out?
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 13/20

30. Background Unintentional Intentional Scenario Solution Thank you!
Software running in the device
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 14/20

31. Background Unintentional Intentional Scenario Solution Thank you!
Software running in the device
Non-free Software
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 15/20

32. Background Unintentional Intentional Scenario Solution Thank you!
Security through obfuscation
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 16/20

33. Background Unintentional Intentional Scenario Solution Thank you!
Security through obfuscation
Hide how it’s done
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 16/20

34. Background Unintentional Intentional Scenario Solution Thank you!
Security through obfuscation
Hide how it’s done
Don’t worry, they won’t find out
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 16/20

35. Background Unintentional Intentional Scenario Solution Thank you!
Security through obfuscation
Hide how it’s done
Don’t worry, they won’t find out
Patent Encumbered
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 16/20

36. Background Unintentional Intentional Scenario Solution Thank you!
Dangers
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 17/20

37. Background Unintentional Intentional Scenario Solution Thank you!
Dangers
Unauthorized use of Programmer
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 17/20

38. Background Unintentional Intentional Scenario Solution Thank you!
Dangers
Unauthorized use of Programmer
Network analyzer
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 17/20

39. Background Unintentional Intentional Scenario Solution Thank you!
Dangers
Unauthorized use of Programmer
Network analyzer
Depleting battery
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 17/20

40. Background Unintentional Intentional Scenario Solution Thank you!
Dangers
Unauthorized use of Programmer
Network analyzer
Depleting battery
Fatal commands
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 17/20

41. Background Unintentional Intentional Scenario Solution Thank you!
Surprise! You can’t sue us :-)
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 18/20

42. Background Unintentional Intentional Scenario Solution Thank you!
How can Free Software change that?
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 19/20

43. Background Unintentional Intentional Scenario Solution Thank you!
How can Free Software change that?
Not only make it better, but offer freedom
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 19/20

44. Background Unintentional Intentional Scenario Solution Thank you!
How can Free Software change that?
Not only make it better, but offer freedom
The more eyes, the less bugs
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 19/20

45. Background Unintentional Intentional Scenario Solution Thank you!
How can Free Software change that?
Not only make it better, but offer freedom
The more eyes, the less bugs
Makes sure it does what it says it does
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 19/20

46. Background Unintentional Intentional Scenario Solution Thank you!
How can Free Software change that?
Not only make it better, but offer freedom
The more eyes, the less bugs
Makes sure it does what it says it does
Change it according to your needs
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 19/20

47. Background Unintentional Intentional Scenario Solution Thank you!
How can Free Software change that?
Not only make it better, but offer freedom
The more eyes, the less bugs
Makes sure it does what it says it does
Change it according to your needs
Audit your device’s code. Or pay someone to do it!
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 19/20

48. Background Unintentional Intentional Scenario Solution Thank you!
Thank you for your attention
Questions?
Except where otherwise specified, the content of this
presentation may be used under the terms of the license
Creative Commons Attribution 3.0
Marcel Ribeiro Dantas Dispositivos Biom´edicos N˜ao-Livres 20/20