Digitalisering är ett ämne som ständigt diskuteras och har på senare år utvecklats på många plan. Inom byggbranschen har BIM (Byggnadsinformationsmanagement) länge setts som en digital lösning vilken kan tänkas utveckla branschen inom flera områden, men trots det är den digitala utvecklingen inom branschen relativt låg vilket kan ge indikation på lägre produktivitet. Särskilt om man jämför med vad som faktiskt kan uppnås vid implementering av BIM fullt ut genom värdekedjan i projekt. Det finns en brist på tidigare studier kring varför det finns ett informationsgap mellan aktörer genom hela värdekedjan som delvis kan förklara denna låga produktivitet. Syftet med denna studie är därmed att undersöka vilka utmaningar som finns vid implementeringen av BIM i hela värdekedjan av projekt och vad utmaningarna skapar för informationsgap mellan design/konstruktion- och förvaltningssidan inom ett projekt.     För att besvara syfte och frågeställningar har innovationsteori samt investeringsteori använts, där fokus främst riktats på innovationsteori. Med hjälp av teorierna kunde utmaningar med implementeringen av BIM och eventuella informationsgap som uppstår studeras djupare. I studien genomfördes åtta semistrukturerade intervjuer med fastighetsbolag, arkitekturbolag, konsultbolag och intresseorganisation.      De existerande utmaningarna vid implementering av BIM hos olika aktörer, som kan ligga till grund för försämrad interoperabilitet, kan förklaras med att avsaknad av gemensamma branschstandarder, avsaknad av en central BIM-samordnare och generellt sett låg utbildningsnivå kring vad BIM är. Det noteras att ett informationsgap finns mellan aktörer som arbetar på förvaltningssidan kontra design/konstruktion och detta kan dels förklaras på grund av motvilja att anpassa sig till nya lösningar enligt innovationsteori, dels på grund av avsaknad av gemensamma branschstandarder. Att en aktör i projektskedet inte anser det lämpligt att använda BIM kan förklaras eftersom kostnaden hittills inte alltid understiger nyttan.      Implementeringsfasen hos olika aktörer genom värdekedjan varierar och därmed kan branschen i vissa fall tolkas som trögflytande, bland annat på grund av frånvaro av öppna standarder och de språkbarriärer mellan program som kan uppstå vid användning av olika BIM-system. För att vidareutveckla arbetet kring ämnesfrågan behöver ytterligare studier genomföras kring proprietära rättigheter och problem vid anbudskalkylering, offentlig sektors påverkan på utveckling kring gemensamma branschstandarder, extern och intern BIM-samordning kopplat till effektivare projektledning och även hur gemensamma branschstandarder påverkar olika aktörer i hela värdekedjan av ett projekt. / Digitalization is constantly being discussed and has in recent years developed on many levels. Building information management, further described as BIM, has long been considered a digital solution in the construction and management industry. A solution that suitably would develop the industry in several areas. Despite this, digital development is relatively low which may indicate lower productivity than can be achieved. There is a lack of previous studies on why there is an information gap between stakeholders throughout the value chain that can partly explain low productivity and low effective stakeholder efficiency. The purpose of this study is thus to investigate the existing difficulties in the implementation of BIM in the entire value chain and what these difficulties lead to, such as information gaps between the design, construction and management side within a project.    The findings of the study are explained with support of innovation theory and investment theory, with main focus on innovation theory. With support of the theories, difficulties with implementation of BIM for stakeholders and any information gaps that arise have been studied more deeply. This study conducted eight semi-structured interviews with real estate companies, architecture companies, one consulting company and one interest group.   Existing challenges regarding implementation of BIM among different stakeholders, which may be the basis for impaired interoperability, can be explained in the absence of common industry standards, absence of a central BIM coordinator and generally low level of education about the subject BIM. It is noted that there is an information gap between stakeholders working on the administrative side versus design/construction and can be partly explained due to reluctance to adapt to new solutions according to innovation theory and partly due to the absence of common industry standards. The fact that the cost so far is not always less than the benefit of investing in BIM may explain why stakeholders in the project phase choose that BIM does not have to be appropriate to implement.    The implementation phase through the value chain of a project varies a lot for different stakeholders and because of that the industry may in some cases be interpreted as conservative. This could be explained due to the language barriers that can arise when using different BIM systems and due to absence of open standards. To further develop understanding on the subject issue, studies need to be carried out on proprietary rights and problems in tender calculation estimates. Moreover, studies on public sector impact regarding development around common industry standards, external and internal BIM coordination linked to more effective project management and how common industry standards affect different stakeholders in the whole value chain of a project may develop understanding on the subject issue.

Interoperability development between Autonomous Mobile Mobots, Auto- mated Guided Vehicles and their fleet managers provided by different brands became a highly important topic in the factory and warehouse management industry. The compatibility between the providers would provide endless opportunities for the customers to build scalable, flexible, and dynamic systems. The thesis develops a program synthesis method that is capable of making conversions between data structures. The results provide the programmers with a tool that can be used to create function compositions by providing input-output pairs and can save a significant amount of time. The study solves the search problem using Context-free grammar and a beam search guided by a neural network. The work compares the performance of three different artificial intelligence structures recurrent neural networks, long short-term memory networks, and gated recurrent unit networks, and validates the solution on a test set that consists of lines from data structures that are used in the Autonomous Mobile Robot industry combined with some generated data to measure performance in regards of the generalization power. / Interoperabilitetsutveckling mellan Autonoma Mobila Robotar, Automatiserade Guidade Fordon och deras flottförvaltare från olika varumärken har blivit ett mycket viktigt ämne inom fabriks- och lagerhanteringsbranschen. Kompatibiliteten mellan leverantörerna skulle ge oändliga möjligheter för kunderna att bygga skalbara, flexibla och dynamiska system. Avhandlingen utvecklar en programssyntesmetod som kan göra omvandlingar mellan datastrukturer. Resultaten ger programmerare ett verktyg som kan användas för att skapa funktionskompositioner genom att tillhandahålla in- och utdata- par och kan spara betydande tid. Studien löser sökproblemet med hjälp av kontextfri grammatik och en strålsökning som styrs av ett neuralt nätverk. Arbetet jämför prestandan hos tre olika konstgjorda intelligensstrukturer: ”recurrent neural networks", ”long short-term memory networks", och ”gated recurrent unit networks", och validerar lösningen på en testuppsättning som består av rader från datastrukturer som används inom den autonoma mobila robotindustrin kombinerat med några genererade data för att mäta prestanda med avseende på generaliseringskraften.

[ES] En los últimos años, Internet de las cosas (``Internet of Things'' o ``IoT'') ha evolucionado de ser simplemente un concepto académico, construido alrededor de protocolos de comunicación y dispositivos, a ser un ecosistema con aplicaciones industriales y de negocio con implicaciones tecnológicas y sociales sin precedentes. Gracias a las nuevas redes de acceso inalámbricas emergentes, sensores mejorados y sistemas embebidos con procesadores cada vez más eficientes y baratos, una gran cantidad de objetos (tanto de nuestra vida cotidiana como de sistemas y procesos industriales) están interconectados entre sí, trasladando la información del mundo físico a las aplicaciones y servicios de Internet. A través de las pasarelas IoT los dispositivos que interactúan con el mundo físico son capaces de conectarse a las redes de comunicación e intercambiar información. Son varios los retos que deben afrontar las pasarelas en su papel dentro del Internet de las Cosas, entre ellas, la escalabilidad, seguridad, la gestión de dispositivos y, recientemente, la interoperabilidad. La falta de interoperabilidad entre los dispositivos provoca importantes problemas tecnológicos y empresariales, tales como la imposibilidad de conectar dispositivos IoT no interoperables a plataformas IoT heterogéneas, la imposibilidad de desarrollar aplicaciones IoT que exploten múltiples plataformas en dominios homogéneos y/o cruzados, la lentitud en la introducción de la tecnología IoT a gran escala, el desánimo en la adopción de la tecnología IoT, el aumento de los costes, la escasa reutilización de las soluciones técnicas y la insatisfacción de los usuarios. El propósito de esta tesis doctoral es la búsqueda de una solución óptima para la interoperabilidad entre dispositivos de Internet de las Cosas mediante la definición de una pasarela IoT genérica, modular y extensible; sin dejar de lado aspectos esenciales como la seguridad, escalabilidad y la calidad de servicio. Se completa esta tesis doctoral con una implementación software de la pasarela IoT siguiendo la definición propuesta, así como el despliegue y la evaluación de los resultados obtenidos en numerosos casos de uso pertenecientes a pilotos del proyecto de investigación Europeo ``INTER-IoT'' financiado a través del programa marco Horizonte 2020. / [CA] En els últims anys, Internet de les coses (``Internet of Things'' o ``IoT'') ha evolucionat de ser simplement un concepte acadèmic, construït al voltant de protocols de comunicació i dispositius, a ser un ecosistema amb aplicacions industrials i de negoci amb implicacions tecnològiques i socials sense precedents. Gràcies a les noves xarxes d'accés ``wireless'' emergents, sensors millorats i sistemes embeguts amb processadors cada vegada més eficients i barats, una gran quantitat d'objectes (tant de la nostra vida quotidiana com de sistemes i processos industrials) estan interconnectats entre si, traslladant la informació del món físic a les aplicacions i serveis d'Internet. A través de les passarel·les IoT els dispositius que interactuen amb el món físic són capaços de connectar-se a les xarxes de comunicació i intercanviar informació. Són diversos els reptes que han d'afrontar les passarel·les en el seu paper dins de la Internet de les Coses, entre elles, l'escalabilitat, seguretat, la gestió de dispositius i, recentment, la interoperabilitat. La falta d'interoperabilitat entre els dispositius provoca importants problemes tecnològics i empresarials, com ara la impossibilitat de connectar dispositius IoT no interoperables a plataformes IoT heterogènies, la impossibilitat de desenvolupar aplicacions IoT que exploten múltiples plataformes en dominis homogenis i/o croats, la lentitud en la introducció de la tecnologia IoT a gran escala, el descoratjament en l'adopció de la tecnologia IoT, l'augment dels costos, l'escassa reutilització de les solucions tècniques i la insatisfacció dels usuaris. El propòsit d'aquesta tesi doctoral és la cerca d'una solució òptima per a la interoperabilitat entre dispositius d'Internet de les Coses mitjançant la definició d'una passarel·la IoT genèrica, modular i extensible; sense deixar de costat aspectes essencials com la seguretat, escalabilitat i la qualitat de servei. Es completa aquesta tesi doctoral amb una implementació programari de la passarel·la IoT seguint la definició proposada, així com el desplegament i l'avaluació dels resultats obtinguts en nombrosos casos d'ús pertanyents a pilots del projecte d'investigació Europeu ``INTER-IoT'' finançat a través del programa marc Horitzó 2020. / [EN] In recent years, the Internet of Things (``IoT") has evolved from being simply an academic concept, built around communication protocols and devices, to an ecosystem with industrial and business applications with unprecedented technological and social implications. Thanks to new emerging wireless access networks, improved sensors and embedded systems with increasingly efficient and inexpensive processors, a large number of objects (both in our daily lives and in industrial systems and processes) are interconnected with each other, moving information from the physical world to Internet applications and services. Through IoT gateways, devices that interact with the physical world are able to connect to communication networks and exchange information. There are several challenges that gateways must face in their role within the Internet of Things, including scalability, security, device management and, recently, interoperability. The lack of interoperability between devices causes major technological and business problems, such as the impossibility of connecting non-interoperable IoT devices to heterogeneous IoT platforms, the impossibility of developing IoT applications that exploit multiple platforms in homogeneous and/or cross-domains, the slow introduction of IoT technology on a large scale, discouragement in the adoption of IoT technology, increased costs, low utilization of technical solutions and user dissatisfaction. The purpose of this doctoral thesis is the search for an optimal solution for interoperability between Internet of Things devices by defining a generic, modular and extensible IoT gateway; without neglecting essential aspects such as security, scalability and quality of service. This doctoral Thesis is completed with a software implementation of the IoT gateway following the proposed definition, as well as the deployment and evaluation of the results obtained in numerous use cases belonging to the pilots of the European research project ``INTER-IoT'' funded through the Horizon 2020 framework program. / Esta tesis doctoral se completa con una implementación software de la pasarela IoT siguiendo la definición propuesta, así como el despliegue y la evaluación de los resultados obtenidos en numerosos casos de uso pertenecientes a pilotos del proyecto de investigación Europeo “INTER-IoT” financiado a través del programa marco Horizonte 2020. / Olivares Gorriti, E. (2022). Especificación y desarrollo de una pasarela física y virtual para interoperabilidad de dispositivos heterogéneos en el ámbito de Internet de las Cosas [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/181492

The Object-Oriented Data Specification Framework (OODSF) is a C++ framework to facilitate programming in a heterogeneous distributed environment. Using the OODSF, C++ language bindings of commonly used specification languages, such as Abstract Syntax Notation 1 (ASN.l) and Interface Definition Language (IDL), can be defined. The OODSF defines C++ class libraries for ASN.l and IDL to simplify the C++ language bindings. Arbitrary application-level IDL and ASN.l specifications can be translated into C++ representations based on these class libraries. The OODSF contains facilities for encoding and decoding transferred data, allowing interoperability in a heterogeneous distributed system. A general interface is provided to encoding and decoding services so that a flexible choice of an encoding rule can be made. The current implementation of the OODSF contains external Encoding Rule (XDR) and Basic Encoding Rule (BER). / Master of Science

Data exchange is a vital aspect of the construction industry, which means there is need for a consistent platform to manage documents that can be relied on. An important digital information management system in the Architectural, Engineering, and Construction (AEC) sector is Building Information Modeling (BIM). However, problems exist regarding secure and compatible systems for data sharing. The study explores why adaptable and tailored security measures are needed to suit project specifications. Through this examination of centralized versus decentralized Common Data Environments (CDEs), it emerges that open BIM systems are impractical when compared to closed ones. The findings highlight the crucial role that standardization and customization play towards efficient, safe and flexible BIM implementations. It also recommends further research for future studies as well as emphasizes transparency in implementing CDE-based security protocols.

[ES] Esta tesis se ha desarrollado dentro del marco de la interoperabilidad de seguridad, enfocándose en la colaboración de los proyectos CAMELOT y PREVISION, financiados por la Comisión Europea dentro del programa Horizonte 2020. Estos proyectos se han ejecutado en el grupo de investigación de Sistemas y Aplicaciones de Tiempo Real Distribuido (SATRD) del Departamento de Comunicaciones de la Universidad Politécnica de Valencia (UPV). La libre circulación de personas y mercancías en la Unión Europea (UE) y la eliminación progresiva de los controles fronterizos, en virtud del acuerdo de Schengen, han presentado desafíos significativos en la seguridad de las fronteras exteriores europeas. Incidentes recientes, incluyendo oleadas de inmigración ilegal, la crisis de refugiados y ataques terroristas, han intensificado la necesidad de un control y vigilancia eficaces. Esta tesis propone una arquitectura de interoperabilidad genérica, diseñada para integrar sistemas existentes y permitir el intercambio de datos a través de una plataforma unificada. Se ha prestado especial atención a la utilización de adaptadores para la conversión de datos entre los sistemas originales y la plataforma adoptada. Posteriormente, la implementación de la arquitectura se ha validado en dos contextos distintos: el proyecto CAMELOT, centrado en la mejora de la gestión y control de las fronteras, y el proyecto PREVISION, enfocado en crear un entorno de respuesta rápida para la detección de amenazas como actos terroristas. Ambos proyectos se han validado mediante simulaciones en entornos reales, evaluando situaciones como el contrabando ilegal y la detección de tráfico con inmigrantes ilegales en CAMELOT, y el seguimiento de actividades terroristas en PREVISION. Las demostraciones han mostrado mejoras significativas gracias a las arquitecturas desarrolladas, recibiendo una valoración excelente y destacando su potencial para futuras implementaciones en diversos ámbitos. / [CA] Aquesta tesi s'ha desenvolupat dins del marc de la interoperabilitat de seguretat, centrant-se en la col·laboració dels projectes CAMELOT i PREVISION, finançats per la Comissió Europea dins del programa Horitzó 2020. Aquests projectes s'han dut a terme en el grup de recerca de Sistemes i Aplicacions de Temps Real Distribuït (SATRD) del Departament de Comunicacions de la Universitat Politècnica de València (UPV). La lliure circulació de persones i mercaderies a la Unió Europea (UE) i l'eliminació progressiva dels controls fronterers, en virtut de l'acord de Schengen, han presentat desafiaments significatius en la seguretat de les fronteres exteriors europees. Incidents recents, incloent onades d'immigració il·legal, la crisi de refugiats i atacs terroristes, han intensificat la necessitat d'un control i vigilància eficaços. Aquesta tesi proposa una arquitectura d'interoperabilitat genèrica, dissenyada per integrar sistemes existents i permetre l'intercanvi de dades a través d'una plataforma unificada. S'ha prestat especial atenció a la utilització d'adaptadors per a la conversió de dades entre els sistemes originals i la plataforma adoptada. Posteriorment, la implementació de l'arquitectura s'ha validat en dos contextos diferents: el projecte CAMELOT, centrat en la millora de la gestió i control de les fronteres, i el projecte PREVISION, enfocat en crear un entorn de resposta ràpida per a la detecció d'amenaces com actes terroristes. Ambdós projectes s'han validat mitjançant simulacions en entorns reals, avaluant situacions com el contraban il·legal i la detecció de tràfic amb immigrants il·legals en CAMELOT, i el seguiment d'activitats terroristes en PREVISION. Les demostracions han mostrat millores significatives gràcies a les arquitectures desenvolupades, rebent una valoració excel·lent i destacant el seu potencial per a futures implementacions en diversos àmbits. / [EN] This thesis has been developed within the framework of security interoperability, focusing on the collaboration of the CAMELOT and PREVISION projects, funded by the European Commission under the Horizon 2020 program. These projects have been carried out in the research group of Distributed Real-Time Systems and Applications (SATRD) of the Communications Department at the Polytechnic University of Valencia (UPV). The free movement of people and goods in the European Union (EU) and the gradual elimination of border controls, under the Schengen agreement, have presented significant challenges in the security of Europe's external borders. Recent incidents, including waves of illegal immigration, the refugee crisis, and terrorist attacks, have intensified the need for effective control and surveillance. This thesis proposes a generic interoperability architecture, designed to integrate existing systems and enable data exchange through a unified platform. Special attention has been given to the use of adapters for the conversion of data between the original systems and the adopted platform. Subsequently, the implementation of the architecture has been validated in two different contexts: the CAMELOT project, focused on improving border management and control, and the PREVISION project, aimed at creating a rapid response environment for the detection of threats such as terrorist acts. Both projects have been validated through simulations in real environments, evaluating situations such as illegal smuggling and detection of trafficking with illegal immigrants in CAMELOT, and monitoring of terrorist activities in PREVISION. The demonstrations have shown significant improvements thanks to the developed architectures, receiving excellent evaluations and highlighting their potential for future implementations in various fields. / Esta tesis se ha desarrollado dentro del marco de la interoperabilidad de seguridad, enfocándose en la colaboración de los proyectos CAMELOT y PREVISION, financiados por la Comisión Europea dentro del programa Horizonte 2020. Estos proyectos se han ejecutado en el grupo de investigación de Sistemas y Aplicaciones de Tiempo Real Distribuido (SATRD) del Departamento de Comunicaciones de la Universidad Politécnica de Valencia (UPV) / García García, A. (2024). Arquitectura de interoperabilidad para mejorar la gestión y coordinación de múltiples UXV y la toma de decisiones [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/204409

An average of 3 million deaths occurs each year in high-income countries due to unsafe care, with causes including diagnostic and communication failures. These failures are related to clinical information overload, the extraction of essential unstructured data, and complex health data analytics for deriving insights. The use case of this dissertation focuses on emergency room (ER) physicians, as they are the initial point of contact for patients, and time-sensitive situations occur frequently in the ER. The goal is to develop an intelligent clinical information platform (ICIP) for ER physicians, assisting patients’ care pathways using machine learning (ML). This platform provides a new, multidimensional view to represent patients’ medical conditions, focused on heart diseases. To achieve the platform’s implementation, three technical components are developed and published within this dissertation: first, a component for data extraction from remote video consultations via WebRTC; second, a data classification component using a Faster Region-Based Convolutional Neural Network (R-CNN) model together with active learning (AL); and third, a data search component with an implemented Elasticsearch pipeline and data storage unified in the FHIR standard. The research for a newly developed clinical platform is practically and industrially based on building a future clinical product. For this product, ML models are developed to analyze data from past clinical treatments using an R-CNN model for text classification and to access verbal audio data through a speech-to-text (STT) engine employing an RNN TensorFlow model and a large language model (LLM) from NLP.js. Additionally, JSON object-based rule-based reasoning from FHIR is used. It has been demonstrated that a three-tier architecture (AngularJS, Java Spring Boot, and PostgreSQL), consisting of components involving neural networks such as R-CNN, RNN (recurrent neural network), and LLM, can be implemented as a data platform for assisting heart disease care pathways. This allows physicians to interpret patients’ vital parameters, pathways, and timelines via diagrams presented in widgets on the AngularJS frontend.

SCADA-system (Supervisory Control and Data Acquisition) har under de senaste decennierna använts i stor utsträckning, med utmärkta resultat för nätverksdrift och -förvaltning. Kunder ställer emellertid krav på att SCADA-system ska kunna integrera externa komponenter för att möjliggöra utveckling av befintliga och nya affärsprocesser. Det innebär att dessa system utvecklas från en monolitisk infrastruktur till en löst kopplad och flexibel arkitektur. Således har nya behov uppstått för att förbättra systemets interoperabilitet, minska komplexiteten och förbättra underhållet. Föreliggande masterprojekt presenterar ett ramverk för att förutsäga systems interoperabilitetet (IPF); ett ramverk som stöder arkitekturprocessen under de tidiga stadierna av produktutveckling. Vidare har arbetet undersökt några alternativa arkitekturer, vilka har modellerats och verifierats med hjälp av ovannämnda ramverk. En första konceptuell arkitektur har utvecklats för att förbättra interoperabiliteten hos interna system, för att reducera kopplingen mellan det grundläggande SCADA-systemet och Energy Management-systemet (EMS). Därefter genererades en andra arkitektur som möjliggör integration av externa komponenter för att främja den externa interoperabiliteten. Resultat visar att de föreslagna arkitekturerna är korrekta (enligt IPF) och systemets driftskompatibilitet förbättras. Vidare förefaller den slutligt föreslagna lösningen vara mindre komplex än den nuvarande arkitekturen på lång sikt, men det skulle behövas en större insats och väsentliga förändringar för att uppgradera systemarkitekturen. / SCADA (Supervisory Control and Data Acquisition) systems have been widely used during the last decades delivering excellent results for the power network operation and management. However, some current customer requirements are for SCADA systems to integrate external components in order to perform advanced power network studies and develop both existing and new business processes. This novel viewpoint will make these systems evolve from a monolithic infrastructure towards a loosely coupled and flexible architecture. Hence, new needs have arisen with the aim of improving the system interoperability, reducing the complexity and enhancing the maintainability. This master´s thesis project presents an Interoperability Prediction Framework (IPF), that supports the architecture design process during the early stages of product development. In addition, this work has also investigated some alternative architectures, which have been modelled and verified using the previously mentioned framework. A first conceptual architecture has been designed to improve the internal system interoperability, reducing the coupling between the basic SCADA and the Energy Management System (EMS). Later, a second architecture that allows the integration of external components has been introduced to promote the external interoperability. Results show that the proposed architectures are correct (according to the IPF) and the interoperability of the system is improved. Furthermore, initial conclusions suggest that the final proposed solution would be less complex than the current architecture in the long term, although a large effort and substantial changes would be needed to upgrade the system architecture.

A vast range of controls/countermeasures exists for implementing security on information systems connected to the Internet. For the practitioner attempting to implement an integrated solution between trading partners operating across the Internet, this has serious implications in respect of interoperability between the security systems of the trading partners. The problem is exacerbated by the range of specification options within each control. This research is an attempt to find a set of relevant controls and specifications towards a framework for ensuring optimal interoperability between trading partners in this context. Since a policy-based, layered approach is advocated, which allows each trading partner to address localized risks independently, no exhaustive risk analysis is attempted. The focus is on infrastructure that is simultaneously optimally secure and provides optimal interoperability. It should also be scalable, allowing for additional security controls to be added whenever deemed necessary. / Computing / M. Sc. (Information Systems)

Designing and developing complex engineering systems is a collaborative effort. In Model-Based Systems Engineering (MBSE), this collaboration is supported through the use of formal, computer-interpretable models, allowing stakeholders to address concerns using well-defined modeling languages. However, because concerns cannot be separated completely, implicit relationships and dependencies among the various models describing a system are unavoidable. Given that models are typically co-evolved and only weakly integrated, inconsistencies in the agglomeration of the information and knowledge encoded in the various models are frequently observed. The challenge is to identify such inconsistencies in an automated fashion. In this research, a probabilistic (Bayesian) approach to abductive reasoning about the existence of specific types of inconsistencies and, in the process, semantic overlaps (relationships and dependencies) in sets of heterogeneous models is presented. A prior belief about the manifestation of a particular type of inconsistency is updated with evidence, which is collected by extracting specific features from the models by means of pattern matching. Inference results are then utilized to improve future predictions by means of automated learning. The effectiveness and efficiency of the approach is evaluated through a theoretical complexity analysis of the underlying algorithms, and through application to a case study. Insights gained from the experiments conducted, as well as the results from a comparison to the state-of-the-art have demonstrated that the proposed method is a significant improvement over the status quo of inconsistency identification in MBSE.