MBSE methodology to track and validate the interfaces of ANDES spectrograph for E-ELT (MODELS 2023 - Posters) - MODELS 2023

Sun 1 - Fri 6 October 2023 Västerås, Sweden

Who

Marcello Agostino Scalera, Zanutti Alessio, Marco Riva

Track

MODELS 2023 Posters

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Thu 5 Oct 2023 12:20 - 13:06 at Foajé Plan 2 - Poster Session

Marcello Agostino Scalera

Politecnico di Milano

Italy

Zanutti Alessio

Marco Riva

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

Thu 5 Oct
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

	10:00 - 17:00	Poster SessionPosters at Foajé Plan 2

	10:00 46m Poster		Model Based STPA for Assisted Driving Functions Posters Bastian Olberts , Yan Dittjen
	10:46 46m Poster		Obtaining insights into the interplay between systems and software engineering Posters Alexandr Vasenev TNO-ESI, Johan Lukkien , Laura van Veen , Pieter Goosen , Richard Doornbos , Arjan Mooij
	11:33 46m Poster		Enlightening Modeling the Aristotelian Way with Light-Code Posters Michel Zam
	12:20 46m Poster		MBSE methodology to track and validate the interfaces of ANDES spectrograph for E-ELT Posters Marcello Agostino Scalera Politecnico di Milano, Zanutti Alessio , Marco Riva
	13:06 46m Poster		Consistency in the View-Based Development of Cyber-Physical Systems (Convide) Posters Ralf Reussner KIT, Ina Schaefer TU Braunschweig, Bernhard Beckert Karlsruhe Institute of Technology, Anne Koziolek Karlsruhe Institute of Technology, Erik Burger
	13:53 46m Poster		A Model-driven Approach for Knowledge-based Engineering of Industrial Digital Twins Posters Sushant Vale , Sreedhar Reddy , Sivakumar Subramanian , Subhrojyoti Roy Chaudhuri , Sri Harsha Nistala , Anirudh Deodhar , Venkataramana Runkana
	14:40 46m Poster		DiNeROS: A Model-Driven Framework for Verifiable ROS Applications with Petri Nets Posters Sebastian Ebert Technische Universität Dresden, Johannes Mey Technische Universität Dresden, René Schöne Technische Universität Dresden, Sebastian Götz Technische Universität Dresden, Uwe Aßmann TU Dresden, Germany
	15:26 46m Poster		Model Sensemaking Strategies: Exploiting Meta-Model Patterns to Understand Large Models Posters Francisco Martínez-Lasaca Universidad Autónoma de Madrid, Pablo Díez , Esther Guerra Universidad Autónoma de Madrid, Juan de Lara Autonomous University of Madrid
	16:13 46m Poster		Towards Understanding and Analyzing Rationale in Commit Messages using a Knowledge Graph Approach Posters Mouna Dhaouadi University of Montreal, Bentley Oakes Université de Montréal, Michalis Famelis Université de Montréal