COURSE DESCRIPTION
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.
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: Understand algorithmic test generation techniques and their use in developer testing and continuous integration. Understand how to automatically generate test cases with assertions. Have a working knowledge and experience in static and dynamic generation of tests. Have an overview knowledge in search-based testing and the use of machine learning for 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 rapid development of digital technologies and advances in communications have led to gigantic amounts of data with complex structures called ‘Big data’ being produced every day at exponential growth. The aim of this course is to give the student insights in fundamental concepts of machine learning with big data as well as recent research trends in the domain. The student will learn about problems and industrial challenges through domain-based case studies. Furthermore, the student will learn to use tools to develop systems using machine-learning algorithms in big data.
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.
Arbetar du med offentliga upphandlingar? Du kan spela en viktig roll i Sveriges strävan mot att bli mer hållbart och cirkulärt. I den här kursen får du lära dig mer om hur du genom upphandling kan bidra till att driva fram mer innovativa och hållbara lösningar. Om den här kursen Offentlig upphandling kan spela en viktig roll för att nå ett mer hållbart och cirkulärt samhälle. I Sverige motsvarar den idag snart 1 000 miljarder kr per år och rätt använd kan den, genom sin enorma omfattning, driva fram nydanande mer hållbara lösningar. Lösningar som har potential att skapa mer värde och minskade kostnader för offentligheten. För att lyckas krävs dock ny kunskap, t ex kopplat till teknik, ekonomi och juridik, om hur man på bästa sätt upphandlar dessa mer cirkulära och hållbara lösningar. Det här får du lära dig När du har gått kursen kommer du att ha lärt dig: olika koncept och strategier kopplat till cirkulär ekonomi vilka hinder och drivkrafter som finns för implementering av cirkulära strategier vid offentlig upphandling vilka rättsliga normer som möjliggör, begränsar eller förhindrar upphandling av cirkulära lösningar grundläggande principer för kravhantering och uppföljning Vem kan gå kursen? Alla som har ett intresse för upphandling av cirkulära lösningar. Kursen riktar sig främst till yrkesverksamma personer inom näringsliv och organisationer som arbetar med offentlig upphandling, eller personer som studerar upphandling. Kursen är öppen för alla och gratis. Det finns inga krav på förkunskaper eller särskild behörighet för att delta i kursen. Upplägg Kursen ges online och på distans, och du kan följa kursen i din egen takt. Kursmaterialet bygger på inspelade föreläsningar och läsanvisningar.