A5008936248- Model-Driven Software Engineering Techniques
- Real-Time Systems Scheduling
- Distributed systems and fault tolerance
- Software System Performance and Reliability
- Semantic Web and Ontologies
- Advanced Software Engineering Methodologies
- Data Quality and Management
- Service-Oriented Architecture and Web Services
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Embedded Systems Design Techniques
- Natural Language Processing Techniques
- Data Mining Algorithms and Applications
- Advanced Database Systems and Queries
- Systems Engineering Methodologies and Applications
- Safety Systems Engineering in Autonomy
- Software Reliability and Analysis Research
- Healthcare Technology and Patient Monitoring
- Peer-to-Peer Network Technologies
- Business Process Modeling and Analysis
- Distributed and Parallel Computing Systems
- Software Engineering and Design Patterns
- Simulation Techniques and Applications
- Real-time simulation and control systems
- Scientific Computing and Data Management
McGill University
2019-2021
Budapest University of Technology and Economics
2014-2017
Abstract Smart cyber-physical systems (CPSs) have complex interaction with their environment which is rarely known in advance, and they heavily depend on intelligent data processing carried out over a heterogeneous distributed computation platform resource-constrained devices to monitor, manage control autonomous behavior. First, we propose runtime model capture the operational state context information of smart CPS using directed, typed attributed graphs as high-level knowledge...
Model-based systems engineering of critical cyber-physical necessitates effective collaboration between different stakeholders while still providing secure protection intellectual properties all involved parties. While artifacts are frequently stored in version control repositories, access is limited to file-level strategies most existing frameworks where models split into multiple fragments with all-or-nothing permissions, which becomes a scalability and usability bottleneck case complex...
The Linked Data Benchmark Council's Social Network (LDBC SNB) is an effort intended to test various functionalities of systems used for graph-like data management. For this, LDBC SNB uses the recognizable scenario operating a social network, characterized by its graph-shaped data. consists two workloads that focus on different functionalities: Interactive workload (interactive transactional queries) and Business Intelligence (analytical queries). This document contains definition both...
Model-driven engineering (MDE) is becoming a key approach in systems engineering, including Integrated Modular Avionics (IMA) design. It relies on systematic use of models from an early phase the design process to provide source code generation, validation and analysis support. However, due complexity IMA - that may incorporate hundreds avionics functions dozens execution nodes even stage model-based their can become cumbersome. This especially true for safety related nonfunctional...
Runtime monitoring plays a key role in the assurance of modern intelligent cyber-physical systems, which are frequently data-intensive and safety-critical. While graph queries can serve as an expressive yet formally precise specification language to capture safety properties interest, there no timeliness guarantees for such auto-generated runtime programs, prevents their use real-time setting. worst-case execution time (WCET) bounds derived by existing static WCET estimation techniques safe,...
Recent approaches in runtime monitoring and live data analytics have started to use expressive graph queries at capture observe properties of interest a high level abstraction. However, critical context, such applications often require timeliness guarantees, which not been investigated yet for query-based solutions due limitations existing static worst-case execution time (WCET) analysis techniques. One limitation is the lack support dynamic memory allocation, required by dynamically...
█ A tool to allocate system functionalities IMA platforms using model-driven development techniques o Future directions Semi-automated allocation Polarsys initiative • Long term support for open source technologies EMF-Simulink bridge Standalone OSLC based traceability framework
Safety assurance in critical IoT systems is increasingly important as those are becoming ubiquitous various application areas, such health care and transportation. Recently, novel runtime monitoring approaches started to adapt expressive rule- or query-based languages capture safety properties, which evaluated over models. In this paper, we define two distributed strategies for cyber-physical built on top of a model deployed the Data Distribution Service standard communication middleware. We...
A semantic layer maps complex enterprise data into an ontology with abstract business concepts that are well-known to users. Chief officers invest significant effort create and update these ontologies, while scientists do feature engineering by combining already existing features of the domain. However, it is a challenge catalogue maintain numerous pertaining ontology, which leads duplicated unnecessary complexity. In this work, we propose combine ontologies captured using Object-Role...