Abstract is missing.
- Engineering of Digital Twins for Cyber-Physical SystemsJohn S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes 0001. 3-8 [doi]
- Towards Requirements Engineering for Digital Twins of Cyber-Physical SystemsTao Yue 0002, Shaukat Ali 0001, Paolo Arcaini, Fuyuki Ishikawa. 9-21 [doi]
- Digital Twins for Organ Preservation DevicesAaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen. 22-36 [doi]
- Using Digital Twins in the Development of Complex Dependable Real-Time Embedded SystemsXiaotian Dai 0001, Shuai Zhao 0004, Benjamin Lesage, Iain Bate. 37-53 [doi]
- Towards Reactive Planning with Digital Twins and Model-Driven OptimizationMartin Eisenberg, Daniel Lehner, Radek Sindelár, Manuel Wimmer. 54-70 [doi]
- Digital Twin Reconfiguration Using Asset ModelsEduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen. 71-88 [doi]
- Formally Verified Self-adaptation of an Incubator Digital TwinThomas Wright, Cláudio Gomes 0001, Jim Woodcock. 89-109 [doi]
- Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean EnvironmentsTongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Lars Ivar Hatledal, Guoyuan Li, Houxiang Zhang. 110-125 [doi]
- Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital TwinsLe Liu, Aleksandra Lekic, Marjan Popov. 126-138 [doi]
- Data-Driven Reachability Analysis of Digital Twin FMI ModelsSergiy Bogomolov, John Fitzgerald, Sadegh Soudjani, Paulius Stankaitis. 139-158 [doi]
- Towards Secure Digital TwinsTomas Kulik, Cláudio Gomes 0001, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen. 159-176 [doi]
- Digital Thread in Smart ManufacturingTiziana Margaria, Dirk Pesch, Alan McGibney. 179-183 [doi]
- Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 EraMichele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta. 184-194 [doi]
- Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future ChallengesHafiz Ahmad Awais Chaudhary, Ivan Guevara, Jobish John, Amandeep Singh, Amrita Ghosal, Dirk Pesch, Tiziana Margaria. 195-207 [doi]
- Trust and Security Analyzer for Collaborative Digital Manufacturing EcosystemsPasindu Kuruppuarachchi, Susan Rea, Alan McGibney. 208-218 [doi]
- DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design PerspectiveAlan McGibney, Sourabh Bharti. 219-226 [doi]
- Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC MachineLiam Morris, Rose Clancy, Andriy Hryshchenko, Dominic O'Sullivan, Ken Bruton. 227-234 [doi]
- Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart FactoriesMirco Soderi, John G. Breslin. 235-240 [doi]
- Formal Methods for Distributed Control Systems of Future RailwaysAlessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen. 243-245 [doi]
- Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in RailwayMonika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari 0001, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer 0001. 246-268 [doi]
- Future Train Control Systems: Challenges for Dependability AssessmentAlessandro Fantechi, Stefania Gnesi, Gloria Gori. 269-285 [doi]
- Standardisation Considerations for Autonomous Train ControlJan Peleska 0001, Anne E. Haxthausen, Thierry Lecomte. 286-307 [doi]
- Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication NetworksRoberto Canonico, Francesco Flammini, Stefano Marrone 0001, Roberto Nardone, Valeria Vittorini. 308-320 [doi]
- Safe and Secure Architecture Using Diverse Formal MethodsThierry Lecomte. 321-333 [doi]
- Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch. 337-339 [doi]
- Domain-Specificity as Enabler for Global Organization aLignment and DecisionBarbara Steffen, Steve Boßelmann. 340-365 [doi]
- Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference ImplementationJulia Pampus, Brian-Frederik Jahnke, Ronja Quensel. 366-381 [doi]
- Towards a Methodology for Formally Analyzing Federated Identity Management SystemsKaterina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis. 382-405 [doi]
- Model-Driven Edge Analytics: Practical Use Cases in Smart ManufacturingIvan Guevara, Hafiz Ahmad Awais Chaudhary, Tiziana Margaria. 406-421 [doi]