@odinthenerd. not the god. Auto-Intern GmbH 1

Size: px

Start display at page:

Download "@odinthenerd. not the god. Auto-Intern GmbH 1"

Letitia Little
5 years ago
Views:

1 @odinthenerd not the god Auto-Intern GmbH 1

2 A possible future of embedded development Auto-Intern GmbH 2

3 Sean Parent Auto-Intern GmbH 3

4 Everything is Crap! A possible future of embedded development Auto-Intern GmbH 4

5 Are you a hard real-time system? Auto-Intern GmbH 5

6 Are you a hard real-time system? Are you master of everything? Auto-Intern GmbH 6

7 Are you a hard real-time system? Are you master of everything? Do you assume endless RAM? Auto-Intern GmbH 7

8 Realtime systems Auto-Intern GmbH 8

9 Realtime systems Auto-Intern GmbH 9

10 Realtime systems Auto-Intern GmbH 10

11 Functional Correctness 11

12 Unit Tests Functional Correctness 12

13 Functional Correctness Unit Tests Localtity of Reasoning 13

14 Functional Correctness Unit Tests Localtity of Reasoning auto diego = std::make_unique<radioactive_frog>(charge::max_plad); 14

15 Functional Correctness Unit Tests Localtity of Reasoning { } auto diego = std::make_unique<radioactive_frog>(charge::max_plad); 15

16 Functional Correctness Unit Tests Localtity of Reasoning { } auto diego = std::make_unique<radioactive_frog>(charge::max_plad); // lots of terrible things 16

17 Functional Correctness Unit Tests Localtity of Reasoning { } auto diego = std::make_unique<radioactive_frog>(charge::max_plad); // lots of (moderately) terrible things 17

18 Functional Correctness Unit Tests Localtity of Reasoning Formal Proof 18

19 Unit Tests Functional Correctness Formal Proof Localtity of Reasoning 19

20 Space Unit Tests Functional Correctness Localtity of Reasoning Formal Proof 20

21 Space Unit Tests Functional Correctness Localtity of Reasoning Formal Proof Out of Memory? 21

22 Space Unit Tests Functional Correctness Localtity of Reasoning Formal Proof Out of Memory? Buffer overflow? 22

23 Space Unit Tests Functional Correctness Localtity of Reasoning Formal Proof Out of Memory? Buffer overflow? Stack Overflow 23

24 Unit Tests Functional Correctness Formal Proof Localtity of Reasoning Space Out of Memory? Stack Overflow Buffer overflow? 24

25 Time Unit Tests Functional Correctness Localtity of Reasoning Formal Proof Space Out of Memory? Stack Overflow Buffer overflow? 25

26 Time Unit Tests Functional Correctness Localtity of Reasoning Latentcy Formal Proof Space Out of Memory? Stack Overflow Buffer overflow? 26

27 Time Unit Tests Functional Correctness Localtity of Reasoning Latentcy Jitter Formal Proof Space Out of Memory? Stack Overflow Buffer overflow? 27

28 Time Unit Tests Functional Correctness Localtity of Reasoning Latentcy Jitter Formal Proof Dead Time Space Out of Memory? Stack Overflow Buffer overflow? 28

29 Time Unit Tests Functional Correctness Localtity of Reasoning Latentcy Jitter Formal Proof Dead Time Turn Around Space Out of Memory? Stack Overflow Buffer overflow? 29

30 Time Unit Tests Functional Correctness Localtity of Reasoning Latentcy Jitter Formal Proof Dead Time Turn Around Space Optimizer Out of Memory? Stack Overflow Buffer overflow? 30

31 Time Unit Tests Functional Correctness Localtity of Reasoning Latentcy Jitter Formal Proof Dead Time Turn Around Space Optimizer Caching Out of Memory? Stack Overflow Buffer overflow? 31

32 Auto-Intern GmbH 32

33 Race conditions void some_isr(){ global_thing++; } int main(){ --global_thing; return 0; } Auto-Intern GmbH 33

34 Race conditions auto w = global_thing; --w; global_thing = w; Auto-Intern GmbH 34

35 Race conditions auto w = global_thing; void some_isr(){ global_thing++; } --w; global_thing = w; Auto-Intern GmbH 35

36 Atomics to the rescue? std::atomic<int> global_thing; void some_isr(){ global_thing++; } int main(){ --global_thing; return 0; } Auto-Intern GmbH 36

37 Atomics to the rescue? std::atomic<int> global_thing; void some_isr(){ global_thing++; } int main(){ --global_thing; return 0; } sorry, unimplemented: Thumb-1 hard-float VFP ABI Auto-Intern GmbH 37

38 Emil Fresk Auto-Intern GmbH 38

39 What abstractions can I use? Auto-Intern GmbH 39

40 What abstractions can I use? Auto-Intern GmbH 40

41 Register abstraction DSL struct my_thing{ static constexpr auto init = list( set(thing_hw::super_bit), clear(thing_hw::naughty_bit), unsafe_write(42_c,thing_hw::danger_zone)); }; Auto-Intern GmbH 41

42 Chiel Douwes Auto-Intern GmbH 42

43 What does the standard library provide? <initializer_list> <cstddef> <cstdarg> <type_traits> <cstdint> <climits> <atomic> <new> <limits> <typeinfo> <exception> <cfloat> <cstdlib> (program startup and termination) <ciso646> <cstdalign> <cstdbool> 43

44 How to target 10,000 platforms Auto-Intern GmbH 44

45 How to target 10,000 platforms use an internal code generator Auto-Intern GmbH 45

46 How to target 10,000 platforms use an internal code generator use a declarative paradigm Auto-Intern GmbH 46

47 drivers auto myuart = make_uart( interface<blocking_tx>, uart1, 9600_baud, rx = 0.9_pin, tx = 0.10_pin ); myuart.blocking_send("hello world"); Auto-Intern GmbH 47

48 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Auto-Intern GmbH 48

49 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan SVD Auto-Intern GmbH 49

50 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan SVD Python translator Auto-Intern GmbH 50

51 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Extend SVD Python translator Auto-Intern GmbH 51

52 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Extend SVD Python translator conan Auto-Intern GmbH 52

53 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Extend Python SVD conan TMP translator Auto-Intern GmbH 53

54 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Extend Python SVD conan TMP User translator Auto-Intern GmbH 54

55 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Extend Python SVD conan TMP User Translator Auto-Intern GmbH 55

56 drivers auto myuart = make_uart( interface<blocking_tx>, uart1, 9600_baud, rx = 0.9_pin, tx = 0.10_pin ); myuart.blocking_send("hello world"); Auto-Intern GmbH 56

57 How to target 10,000 platforms use an internal code generator use a declarative paradigm use Conan Extend Python SVD conan TMP User Translator Auto-Intern GmbH 57

58 Event based paradigm Sleeping is trivial Auto-Intern GmbH 58

59 Event based paradigm Sleeping is trivial High priority latency tool enforceable Auto-Intern GmbH 59

60 Event based paradigm Sleeping is trivial High priority latency tool enforceable Stack depth low and enforceable Auto-Intern GmbH 60

61 Event based paradigm Sleeping is trivial High priority latency tool enforceable Stack depth low and enforceable Traditionally event handlers = hard Auto-Intern GmbH 61

62 Event based paradigm Sleeping is trivial High priority latency tool enforceable Stack depth low and enforceable Traditionally event handlers = hard Coroutines = awesome Auto-Intern GmbH 62

63 Event based paradigm Sleeping is trivial High priority latency tool enforceable Stack depth low and enforceable Traditionally event handlers = hard Coroutines = awesome We may be able to fix exceptions Auto-Intern GmbH 63

64 The world will be awesome, just different Auto-Intern GmbH 64

65 @odinthenerd Github.com Twitter.com Gmail.com Blogspot.com LinkedIn.com Embo.io Auto-Intern GmbH 65

@odinthenerd. not the god. Auto-Intern GmbH 1

@odinthenerd. not the god. Auto-Intern GmbH 1 @odinthenerd not the god Auto-Intern GmbH 1 Auto-Intern GmbH 2 You are awesome! I m not impressed Auto-Intern GmbH 3 You are awesome! I m not impressed Auto-Intern GmbH 4 You are awesome! I m not impressed