default search action
11th ISoLA 2022: Rhodes, Greece - Volume 4
- Tiziana Margaria, Bernhard Steffen:
Leveraging Applications of Formal Methods, Verification and Validation. Practice - 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV. Lecture Notes in Computer Science 13704, Springer 2022, ISBN 978-3-031-19761-1
Digital Twin Engineering
- John S. Fitzgerald, Peter Gorm Larsen, Tiziana Margaria, Jim Woodcock, Cláudio Gomes:
Engineering of Digital Twins for Cyber-Physical Systems. 3-8 - Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. 9-21 - Aaron John Buhagiar, Leo Freitas, William E. Scott III, Peter Gorm Larsen:
Digital Twins for Organ Preservation Devices. 22-36 - Xiaotian Dai, Shuai Zhao, Benjamin Lesage, Iain Bate:
Using Digital Twins in the Development of Complex Dependable Real-Time Embedded Systems. 37-53 - Martin Eisenberg, Daniel Lehner, Radek Sindelár, Manuel Wimmer:
Towards Reactive Planning with Digital Twins and Model-Driven Optimization. 54-70 - Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, David Cameron, Einar Broch Johnsen:
Digital Twin Reconfiguration Using Asset Models. 71-88 - Thomas Wright, Cláudio Gomes, Jim Woodcock:
Formally Verified Self-adaptation of an Incubator Digital Twin. 89-109 - Tongtong Wang, Robert Skulstad, Motoyasu Kanazawa, Lars Ivar Hatledal, Guoyuan Li, Houxiang Zhang:
Adaptive Data-driven Predictor of Ship Maneuvering Motion Under Varying Ocean Environments. 110-125 - Le Liu, Aleksandra Lekic, Marjan Popov:
Robust Adaptive Back-Stepping Control Approach Using Quadratic Lyapunov Functions for MMC-Based HVDC Digital Twins. 126-138 - Sergiy Bogomolov, John S. Fitzgerald, Sadegh Soudjani, Paulius Stankaitis:
Data-Driven Reachability Analysis of Digital Twin FMI Models. 139-158 - Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen:
Towards Secure Digital Twins. 159-176
Digital Thread in Smart Manufacturing
- Tiziana Margaria, Dirk Pesch, Alan McGibney:
Digital Thread in Smart Manufacturing. 179-183 - Michele Boldo, Nicola Bombieri, Stefano Centomo, Mirco De Marchi, Florenc Demrozi, Graziano Pravadelli, Davide Quaglia, Cristian Turetta:
Integrating Wearable and Camera Based Monitoring in the Digital Twin for Safety Assessment in the Industry 4.0 Era. 184-194 - Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Jobish John, Amandeep Singh, Amrita Ghosal, Dirk Pesch, Tiziana Margaria:
Model-Driven Engineering in Digital Thread Platforms: A Practical Use Case and Future Challenges. 195-207 - Pasindu Kuruppuarachchi, Susan Rea, Alan McGibney:
Trust and Security Analyzer for Collaborative Digital Manufacturing Ecosystems. 208-218 - Alan McGibney, Sourabh Bharti:
DISTiL: DIStributed Industrial Computing Environment for Trustworthy DigiTaL Workflows: A Design Perspective. 219-226 - Liam Morris, Rose Clancy, Andriy Hryshchenko, Dominic O'Sullivan, Ken Bruton:
Using Model Selection and Reduction to Develop an Empirical Model to Predict Energy Consumption of a CNC Machine. 227-234 - Mirco Soderi, John G. Breslin:
Crazy Nodes: Towards Ultimate Flexibility in Ubiquitous Big Data Stream Engineering, Visualisation, and Analytics, in Smart Factories. 235-240
Formal Methods for DIStributed COmputing in Future RAILway Systems
- Alessandro Fantechi, Stefania Gnesi, Anne E. Haxthausen:
Formal Methods for Distributed Control Systems of Future Railways. 243-245 - Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer:
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway. 246-268 - Alessandro Fantechi, Stefania Gnesi, Gloria Gori:
Future Train Control Systems: Challenges for Dependability Assessment. 269-285 - Jan Peleska, Anne E. Haxthausen, Thierry Lecomte:
Standardisation Considerations for Autonomous Train Control. 286-307 - Roberto Canonico, Francesco Flammini, Stefano Marrone, Roberto Nardone, Valeria Vittorini:
Automatic Generation of Domain-Aware Control Plane Logic for Software Defined Railway Communication Networks. 308-320 - Thierry Lecomte:
Safe and Secure Architecture Using Diverse Formal Methods. 321-333
Industrial Day
- Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch:
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. 337-339 - Barbara Steffen, Steve Boßelmann:
Domain-Specificity as Enabler for Global Organization aLignment and Decision. 340-365 - Julia Pampus, Brian-Frederik Jahnke, Ronja Quensel:
Evolving Data Space Technologies: Lessons Learned from an IDS Connector Reference Implementation. 366-381 - Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis:
Towards a Methodology for Formally Analyzing Federated Identity Management Systems. 382-405 - Ivan Guevara, Hafiz Ahmad Awais Chaudhary, Tiziana Margaria:
Model-Driven Edge Analytics: Practical Use Cases in Smart Manufacturing. 406-421
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.