This site uses only proprietary and third party technical cookies. By continuing to browse the site you are agreeing to our use of cookies. I agree I want to find out more
Browse the Department site:
Browse the Teaching site:
Attenzione: questa notizia era valida fino al 12/02/2019. Attualmente è archiviata, quindi il suo contenuto potrebbe non essere più valido

News Details

Bran Selic seminar

This week, from 4th to 8th of February, Bran Selic will be a guest of our department.
He is a pioneer in the field of Model-Driven Engineering and the
responsible of the UML 2 project.
Bran will collaborate with our research group on the ERMES (Envisioning Railway systems through Model-driven Engineering techniqueS) project, that has been funded by Rete Ferroviaria Italiana.

On this occasion he will hold the following seminar, that we suggest not to
miss, as it is a truly uncommon occasion.


Facing Uncertainty in Complex Cyber-Physical System Design.
Thursday, February 7th, 10.00 AM, Meeting Room, Alan Turing Building

Following an abstact of the talk and a brief bio of the speaker.

****************************************

Facing Uncertainty in Complex CPS Design 
Bran Selic, Malina Software Corp. (Canada), Simula Research Laboratory (Norway), Monash University (Australia) 
ABSTRACT 
The unprecedented complexity of many modern-day cyber-physical systems (CPS) requires changes in how we design and develop such systems. Traditional methods were typically based on the assumption that a capable and responsible design team will identifyall potential uncertainties in a proposed design and, through careful and systematic analysis, reduce or even eliminate the consequent risk prior to committing to a given design alternative. However, experience has amply demonstrated that, once a system exceeds a certain threshold of complexity, it is unrealistic to expect that even the best and most experienced design team can anticipate and accurately uncover all possible sources of uncertainty and accurately assess their consequences. For instance, due to their sheer number and complexity, it is very difficult to predict potential interference between independently defined system functions (this is sometimes referred to as thefeature interaction problem). Consequently, given that we cannot hope to fully eliminate uncertainty in such systems, we must learn how to incorporate and deal with it in the design process. 
To that end, it is first necessary to develop a proper understanding of uncertainty: what it is, how it is manifested, and how it can be represented. In this talk, we describe one conceptual model of uncertainty, theUTaxonomy, which was developed as part of the European H2020 “UTest” project. Although this project is focused on the problem of testing CPS in the presence of uncertainty, the conceptual model was designed to be general and is likely to be useful in other uncertainty-related research. To illustrate how such a model can be applied in practice, we briefly explain how it is being used to identify and describe uncertainties when specifying requirements. 

Speaker Bio 
Bran Selic is President of Malina Software Corp., a Canadian company that provides consulting services to corporate clients and government institutions worldwide. He is also Director of Advanced Technology at Zeligsoft Limited in Canada, and a Visiting Scientist at Simula Research Laboratories in Norway. In 2007, Bran retired from IBM Canada, where he was an IBM Distinguished Engineer responsible for setting the strategic direction for software development tools. Currently, he is also an adjunct professor at Monash University and the University of Sydney in Australia. With over 40 years of practical experience in designing and implementing large-scale industrial software systems, Bran has pioneered the application of model-based engineering methods and has led the definition of several international standards in that domain, including the widely used Unified Modeling Language (UML). In 2016, he was presented with a lifetime Career Award by the steering committee of the IEEE/ACM MoDELS conference in recognition of his contributions to model-driven technologies and practice.