PRIMORIS      Contacts      FAQs      INSTICC Portal
 

Keynote Lectures

Modeling for Robotic Co-Working
Uwe Assmann, TU-Dresden, Germany

Domain-Specific Modelling Languages: Challenges and Opportunities
Juan de Lara, Universidad Autónoma de Madrid, Spain

The Use of Model-driven Engineering for Crisis Management
Frédérick Benaben, Ecole de Mines Albi-Carmaux (EMAC), France

 

Modeling for Robotic Co-Working

Uwe Assmann
TU-Dresden
Germany
 

Brief Bio
Uwe Aßmann holds the Chair of Software Engineering at the Technische Universität Dresden.  He has obtained a PhD in compiler optimization and a habilitation on "Invasive Software Composition" (ISC), a composition technology for code fragments enabling flexible software reuse.  ISC unifies generic, connector-,view-, and aspect-based programming for arbitrary program or modeling languages. The technology is demonstrated by the Reuseware environment, a meta-environment for the generation of software tools (http://www.reuseware.org), as well as the SkAT meta-environment based on Reference Attribute Grammars (https://bitbucket.org/svenkarol/skat/wiki/Home).

Currently, much of his research is embedded in the research centre "Center for Advancing Electronics Dresden (cfAED)", in which he takes part in several subprojects: orchestration of many cores (Orchestration Path), code generation for silicon-nanowire structures (Silicon Nanowire Path), and energy-adaptive software architectures (Highly-Adaptive Energy-Efficient Computing, HAEC).  In the Orchestration Path, Aßmann's group works on novel code generation techniques for many-core architectures and modern hardware structures.  For Silicon Nanowires, novel hardware synthesis tools are investigated.  In HAEC, Aßmann and his assistants apply ISC to energy autotuning (EAT), a technique to dynamically recompose code adapted to the required quality of service, the context of the system, and the hardware platforms.

Uwe Aßmann is also member of the 5G Lab Germany  (www.5glab.de) and the ResUbic Lab on software for cyber-physical systems and the internet of things (http://www.resubic.org).  In both labs, he works on software  engineering techniques for cyber-physical systems and cloud-based robots, which present interesting challenges for context-sensitive and resource-efficient programming.


Abstract
Robotic co-working is a new trend for integrating sensitive robots into assembly lines and manufactures. Sensitive robots recognize human beings in their neighborhood and stop when being touched. They can easily be taught new actions and quickly be re-targeted to new complex manufacturing tasks.
Therefore, they could enable human-robot collaboration in small and medium enterprises.
However, how to develop safe software for these new robotic colleagues?
 
This talk presents a new architectural pattern called World-Oriented Modeling (WOM), which splits a human-robotic co-working application into a world model and a software variant family.
WOM extracts the ubiquituous checks on contexts of the robot from the applications to the world model, thereby supporting the separation of concerns.
WOM extends dynamic software product lines to robotic co-working, but replaces the usual feature model by a runtime state-based model.
If the world model is a formal model, safety predicates can easily be verified for robotic co-working applications, as it is the case for hybrid automata.
Since the world model needs to be managed at runtime, WOM is an Models@Runtime approach, i.e., leads to a specific adaptive systems design.
However, WOM opens a huge design space for many more modeling techniques and formal methods, which should be explored in the next years. Have fun!



 

 

Domain-Specific Modelling Languages: Challenges and Opportunities

Juan de Lara
Universidad Autónoma de Madrid
Spain
 

Brief Bio
Juan de Lara is associate professor at the computer science department of the Universidad Autónoma in Madrid, where he leads the modelling and software engineering research group (http://www.miso.es). He holds a PhD in computer science since 2000, and his current research interests lie in Model-Driven Engineering, in aspects like meta-modelling, multi-level modelling (realized in the MetaDepth tool), domain-specific languages and the analysis of model transformations. He has spent research periods at McGill University (where he developed the AToM3 tool within the MSDL lab), TU Berlin, Sapienza University of Rome and the University of York. He is the co-author of more than 50 journal publications, and more than 130 contributions to conferences and workshops. He is or has been PC co-chair for ICGT'17, ICMT’12 and FASE’12 and he is in the editorial board of the SoSyM journal (Springer).


Abstract
Model-Driven Engineering (MDE) is based on the active use of models to automate different aspects of software development. In MDE, models are frequently constructed using Domain-Specific Modelling Languages (DSMLs), especially tailored to a domain. Therefore, a recurring activity in MDE is the development of DSMLs and their modelling environments. There are differenct challenges arising in the construction of DSMLs, like the promotion of an active involvement of domain experts, proper means to test the DSML, and the availability of a requirements represenation notation. Moreover, challenges also arise when using a DSML, regarding their scalability, flexibility of use, and rigidity of the deployment platform. In this talk, I will describe these challenges, and propose several strategies to overcome them. In particular, I will explain different approaches for DSML construction (top-down and bottom-up), and describe the opportunities derived from the use of DSMLs in mobility and using context.



 

 

The Use of Model-driven Engineering for Crisis Management

Frédérick Benaben
Ecole de Mines Albi-Carmaux (EMAC)
France
 

Brief Bio
42 years old, married, Three Children.

Professor at Ecole des Mines d'Albi-Carmaux (Toulouse University - Mines Telecom Institute), France.

M. Engineering (1998), M. Sc. (1998), PhD in Computer Sciences (2001), Qualification as Assistant-Professor (2003), Habilitation as Research Director (2012), Qualification as Professor (2013).

Head of the IO research team (Interoperability of Organizations – 20 persons), lecturer and researcher in the fields of Collaborative Networks and Information System Interoperability. Research activities concern:
- Covering abstraction layers of knowledge management: data (gathering from data sources), information (interpretation for automated or assisted modeling) and knowledge (exploitation for the management of the collaborative situations).
- Covering the life cycle of collaborations: define (design the model of the collaborative behavior), realize (orchestrate the collective workflows) and maintain (detect any unexpected situation and adapt the collaborative behavior accordingly).
The used approaches directly inherit from model-driven engineering. A generic model of collaborative situations (of all kinds) and exploitation mechanisms (model transformation) have been defined and are the roots of a lot of inheriting domain generic models and exploitation mechanisms. The main application domains of these research works are: preparation and response phases of crisis management, agility of the supply-chain for industry 4.0, interoperability of information systems, inter-modality in transportation for smart-city, and health care systems.

The IO-suite of open source software has been implemented to support and illustrate the obtained research results: IO-DA (Design Assistant), IO-WA (Workflow Assistant), IO-TA (Tracking Assistant) and IO-GA (Governance Assistant).

The used concepts and tools are model-driven engineering, data science, business process management, web-services and cloud architecture.

During the last 10 years, he published 12 articles in International Journals (Web Of Science indexed) and more than 100 conference articles. He has supervised or directed 17 PhD, 10 M. Sc. and 9 post-doctoral positions. He has been involved in 12 collaborative (European/French) funded projects (3 as coordinator), and he has been invited for 9 keynote speeches.


Abstract
Among collaborative situations, the ones dedicated to the management of security and crisis scenarios (terrorist attacks, industrial or natural disasters) are the most critical ones (the actual stakes are human lives), the most demanding in terms of agility (they are really unstable environments) and interoperability (responders are culturally and technologically very heterogeneous). This talk presents results on the domain of Information Systems and Information Technologies for Crisis Management. The presented research works aims at defining a design approach of Mediation Information System dedicated to support the collaboration of stakeholders and decision makers in crisis management context. This approach is based on both Business Process Management and Model-Driven Engineering. There are two main dimensions to this approach:
The first one is dedicated to collect, interpret and exploit data incoming from heterogeneous data sources (through the use of situation models). The second one is dedicated to deal with the life cycle of the collaborative situation (through the management of collaborative business process models). There is also a technology perspective that will be presented (based on service-oriented and event-driven architectures).
Finally, this talk will mainly be about hamburgers, music, blood, babies, sharks and barrel organ…



footer