Model Management for Architecture-Centric Development of Cyber-Physical Systems
with Multi-Paradigm Modeling
Abstract
Multi-Paradigm Modeling (MPM) is an approach to tackle the complexity of Cyber-Physical Systems (CPS) by modeling every aspects of a system explicitly using the most appropriate formalism(s) at the most appropriate level(s) of abstraction. With this approach, several modeling paradigms and their supporting formalism must be jointly employed to cover the heterogeneity of domains of CPSs. Managing these models is therefore essential to ensure that their interplay and the activities performed on them do not lead to inconsistencies, which can be the source of costly errors introduced during concurrent engineering. Despite its importance, model management is not yet well addressed. In this presentation I will introduce multi-paradigm modeling, our current effort on providing a formal definition for it and our research on model management applied to the Architecture-Centric Virtual Integration development Process (ACVIP) centered on the SAE AADL architecture description language. I will focus on the challenges faced when applying model management techniques to industrial modeling settings and present our ongoing work to address these problems.
Short Biography
Dr Dominique Blouin obtained an MSc in physics from the University of British Columbia in Canada and a PhD in computer science from the University of South-Brittany in France. He worked in industry for several years before he joined the Lab-STICC at the University of South-Brittany in 2008. After a post doc in the system analysis and modeling group of the Hasso Plattner Institute in Germany, he joined Telecom Paris, Institut Polytechnique de Paris as a permanent research engineer in 2016. He was the vice-chair of working group 1 on foundations for Multi-Paradigm Modeling for Cyber-Physical Systems during the European COST action IC 1404. He has been a member of the SAE AADL standardization committee since 2010 where he proposed the RDAL language, which inspired the ALISA (Architecture-led Incremental System Assurance) framework. His research interests are multi-paradigm modeling, model management, domain-specific languages and requirements engineering applied to cyber-physical systems development.
