SECURE SOFTWARE ARCHITECTURE

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 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 course has the objective to provide proficiency in cybersecurity analysis and design in industrial settings, with a special focus on smart factories and Industry 4.0. To that aim, you will learn about advanced cybersecurity concepts, methodologies and tools. You will also be able to apply your knowledge to case-studies of industrial relevance.

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.

UMA TALKS CLIMATE CHANGE 2022 Climate Adaptation of the Built Environment DESIGNING CYCLES AT 64°   Interior Urban Landscapes and the Water-Energy Food Nexus Climate change demands a recalibration of our built environment to become more resilient. Designing Cycles at 64° takes a multi-scalar approach addressing individual building typologies and, exemplarily for climate adaptation of northern climate zones, the city of Umeå with its diverse urban fabric as a whole. The active involvement of all stakeholders in the planning and future use of buildings and open spaces becomes key. How to create spaces that contribute to community building and social interaction while integrating a maximum of ecosystemic services is therefore a central question that demands for implementable methods, tools, processes and design solutions. At 64° latitude, interior landscapes and the water-energy-food nexus offer interesting possibilities to extend growing seasons and diversify crops, to reduce energy consumption while providing hybrid living spaces between inside and outside. By exploring greenhouse extensions and building envelopes as local passive architectural solutions, DC64° sets out to build productive interfaces between the private and public sector, academia involving the disciplines of architecture and urban planning, urban water management, plant physiology and vertical gardening, as well as the general public in a living lab format. Retrofitting the existing building stock, repurposing vacancies and expanding our building performance may accumulatively have a systemic impact both in terms of reducing water and energy consumption, as well as food miles, while buffering existing infrastructure networks and enabling local food production on site. Expanding on Bengt Warne’s Naturhus (1974) and following examples, we anticipate new multifunctional architectural models applicable in various contexts and scales. FORMAT / The program includes an introductory lecture that addresses climate urgencies and potential capacity for change in the context of the built environment the week before the one-day symposium (hybrid format). The symposium brings together practitioners, researchers and educators and consists of five thematic sessions that can be attended as a full day or individually as they are interrelated, yet also function independently (See program link below). INTENDED LEARNING OUTCOMES / Understanding of multi-scalar climate-adapation design approaches within the built environment with a focus on the Nordic context / Reflect on aspects of social sustainability when it comes to transforming buildings and inhabitants from being consumers to becoming producers /   Umeå University School of Architecture   Presentations   Program Nov. 30.     For any questions content-related questions please email us cornelia.redeker@umu.se sara.thor@umu.se constanze.hirt@umu.se