AUTOMATED TEST GENERATION

This course deals with model-based testing, a class of technologies shown to be effective and efficient in assessing the quality and correctness of large software systems. Throughout the course the participants will learn how to design and use model-based testing tools, how to create realistic models and how to use these models to automate the testing process in their organisation.

The aim of this course is to provide participants with the principles behind model-driven development of software systems and the application of such a methodology in practice. Modelling is an effective solution to reduce problem complexity and, as a consequence, to enhance time-to-market and properties of the final product.

The purpose is to give the students an overview of issues and methods for development and assurance of safety-critical software, including details of selected technologies, methods and tools. The course includes four modules: Introduction to functional safety; knowledge that give increased understanding of the relationship between Embedded systems / safety-critical system / accidents / complexity / development models (development lifecycle models) / certification / “the safety case”. Analysis and modelling methods; review of analysis and modelling techniques for the development of safety-critical systems. Verification and validation of safety critical software, methods and activities to perform verification and validation. Architectures for safety critical systems. Safety as a design constraint.  

The aim of this course is to give students insight about certification and about what it means to certify/self-assess safety- critical systems with focus on software system and to create a safety case, including a multi-concern perspective when needed and reuse opportunities, when appropriate.

Explore the different tools and software to design, test, and prototype custom robot parts and robust robot behaviour. In recent years, industries around the world have been getting creative when it comes to incorporating robotics into their workflows. This three-week course offers a fascinating introduction to software and tools currently used in robotics. You’ll build basic knowledge of robotics tools and learn how they can be adapted for different industries. Familiarise yourself with Ubuntu operating system and Gazebo framework Gain hands-on experience using 3D robotics models in simulation Learn from the experts at the cutting edge of control engineering, robotics, and AI This course is designed for anyone interested in using robotic solutions in their role and who wants to learn the basics of robotics frameworks. The course will be given in English.

Opens in May 2025. The Swedish version of the course, namely ”Varför välja trä vid nästa byggprojekt?” is already open. For more iformation contact course coordinator dimitris.athanassiadis@slu.seCourse DescriptionDifferent types of biomaterials (e.g., wood) are crucial in the challenge of decarbonizing the built environment and reducing the carbon footprint of buildings and infrastructure by replacing materials like steel and cement, which have high carbon dioxide emissions. At the same time, we must not forget that it is important to preserve biodiversity and the social values of our forests. The 13 modules of the course cover many forestry related subjects, including harvesting methods, biodiversity, forest management, logistics, the role of forests in the climate transition, carbon storage, environmental benefits of multi-story buildings with wood, and more. The goal is that participants will gain a shared understanding of Swedish forestry so that they can make well-informed decisions about material choices for their next construction project. Course PeriodThe course will be active for 3 years. Content Forest history: The utilization of forests in Sweden throughout the past years Forestry methods and forest management Forest regeneration Wood properties Forest mensuration Forest tree breeding The forest's carbon balance Business models and market development: Focus on wood high rises Nature conservation and biodiversity in the forest Course StructureThe course is fully digital with pre-recorded lectures. You can participate in the course at your own pace. Modules conclude with quizzes where you can test how much you have learned. You will learn aboutUpon completion of the course, you will have learned more about various forest-related concepts, acquired knowledge of forest utilization in Sweden throughout the past years, increased your understanding of forest management and how different management methods affect biodiversity in the forest, and learned about the forestry cycle—from regeneration to final harvesting, etc. Who is this course for?This course is designed for professionals such as architects, municipal employees working with urban planning and construction, individuals in the construction and civil engineering sector, and those in other related fields. This is an introductory course and will contribute to upskilling of the entire construction sector, thereby increasing the industry's international competitiveness while also providing important prerequisites for the development of future sustainable, beautiful, and inclusive cities. Since the course is open to everyone, we hope that more groups, such as students, doctoral candidates, forest owners, and others with an interest in forestry, will take the course and engage with inspiring lectures where scientific knowledge primarily produced within SLU (Swedish University of Agricultural Sciences) is presented.