INTRODUCTION TO SECURITY IN THE SOFTWARE DEVELOPMENT LIFECYCLE

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 purpose of the course “Artificial Intelligence for Managers” is to give managers and decision makers a principle understanding of AI and to increase their understanding of opportunities, difficulties, benefits, and risks connected to AI. It is neither an “Introduction to AI” nor an “AI for dummies” course. Instead, it is set to demystify AI and to transform it into an actionable tool for manages and decision makers. Target groupThis course is for product managers, project managers, executives, and engineering managers in organizations that have already made, or are about to make, the transition to working with AI. ContentThe course is organized in three modules. The initial module will focus an introduction to AI, giving an understanding of what type of cases can be addressed with AI and what managers need to know about AI technology. Module two will cover tools and concrete on how to set up an AI strategy and roadmap, how to get started on AI projects, how to integrate AI and IT development, how to (self) evaluate AI in use, and, not to forget, the ethical and legal aspects of AI. The third module will give the participants the chance to use their new knowledge and tools and work with their own practical cases and how they could be addressed using AI. The goal of the course is to empower the participants to:  Describe the principal concept of AI, its strengths, and shortcomings Understand opportunities, myths, and pitfalls of AI Identify problem areas in industry, society, and in management where AI could be utilized Analyze how AI can be applied in a particular problem area Manage an AI strategy and get started: implement a strategy and a roadmap to apply AI in a particular problem area Understand how to integrate AI with IT development Assess the maturity of AI utilization in an organization Reflect on applications of AI from an ethical and legal perspective as well as the future challenges (technical, organizational, social, etc.) Practical informationAll materials will be accessible and include reading material, lecturer slides etc. The lectures can either be attended live via Zoom or later using the recordings at a time that is convenient for the participants. There will be 3 onsite workshops with a focus on interaction with the teacher and the co-participants of sharing real-life experiences and insights. The course will be delivered in a flexible manner to facilitate the combination of course work with your ongoing professional commitments. The total effort to pass this course is typically around 200 hours. Teaching language: English Entry requirementsThe basic eligibility for this course is a bachelor’s degree. Candidates with corresponding work experience are also invited to apply. Two years of relevant work experience is considered equivalent to one year of university studies at bachelor level. The course is free 

In this course, you will be made aware of the state-of-the-art in cybersecurity research and state of practice in industry. Cybersecurity vulnerabilities are a threat to progress in the business sector and society. This is an accelerating threat due to the current rapid digitalisation, which in manufacturing is termed Industry 4.0. Companies are aware of this threat and realise the need to invest in countermeasures, but development is hampered by lack of competence.