{"id":1241,"date":"2026-01-23T09:41:40","date_gmt":"2026-01-23T09:41:40","guid":{"rendered":"https:\/\/www-2025.informatica.uniroma2.it\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/"},"modified":"2026-05-23T14:43:35","modified_gmt":"2026-05-23T14:43:35","slug":"software-systems","status":"publish","type":"page","link":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/","title":{"rendered":"Intelligent Software Systems"},"content":{"rendered":"\n

Intelligent software systems<\/h2>\n\n

<\/p>\n\n

\n

The design and validation of complex, mission-critical systems require innovative methodologies that integrate Modeling & Simulation (M&S)<\/em>, Data-driven Engineering<\/em>, and Artificial Intelligence<\/em> within the broader framework of Model-based Systems Engineering (MBSE)<\/em>. In this context, the research activities of the Systems Engineering Lab (SEL)<\/em> group are organized around the following areas.<\/p>\n<\/div>\n\n

Modeling & Simulation-Based Systems Engineering <\/h2>\n\n
\n

M&S approaches are a key asset in the MBSE paradigm, particularly for the Verification & Validation (V&V)<\/strong> of complex and critical systems. <\/p>\n\n\n\n

In this area, the group investigates advanced methodologies for the design and execution of local and distributed simulations, including the use of model transformation techniques and Artificial Intelligence to support and automate the different phases of the system lifecycle, from requirements analysis and design through to results verification in the context of simulation-based V&V, with a specific focus on extra-functional properties such as efficiency, availability, and reliability.<\/p>\n<\/div>\n\n

    \n
  • <\/li>\n<\/ul>\n\n
    \n\n

    Twinning Systems<\/h2>\n\n
    \n
    \n

    A Digital Twin (DT)<\/strong><\/em> is a dynamic digital replica of a physical system or process that integrates simulation models and is continuously synchronized with its physical counterpart. The design and operation of systems that make use of digital twins<\/em> (Twinning Systems<\/strong><\/em>) require approaches capable of effectively integrating heterogeneous, multi-scale architectures, formalisms, and technologies. <\/p>\n\n\n\n

    Research activities in this area include:<\/p>\n\n\n\n

      \n
    • the study of low-code systems engineering<\/em> approaches for the automatic generation of DT models.<\/li>\n\n\n\n
    • the investigation of data-driven<\/em> and AI-based<\/em> methods for simulation results analysis, decision making, the definition of appropriate feedback mechanisms (closed-loop control<\/em>) to support the adaptation, evolution, and optimization of the physical system;<\/li>\n<\/ul>\n<\/div>\n<\/div><\/div>\n\n
      \n\n

      Predictive Process Mining<\/h2>\n\n
      \n
      \n

      Business Processes can be used to specify the behavior of complex systems ranging from distributed systems and manufacturing plants to entire organizations. <\/p>\n\n\n\n

      Such processes are often characterized by the pervasiveness of digital technologies (e.g., IoT nodes) and the generation and processing of large amounts of data. In this context, Predictive Process Mining<\/strong><\/em> is an innovative paradigm that combines Process Mining<\/strong><\/em> and M&S techniques<\/strong><\/em>. <\/p>\n\n\n\n

      The analysis of execution logs enables the derivation of data-driven<\/em> simulation models, whose analysis in turn supports predictions on the future behavior of the process, enabling what-if<\/em> evaluations, alternative scenario analysis, and the prediction and optimization of performance and reliability.<\/p>\n<\/div>\n<\/div><\/div>\n\n

      <\/p>\n","protected":false},"excerpt":{"rendered":"

      Intelligent software systems The design and validation of complex, mission-critical systems require innovative methodologies that integrate Modeling & Simulation (M&S), Data-driven Engineering, and Artificial Intelligence within the broader framework of Model-based Systems Engineering (MBSE). In this context, the research activities<\/p>\n","protected":false},"author":3,"featured_media":0,"parent":1206,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1241","page","type-page","status-publish","hentry"],"yoast_head":"\nIntelligent Software Systems - INFORMATICA<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Intelligent Software Systems - INFORMATICA\" \/>\n<meta property=\"og:description\" content=\"Intelligent software systems The design and validation of complex, mission-critical systems require innovative methodologies that integrate Modeling & Simulation (M&S), Data-driven Engineering, and Artificial Intelligence within the broader framework of Model-based Systems Engineering (MBSE). In this context, the research activities\" \/>\n<meta property=\"og:url\" content=\"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/\" \/>\n<meta property=\"og:site_name\" content=\"INFORMATICA\" \/>\n<meta property=\"article:modified_time\" content=\"2026-05-23T14:43:35+00:00\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data1\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/gruppi-di-ricerca\\\/software-systems\\\/\",\"url\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/gruppi-di-ricerca\\\/software-systems\\\/\",\"name\":\"Intelligent Software Systems - INFORMATICA\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/#website\"},\"datePublished\":\"2026-01-23T09:41:40+00:00\",\"dateModified\":\"2026-05-23T14:43:35+00:00\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/gruppi-di-ricerca\\\/software-systems\\\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/gruppi-di-ricerca\\\/software-systems\\\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/gruppi-di-ricerca\\\/software-systems\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Research and Third Mission\",\"item\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"Research Group\",\"item\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/home\\\/ricerca-e-terza-missione\\\/gruppi-di-ricerca\\\/\"},{\"@type\":\"ListItem\",\"position\":4,\"name\":\"Intelligent Software Systems\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/#website\",\"url\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/\",\"name\":\"INFORMATICA\",\"description\":\"UNIVERSITA' DEGLI STUDI ROMA "TOR VERGATA"\",\"publisher\":{\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/#organization\",\"name\":\"CORSO DI LAUREA IN INFORMATICA\",\"url\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\",\"url\":\"https:\\\/\\\/www-2025.informatica.uniroma2.it\\\/wp-content\\\/uploads\\\/2026\\\/02\\\/cropped-favicon.png\",\"contentUrl\":\"https:\\\/\\\/www-2025.informatica.uniroma2.it\\\/wp-content\\\/uploads\\\/2026\\\/02\\\/cropped-favicon.png\",\"width\":512,\"height\":512,\"caption\":\"CORSO DI LAUREA IN INFORMATICA\"},\"image\":{\"@id\":\"https:\\\/\\\/informatica.uniroma2.it\\\/en\\\/#\\\/schema\\\/logo\\\/image\\\/\"}}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"Intelligent Software Systems - INFORMATICA","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/","og_locale":"en_US","og_type":"article","og_title":"Intelligent Software Systems - INFORMATICA","og_description":"Intelligent software systems The design and validation of complex, mission-critical systems require innovative methodologies that integrate Modeling & Simulation (M&S), Data-driven Engineering, and Artificial Intelligence within the broader framework of Model-based Systems Engineering (MBSE). In this context, the research activities","og_url":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/","og_site_name":"INFORMATICA","article_modified_time":"2026-05-23T14:43:35+00:00","twitter_card":"summary_large_image","twitter_misc":{"Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"WebPage","@id":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/","url":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/","name":"Intelligent Software Systems - INFORMATICA","isPartOf":{"@id":"https:\/\/informatica.uniroma2.it\/en\/#website"},"datePublished":"2026-01-23T09:41:40+00:00","dateModified":"2026-05-23T14:43:35+00:00","breadcrumb":{"@id":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/"]}]},{"@type":"BreadcrumbList","@id":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/software-systems\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/informatica.uniroma2.it\/en\/"},{"@type":"ListItem","position":2,"name":"Research and Third Mission","item":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/"},{"@type":"ListItem","position":3,"name":"Research Group","item":"https:\/\/informatica.uniroma2.it\/en\/home\/ricerca-e-terza-missione\/gruppi-di-ricerca\/"},{"@type":"ListItem","position":4,"name":"Intelligent Software Systems"}]},{"@type":"WebSite","@id":"https:\/\/informatica.uniroma2.it\/en\/#website","url":"https:\/\/informatica.uniroma2.it\/en\/","name":"INFORMATICA","description":"UNIVERSITA' DEGLI STUDI ROMA "TOR VERGATA"","publisher":{"@id":"https:\/\/informatica.uniroma2.it\/en\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/informatica.uniroma2.it\/en\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/informatica.uniroma2.it\/en\/#organization","name":"CORSO DI LAUREA IN INFORMATICA","url":"https:\/\/informatica.uniroma2.it\/en\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/informatica.uniroma2.it\/en\/#\/schema\/logo\/image\/","url":"https:\/\/www-2025.informatica.uniroma2.it\/wp-content\/uploads\/2026\/02\/cropped-favicon.png","contentUrl":"https:\/\/www-2025.informatica.uniroma2.it\/wp-content\/uploads\/2026\/02\/cropped-favicon.png","width":512,"height":512,"caption":"CORSO DI LAUREA IN INFORMATICA"},"image":{"@id":"https:\/\/informatica.uniroma2.it\/en\/#\/schema\/logo\/image\/"}}]}},"_links":{"self":[{"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/pages\/1241","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/users\/3"}],"replies":[{"embeddable":true,"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/comments?post=1241"}],"version-history":[{"count":6,"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/pages\/1241\/revisions"}],"predecessor-version":[{"id":2496,"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/pages\/1241\/revisions\/2496"}],"up":[{"embeddable":true,"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/pages\/1206"}],"wp:attachment":[{"href":"https:\/\/informatica.uniroma2.it\/en\/wp-json\/wp\/v2\/media?parent=1241"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}