UP1PS, a descendant of the Sorbonne and the Faculty of Law and Economics of Paris, is one of the largest universities in France today. It features 14 research departments in information systems, economics, management, law, political science and humanities. It employs a 1100-strong faculty and 200 full-time researchers, and graduate around 400 new doctors a year.
CRI, a cohesive department with 3 full-professors, 7 associate professors and one research engineer has a long tradition of industry-driven research in applying artificial intelligence techniques, primarily constraint solving, machine learning and ontologies, to information systems engineering, with a special emphasis on goal-oriented engineering of requirements, business processes and context-aware, selfadaptive systems product lines. It has published more than 700 papers and 100 PhD theses.
UP1PS will mainly contribute its proof-of-concept open-source tool VariaMos.
VariaMos integrates services of variability modeling, meta-modeling, formal verification and interactive and automated configuration and design space exploration to engineer dynamic product lines of self-adaptive systems. It is based on model-driven engineering principles and relies on rulebased constraint programming to implement the automated reasoning underlying the performance of model verification, initial configuration and dynamic self re-configuration to autonomously adapt to run-time context change.
VariaMos comes with the built-in REFAS (Requirements Engineering Framework for self-Adaptive Systems) language that supports modeling: (a) functional and non-functional requirements as either hard goals to fully satisfy or soft goals to satisfice up to a given threshold, (b) reusable systems and software components whose assembly satifices those requirements and (c) the qualitative and quantitative relationships among requirements, between components and requirements and among components.
The concrete syntax, abstract syntax and operational semantics of the REFAS language as well as its corresponding user interface components can be extended with arbitrary constructs by using VariaMos’ multi-perspective meta-modeling facility. All elements of the REFAS or user-defined semantic metamodels are automatically translated into an equivalent rule-based constraint program. The execution of queries on this program can then perform either (a) requirements and component model property verification, (b) initial system configuration, (c) interactive design space exploration, (d) run-time incremental verification that the current system configuration still satisfices the requirement goals after each run-time context change with potentially threatens this satisficing or (e) run-time adaptive search to find the nearest point in the configuration space that re-establish this satisficing.
For the C4IIoT use cases VariaMos could be used to:
- model the functional, security and safety requirements.
- model the variability of the reusable components to be assembled together to satisfice these requirements.
- model the variability and dynamicity of the devices, networks and platforms that will together constitute the infra-structures on which the assembled IIoT application will be deployed.
- model the evolving run-time context of this infra-structure, including the social and human aspects of security risks.
- formally verify critical properties of those four models and their relationships.
- interactively explore the design space of solutions satisficing the IIoT application requirements in a given operational context.
In the C4IIoT project, UP1PS will set the scene of the project, leading WP1, and will be specifically responsible for T1.1 to define the C4IIoT roadmap for increasing awareness and promoting “security thinking” in the IIoT domain.