Operating Systems ⊡ Threads ⊡ Layer Separation ⊡ Network Problems ⊡ External Interfaces ⊡ Simulators ⊡ Logs ⊡ Monitoring⊡ Operating Systems ⊡ Threads ⊡ Layer Separation ⊡ Network Problems ⊡ External for complex systems with soft real-time requirements⊡ Operating Systems ⊡ Threads ⊡ Layer Separation ⊡ Network Problems ⊡ External Interfaces ⊡ Simulators ⊡ Logs ⊡ MonitoringMine⊡ Collects meter Threads ⊡ Layer Separation ⊡ Network Problems ⊡ External Interfaces ⊡ Simulators ⊡ Logs ⊡ MonitoringEmbedded Software Separate the logic layer from the hardware layerSeparate the logic layer from the

The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic • Separation Logic Background ERC Project "RustBelt" 2015-2021 Unlike C/C++, Rust is a safe language But Languages and Systems, ETH Zürich RustBelt Project Background Iris: A Higher-Order Concurrent Separation Logic Framework RustBelt: Securing the Foundations of the Rust Programming Language Coq Proof coercion move mutable reborrow reborrow () drop new exclusive shared owns borrows Hoare Logic Logics C Precondition Postcondition Program Given the precondition “P”, if we execute the program

non-invasive. The goal is to divide the code into expert code (SIMD) and average coder / business logic. Let’s try that… Matthias Kretz CppCon ’23 24 GSI Helmholtz Center for Heavy Ion ResearchMotivation non-invasive. The goal is to divide the code into expert code (SIMD) and average coder / business logic. Let’s try that… Matthias Kretz CppCon ’23 24 GSI Helmholtz Center for Heavy Ion ResearchMotivation non-invasive. The goal is to divide the code into expert code (SIMD) and average coder / business logic. Let’s try that… b0 g0 r0 a0 Matthias Kretz CppCon ’23 24 GSI Helmholtz Center for Heavy Ion ResearchMotivation

configuration metadata with BeanFactoryPostProcessors ............... 75 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 78 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. The Context package build on the solid base provided by the Core package: it provides a way to access

configuration metadata with BeanFactoryPostProcessors ............... 75 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 78 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. The Context package build on the solid base provided by the Core package: it provides a way to access

configuration metadata with BeanFactoryPostProcessors ............... 74 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 77 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. The Context package build on the solid base provided by the Core package: it provides a way to access

configuration metadata with BeanFactoryPostProcessors ............... 75 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 78 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. The Context package build on the solid base provided by the Core package: it provides a way to access

configuration metadata with BeanFactoryPostProcessors ............... 75 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 78 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. The Context package build on the solid base provided by the Core package: it provides a way to access

configuration metadata with BeanFactoryPostProcessors ............... 75 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 78 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. The Context package build on the solid base provided by the Core package: it provides a way to access

configuration metadata with BeanFactoryPostProcessors ............... 73 3.7.3. Customizing instantiation logic using FactoryBeans ............................................ 75 3.8. The ApplicationContext .. still supporting the possibility of using declarative transaction management, remote access to your logic using RMI or web services, and various options for persisting your data to a database. Spring provides allows you to decouple the configuration and specification of dependencies from your actual program logic. On top of the Core package sits the Context package, which provides a way to access objects in a