COURSE DESCRIPTION
This course provides an understanding of automating software testing using program analysis with the goal of intelligently and algorithmically creating tests. The course covers search-based test generation, combinatorial and random testing while highlighting the challenges associated with the use of automatic test generation.
You will learn:
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.
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.
The information and communication technology (ICT) sector is responsible for approx. 1.8-2.8% of the global greenhouse gas (GHG) emissions in 2020, and software is both part of the problems and the solutions. Traditional software engineering principles and techniques do not consider the climate, environment, and sustainability aspects in building and using software for any purpose. We, software engineers, developers, researchers, climate scientists, and various other related stakeholders, need to think about how we can reduce the carbon footprint due to building and using software-intensive systems. Green and sustainable software engineering is an emerging concept that can help reduce the carbon footprint related to software. In this introductory course, we will introduce the concept of green and sustainable software engineering and the engineering process to build green and sustainable software. Topics Sustainable and green computing Sustainable and green software engineering Process Energy efficient computing Sustainability issues in Scientific computing You will learnBy the end of the course, you will be able to: analyze the green and sustainability issues in traditional software engineering, identify and incorporate key elements to be included in the software engineering process to make the software green and sustainable, and use techniques to make your software code energy efficient. Who is the course for?This course is designed for those who are software developers, managers and software related policy makers, or have knowledge about software development, and want to consider the green and sustainability aspects in their everyday life. Also, this course will be useful for computational scientists who build green software and want to know more about these aspects in software engineering. However, this is an introductory course, and it will show a path for life-long learning to build more in-depth knowledge in each concept introduced in this course.
This course has an English version. Look for course with title "Why choose wood for the next high rise building?" KursbeskrivningOlika typer av biomaterial (t.ex. trä) är mycket viktiga i utmaningen att avkarbonisera byggmiljön och minska koldioxidavtrycket för byggnader och infrastruktur genom att ersätta material som stål och cement som har höga koldioxidutsläpp. Samtidigt får vi inte glömma bort att biologisk mångfald, natur och sociala värden i våra skogar är viktigt att behålla samtidigt som skogsbruk bedrivs. I kursens 13 moduler tas skogsbrukets kretslopp upp inklusive avverkningsmetoder, biologisk mångfald, skogsskötsel, logistik, skogens roll i klimatomställningen, kolinlagring, miljöfördelar med att bygga flervåningshus i trä mm. Syftet är att ni som deltar i kursen ska få en gemensam förståelse av det svenska skogsbruket för att ni sen ska kunna fatta välgrundade beslut om materialval vid nästa byggprojekt. KursperiodKursen kommer att vara aktiv under 3 år. InnehållSkogshistoria: Skogens nyttjande i Sverige genom historienSkogsbruksmetoder och skogsskötselSkogsföryngringVirkets egenskaperMätning av skog och virkeSkogsträdsförädling: nutid och framtidSkogens kolbalans och klimatetAffärsmodeller och marknadsutveckling: Fokus flervåningshus med trästommarNaturvård och biologisk mångfald i skogen Kursens uppläggKursen är helt digital med förinspelade föreläsningar. Du kan delta i kursen i din egen takt. Modulerna avslutas med quiz där du kan testa hur mycket du har lärt dig. Du kommer få kunskap omEfter avslutad kurs kommer du att ha lärt dig mer om olika skogliga begrepp, förvärvat kunskap om skogens nyttjande i Sverige genom historien, ökat dina kunskaper om skogsskötsel och hur olika skogsskötselmetoder påverkar den biologiska mångfalden i skogen, lärt dig om skogsbrukets kretslopp – från föryngring till slutavverkning mm. Vem vänder sig kursen till?Den här kursen är tänkt för dig som är yrkesverksam arkiktekt, anställd på kommun som arbetar med stadsplanering och byggande, verksam i bygg- och anläggningsbranschen samt verksam i andra relaterade yrken. Detta är en introduktionskurs och kommer att bidra till en kompetenshöjning i hela byggsektorns ekosystem vilket ökar branschens internationella konkurrenskraft, samtidigt som det ger viktiga förutsättningar för utvecklingen av framtidens hållbara, vackra och inkluderande städer. Eftersom kursen är öppen för alla hoppas vi att fler grupper, exempelvis studenter, doktorander, skogsägare och andra med skogsintresse tar kursen, tar del av inspirerande föreläsningar där vetenskaplig kunskap som producerats huvudsakligen inom SLU presenteras.För mer information kontakta kurskoordinator dimitris.athanassiadis@slu.se