A formal ontology for industrial maintenance

International audienceThe rapid advancement of information and communication technologies has resulted in a variety of maintenance support systems and tools covering all sub-domains of maintenance. Most of these systems are based on different models that are sometimes redundant or incoherent and always heterogeneous. This problem has lead to the development of maintenance platforms integrating all of these support systems. The main problem confronted by these integration platforms is to provide semantic interoperability between different applications within the same environment. In this aim, we have developed an ontology for the field of industrial maintenance, adopting the METHONTOLOGY approach to manage the life cycle development of this ontology, that we have called IMAMO (Industrial MAintenance Management Ontology). This ontology can be used not only to ensure semantic interoperability but also to generate new knowledge that supports decision making in the maintenance process. This paper provides and discusses some tests so as to evaluate the ontology and to show how it can ensure semantic interoperability and generate new knowledge within the platform

Enabling system artefact exchange and selection through a linked data layer

The use of different techniques and tools is a common practice to cover all stages in the systems development lifecycle, generating a very good number of system artefacts. Moreover, these artefacts are commonly encoded in different formats and can only be accessed, in most cases, through proprietary and non-standard protocols. This scenario can be considered a real nightmare for software or systems reuse. Possible solutions imply the creation of a real collaborative development environment where tools can exchange and share data, information and knowledge. In this context, the OSLC (Open Services for Lifecycle Collaboration) initiative pursues the creation of public specifications (data shapes) to exchange any artefact generated during the development lifecycle, by applying the principles of the Linked Data initiative. In this paper, the authors present a solution to provide a real multi-format system artefact reuse by means of an OSLC-based specification to share and exchange any artefact under the principles of the Linked Data initiative. Finally, two experiments are conducted to demonstrate the advantages of enabling an input/output interface based on an OSLC implementation on top of an existing commercial tool (the Knowledge Manager). Thus, it is possible to enhance the representation and retrieval capabilities of system artefacts by considering the whole underlying knowledge graph generated by the different system artefacts and their relationships. After performing 45 different queries over logical and physical models stored in Papyrus, IBM Rhapsody and Simulink, results of precision and recall are promising showing average values between 70-80%.The research leading to these results has received funding from the AMASS project (H2020-ECSEL grant agreement no 692474; Spain's MINECO ref. PCIN-2015-262) and the CRYSTAL project (ARTEMIS FP7-CRitical sYSTem engineering AcceLeration project no 332830-CRYSTAL and the Spanish Ministry of Industry)

Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy

International audienceDrawing from an analogy between features based Product Line (PL) models and Constraint Programming (CP), this paper explores the use of CP in the Domain Engineering and Application Engineering activities that are put in motion in a Product Line Engineering strategy. The start idea is simple: both CP and PL engineering deal with variables, and constraints that these variables must satisfy. Therefore, specifying a PL as a constraint program instead of a feature model, or another kind of PL formalism, carries out two important qualities of CP: expressiveness and direct automation. On the one hand, variables in CP can take values over boolean, integer, real or even complex domains (i.e., lists, arrays and trees) and not only boolean values as in most PL languages such as the Feature-Oriented Domain Analysis (FODA). Specifying boolean, arithmetic, symbolic and reified constraint, provides a power of expression that spans beyond that provided by the boolean dependencies in FODA models. On the other hand, PL models expressed as constraint programs can directly be executed and analyzed by off-the-shelf solvers. Starting with a working example, this paper explores the issues of (a) how to specify a PL model using CP, including in the presence of multi-model representation, (b) how to verify PL specifications, (c) how to specify configuration requirements and (d) how to support the product configuration activity. Tests performed on a benchmark of 50 PL models show that the approach is efficient and scales up easily to very large and complex PL specification

Current trends on ICT technologies for enterprise information s²ystems

The proposed paper discusses the current trends on ICT technologies for Enterprise Information Systems. The paper starts by defining four big challenges of the next generation of information systems: (1) Data Value Chain Management; (2) Context Awareness; (3) Interaction and Visualization; and (4) Human Learning. The major contributions towards the next generation of information systems are elaborated based on the work and experience of the authors and their teams. This includes: (1) Ontology based solutions for semantic interoperability; (2) Context aware infrastructures; (3) Product Avatar based interactions; and (4) Human learning. Finally the current state of research is discussed highlighting the impact of these solutions on the economic and social landscape

Towards a Semantic Knowledge Management Framework for Laminated Composites

The engineering of laminated composite structures is a complex task for design engineers and manufacturers, requiring significant management of manufacturing process and materials information. Ontologies are becoming increasingly commonplace for semantically representing knowledge in a formal manner that facilitates sharing of rich information between people and applications. Moreover, ontologies can support first-order logic and reasoning by rule engines that enhance automation. To support the engineering of laminated composite structures, this work developed a novel Semantic LAminated Composites Knowledge management System (SLACKS) that is based on a suite of ontologies for laminated composites materials and design for manufacturing (DFM) and their integration into a previously developed engineering design framework. By leveraging information from CAD/FEA tools and materials data from online public databases, SLACKS uniquely enables software tools and people to interoperate, to improve communication and automate reasoning during the design process. With SLACKS, this research shows the power of integrating relevant domains of the product lifecycle, such as design, analysis, manufacturing and materials selection through the engineering case study of a wind turbine blade. The integration reveals a usable product lifecycle knowledge tool that can facilitate efficient knowledge creation, retrieval and reuse, from design inception to manufacturing of the product

Defects in Product Line Models and How to Identify Them

This chapter is about generic (language-independent) verification criteria of product line models, its identification, formalisation, categorization, implementation with constraint programming techniques and its evaluation on several industrial and academic product line models represented with several languages

tiphys an open networked platform for higher education on industry 4 0

Abstract Objective of Tiphys project is building an Open Networked Platform for the learning of Industry 4.0 themes. The project will create a Virtual Reality (VR) platform, where users will be able to design and create a VR based environment for training and simulating industrial processes but they will be able to study and select among a set of models in order to standardize the learning and physical processes as a virtual representation of the real industrial world and the required interactions so that to acquire learning and training capabilities. The models will be structured in a modular approach to promote the integration in the existing mechanisms as well as for future necessary adaptations. The students will be able to co-create their learning track and the learning contents by collaborative working in a dynamic environment. The paper presents the development and validation of the learning model, built on CONALI learning ontology. The concepts of the ontology will be detailed and the platform functions will be demonstrated on selected use cases