We provide EU funding and world-class technical support to engineering and technology businesses.

Find out more about who we are and what we do


Stay in Touch

EventBrite logo Twitter logo RSS logo Linked In  logo Email us

Join our mailing list

Join our mailing list to receive notification of CPSE Labs events and upcoming calls

Smart Anything Everywhere

Cyber-Physical Systems Engineering Labs is part of the Smart Anything Everywhere initiative.

This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 644400.

Designing for Digitisation: Short Training Course in Modelling and Design for Smart Systems

CPSE Labs event

Are you interested in learning new, cutting-edge tools and techniques used by computer scientists and engineers to design smart and digital systems?

In order to support businesses working on digitisation and smart systems, CPSE Labs is offering 2 days of free training in the form of mini-courses on tools and techniques for designing smart cyber-physical systems. Topics covered will include: hybrid system modelling, collaborative modelling techniques (co-modelling) for multiple design teams, composable architectures, software architecture evaluation, tool interoperability, integration testing, testing maritime systems, open-IoT solutions for energy efficiency, and developing applications for smart cities. A detailed curriculum can be found below. Come join us in Munich to see CPSE Labs technology that can help your business! Register now.

Who Should Attend?

  • System architects, software designers and engineers interested in digitisation & smart systems.
  • Students studying relevant subjects (e.g., product design, engineering, computer science) are also welcome.
  • All businesses/organisations are welcome, including SMEs and startups.
  • Businesses in many sectors will find the training relevant - including those in robotics, industrial automation & manufacturing, automotive, avionics, smart cities and smart buildings, smart maritime systems... and many more.

Why Should you Attend?

  • Access our expertise for free, to help you evaluate new techniques or technologies that could help your CPS business or improve your skills and knowledge.
  • Collaborate with potential new business partners in creating innovative new products.
  • Work with an internationally-leading research centre and platforms and technologies it offers.
  • Learn the latest thinking on best practice in CPS engineering, drawn from across regions, sectors and disciplines.

Curriculum

Topics are independent, so you can choose which sessions to join (we'll ask you to choose your sessions when registering). You can register for one or both days of the course.

Click on a topic for details:

Day 1: Modelling & Architectures

Introductory slides are available here.

  1. Heterogeneity in system modelling & co-simulation
  2. This lecture addresses the problem of heterogeneity in model-based development: heterogeneity between paradigms (discrete vs continuous behavior), heterogeneity between tools, heterogeneity between people (large development teams, relation OEM-supplier). The development of real systems requires targeting all these forms of heterogeneity. We will present the above problems and sketch various of the solutions which are currently under investigation both by academia and by industry. We will then dig a little bit more into details into the so-called Functional Mock-Up Interface (FMI) Standard, which provides a partial solution for the above problems, at least in the domain of simulation. We will review its features while also taking a closer look at its limitations.

    Speaker: Vincent Aravantinos. Vincent received his PhD from Grenoble University (France) in 2010 in theoretical computer science, more specifically in computational logic. He then worked one year at Vienna Technical University in the field of automated theorem proving, and two years in Concordia University (Canada), in interactive theorem proving and the use thereof for the formal verification of optical systems. At fortiss, he is now head of the "Model-based Systems Engineering" competence field and head of the "ESSEI" Labs targeting the development of software for aerospace. His research interests include the usage of model-based techniques to support engineers in their development tasks both at the tooling level (tool factories, interdisplinary use of techniques coming from computer science) and at the application level (requirements engineering, product lines, testing, plug and produce).

    Slides from this lecture are available here.

  3. Composable architectures, behaviours & non-functional properties
  4. The focus of this lecture is the modern automotive vehicles featuring ADAS (Advanced Driving Assistant Systems) and AD (Autonomous Driving). The inherent nature of the CPSs behind these formalisms (in terms of open configuration and interoperations of services given by heterogeneous uncorrelated agents) requires several radical engineering paradigm shifts. A significant difference in comparison to contemporary monolithic systems is related to how the development, operation and evolution of services and components go across the boundaries of traditional technological and managerial domains. From an industrial point of view, future automotive technology has to be based on general purpose services and components to an increasingly large extent for effective product evolution and innovation. Nevertheless, the adoption of separately developed and evolved solutions will not be a trivial task. Currently, while domain-specific frameworks like AUTOSAR and ISO26262 facilitate component-based system development, challenges remain in the areas of open operational conditions, qualified contract synthesis and conformity assessment, effective diagnostics and adaptions when issues like emergent behaviours, timing and failures are of concern. This course module provides an overview of related state-of-the-art technologies to cope with the above mentioned challenges, including the EAST-ADL model framework for formal requirements and system architecture description, the A-G contract theory for the compositionality and composability, and some related methods and architectural concepts for operation monitoring, diagnostics and anomaly treatment. Special attention will be paid to a novel method that emphasizes an integration of the requirements and system models, the service and component contracts, and the embedded software services for post-deployment verification and validation..

    Speaker: Dejiu Chen. Dejiu is with the Mechatronics Division, School of Industrial Technology and Management, KTH Royal Institute of Technology, Sweden. He received his PhD degree from KTH in 2004. His research interests are on systems and software architecture, model-based engineering, context-aware and self-adaptive systems for dependability and performance. Between 2006-2009, he worked as the chief architect for the development of a knowledge-model and a middleware technology for context-aware self-adaptive embedded systems. He has also been actively involved in the development of EAST-ADL - an AUTOSAR and ISO26262 compatible architecture description language. He was also a senior technical instructor for Enea Data AB, Sweden.

    Slides from this lecture are available here.

  5. Software architecture evaluation in the context of CPSE
  6. Most complex software systems are required to be modifiable and have good performance. They may also need to be secure, interoperable, portable, and reliable among other qualities. How do you know if a software architecture is deficient or at risk relative to its target system qualities? This lecture proposes the method ATAM as an answer. We will show how architecture evaluations expose, at early development stages, architectural risks that potentially inhibit the achievement of an organization's business goals. We will also show that architecture evaluation is a cost-effective way of mitigating the substantial risks associated with this highly important artifact. This is especially important in complex systems such as CPSs. Practically, we apply the ATAM on a concrete use case. We show how methodological tools drive the assessment process of a software architecture in the scope of CPSE and how to identify sensitivity points, trade-offs and risks from a software architecture given.

    Speaker: Agustin Yagüe. Agustin is an Associate Professor of the Department of Informatics Systems, Universidad Politecnica de Madrid. He received his PhD degree in Computer Science from UPM. His research interests include software processes, software processes improvement, project management, agile development approaches, system and software testing processes. He participated in several international and national research projects in Smart grids, agile methodologies and global software development. He is member of AENOR, the Spanish association for standardization. He is working in the technical committee about Information Technology AEN/CNT71. Subcommittee SC-07. He is enrolled as program committee on several International Conferences on Information Technology.

    Slides from this lecture are available here.

  7. Applications, Platforms & Tools:
    • Software architecture evaluation use case
    • Slides from this lecture are available here.

    • Into-CPS & Co-simulation experiments
    • We will describe the INTO-CPS technologies and their use for CPS engineering. Main topics are: co-simulation of heterogeneous models, requirements and traceability; analysis techniques: Design Space Exploration, Test Automation, Model Checking, Code Generation, Hardware-in-the-Loop, Industrial case studies / success stories, Live demo. In addition, we will demo two running co-simulation experiments featuring FMU generation from a new wave of distributed programmable controllers (PLCs), hardware-in-the-loop…

      Speaker: Ken Pierce. Ken Pierce is a Research Associate in the School of Computing Science at Newcastle University, UK. He is a member of the CPLab (Cyber-Physical Lab), which is part of the AMBER group (Advanced Model-Based Engineering and Reasoning). His research focuses on providing model-based engineering techniques that allow for the engineering of difficult problems, including concurrent and cyber-physical systems, primarily through formal methods, collaborative modelling and co-simulation. He is convener of the VDM Language Board, an international team that oversees the languages in the VDM (Vienna Development Method) family of formal methods.

      Slides from this lecture are available here and here.

  8. Q&A session
Day 2: Interoperability & Integration
  1. Tool Interoperability using Linked Data and OSLC
  2. This topic discusses an approach to deal with the interoperability of heterogeneous software tools. It introduces Linked Data, specifically through the OASIS Open Services for Lifecycle Collaboration (OSLC) standard. The tutorial explains the overall concepts, as well as the technical details that underlie this approach.

    Speaker: Frédéric Loiret. Frédéric is currently a senior researcher at KTH (Royal Institute of Technology, Stockholm). He received his Ph.D. degree in Computer Science in 2008, and his interests are focused on providing tailored tools and design methods in order to increase efficiency of software development processes for embedded systems engineering. In the past years, he shared his time between KTH and OFFIS (in Germany) on multiple European R&D projects focused on data and tool interoperability for such systems. He also recently co-founded the start-up Data Frame, providing consulting services and software solutions for data and development tool integration.

    Slides from this lecture are available here.

  3. Design process and traceability in the context of MAF & SPES
  4. The SPES Architecture Modelling Framework (AMF) has been developed in the context of application domains for transportation such as avionic, automotive and railway in order to enhance product quality all along the design process by introducing rigorous design methods and techniques. In the maritime domain, the Maritime Architecture Framework covers a much broader area for system design in that it considers whole integrated networks of systems, or systems of system (SoS), as well as various additional aspects such as regulatory and governance constraints.

    However, also with the maritime domain, design processes eventually come to system design considering individual ship and shore systems. Moreover, also for the broader view of SoS design, knowledge and expertise from system design is useful in various aspects. This course will give an overview on the MAF and the SPES-AMF, and suggests possible ways for integration of the latter into the former framework. In order to illustrate the benefits of such integration, the course shows punctually methods and techniques supporting the design process by means of a concrete case study from the automotive domain.

    Speaker: Ingo Stierand. Ingo is a senior researcher at the OFFIS e.V., which is an associated institute of the Carl von Ossietzky University in Oldenburg. He is working for the group Safety & Security Oriented Design Methods & Processes of the R&D transportation division. His research interest is on architecture design for safety-relevant and real-time systems. He was formerly employed at the University of Oldenburg working for the SFB-TR AVACS project, and was also involved in national and EU projects like SPEEDS, COMBEST, SPES and SPES-XT.

    Slides from this lecture are available here.

  5. Testing maritime systems
  6. Maritime research facilities and industries started the development of automated and autonomous maritime systems using cyber-physical systems. Unlike the automotive domain with ISO26262 for functional safety of electronic systems, the development of maritime systems does not follow a similar standard. Therefore, within this course, we refer to the V-Model lifecycle and we introduce methods to engineer and test maritime cyber-physical systems (mCPS) and align it with (upcoming) regulation and governance aspects of the maritime sector as well as with the maritime environment. Concretely, we describe how to use the Maritime Architecture Framework MAF as well as the testbed architecture (TesA) for mCPS.

    Speaker: Marius Brinkmann. Marius is a research assistant and PhD student at the Department of Computing Science of the University of Oldenburg. His research focus is on the validation and verification of maritime cyber-physical systems and interoperability between them. He is involved in the European research project Sea Traffic Management (STM) which aims to build a testbed in Northern Europe and Mediterranean Sea engaging 300 vessels, 10 ports and 3 shore centres.

    Slides from this lecture are available here.

  7. Applications, Platforms & Tools:
    • Open-IoT solutions to improve energy efficiency in buildings
    • Within this course, we will show the advantages of the use of an Open-IoT solution when confronting energy efficiency deployments in buildings and other infrastructures. Open-HW and Open-SW facilitate the real implementation and integration of solutions, reducing deployment times and minimizing costs. IP-based communications allow the integration among systems and functionalities upgrade. Increasing availability of IoT solutions provide detailed and reliable information, enabling the optimization of energy use. We will illustrate the topic with a real world IoT solution, describing its architecture and components, design and deployment issues, and energy reduction results.

      Speaker: Guillermo del Campo Jiménez. Guillermo achieved his MSc in Telecommunications in 2008 and his MSc in Communications Technologies and Systems in 2010. He is currently finishing his PhD in the Visible Light Communications field and working as researcher of the Energy Efficiency and Smart Environments Research Area and the Communications Group at CeDInt-UPM. He has participated in various R&D projects on Energy Efficiency and Smart Environments since 2009. His current research areas of interest deal with building energy consumption analysis, energy saving measures and user behavior and IoT networks. He has participated in national and international committees and associations such as AENOR AEN_CTN71_GT7_Sensor Networks, EnerTIC, IEEE IoT Forum, EIP SCC, Humble Lamppost or AIOTI-WG13.

      Slides from this lecture are available here.

    • Smart Cities
    • This is the right time to smart cities. Previously, services for citizens have been applied in isolation producing side effect like: duplicated data, infrastructures and human resources, over budget. Efficiency, security, integrated services, sustainability are some of the several benefits derived from smart cities. Three axis of the smart cities approach will be presented: governance, platform and vertical solutions. Within this lecture, we show the three axis that compose the smart city concept and present how Sofia2 could be used as an intelligent platform covering from data gathering to data analysis in real-time.

      Speaker: Agustin Yagüe. Agustin is an Associate Professor of the Department of Informatics Systems, Universidad Politecnica de Madrid. He received his PhD degree in Computer Science from UPM. His research interests include software processes, software processes improvement, project management, agile development approaches, system and software testing processes. He participated in several international and national research projects in Smart grids, agile methodologies and global software development. He is member of AENOR, the Spanish association for standardization. He is working in the technical committee about Information Technology AEN/CNT71. Subcommittee SC-07. He is enrolled as program committee on several International Conferences on Information Technology.

      Slides from this lecture are available here.

  8. Q&A session

Register now to sign up to sessions.

About the Organisers

CPSE Labs provides support and funding for innovative experiments carried out by engineering and technology businesses working in cyber-physical systems. A cyber-physical system (CPS) enables digitisation and smart systems, by linking the physical world (e.g., through sensors or actuators) with advanced software systems capable of analysis and processing. Our project specialises in designing these types of systems, with expertise in various smart application domains, including automotive, industrial automation and manufacturing, smart cities, smart buildings and urban sustainability, autonomous systems, and smart maritime systems.

Event Summary

Date: May 15th & 16th 2017
Location: fortiss, Munich

Attendance is free, but registration is necessary.