Cyber-Physical Cloud Battery Management Systems: Review of Security Aspects

Autor: Farshid Naseri, Zahra Kazemi, Peter Gorm Larsen, Mohammad Mehdi Arefi, Erik Schaltz

Publikováno v: Batteries, Vol 9, Iss 7, p 382 (2023)

Battery management systems (BMSs) are critical to ensure the efficiency and safety of high-power battery energy storage systems (BESSs) in vehicular and stationary applications. Recently, the proliferation of battery big data and cloud computing adva

Externí odkaz: https://doaj.org/article/9e6602e100d84a7a8b8e860457e6df86

Towards formal verification of cyber security standards

Autor: Tomas Kulik, Peter Gorm Larsen

Publikováno v: Труды Института системного программирования РАН, Vol 30, Iss 4, Pp 79-94 (2018)

Cyber security standards are often used to ensure the security of industrial control systems. Nowadays, these systems are becoming more decentralized, making them more vulnerable to cyber attacks. One of the challenges of implementing cyber security

Externí odkaz: https://doaj.org/article/24f1fb9be5c148cf96bee63a47936a33

Towards Enabling Overture as a Platform for Formal Notation IDEs

Autor: Luís Diogo Couto, Peter Gorm Larsen, Miran Hasanagić, Georgios Kanakis, Kenneth Lausdahl, Peter W. V. Tran-Jørgensen

Publikováno v: Electronic Proceedings in Theoretical Computer Science, Vol 187, Iss Proc. F-IDE 2015, Pp 14-27 (2015)

Formal Methods tools will never have as many users as tools for popular programming languages and so the effort spent on constructing Integrated Development Environments (IDEs) will be orders of magnitudes lower than that of programming languages suc

Externí odkaz: https://doaj.org/article/6408b9586e054ff49ad3ec54fc06d24e

Towards Developing a Digital Twin for a Manufacturing Pilot Line:An Industrial Case Study

Autor: Fatemeh Kakavandi, Cláudio Gomes, Roger de Reus, Jeppe Badstue, Jakob Langdal Jensen, Peter Gorm Larsen, Alexandros Iosifidis

Publikováno v: Kakavandi, F, Gomes, C, de Reus, R, Badstue, J, Jensen, J L, Larsen, P G & Iosifidis, A 2023, Towards Developing a Digital Twin for a Manufacturing Pilot Line : An Industrial Case Study . in E Karaarslan, Ö Aydin, Ü Cali & M Challenger (eds), Digital Twin Driven Intelligent Systems and Emerging Metaverse . Springer, Singapore, pp. 39-64 . https://doi.org/10.1007/978-981-99-0252-1_2
Digital Twin Driven Intelligent Systems and Emerging Metaverse ISBN: 9789819902514

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1687e4397d467abfe27855cd7837ca9d
https://pure.au.dk/portal/da/publications/towards-developing-a-digital-twin-for-a-manufacturing-pilot-line(492c8ce3-748e-4f00-bdda-e2d672bf72cf).html

A Survey of Practical Formal Methods for Security

Autor: Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock

Publikováno v: Kulik, T, Dongol, B, Larsen, P G, Macedo, H D, Schnieder, S, Tran-Jørgensen, P W V & Woodcock, J 2022, ' A Survey of Practical Formal Methods for Security ', Formal Aspects of Computing, vol. 34, no. 1, 3522582 . https://doi.org/10.1145/3522582
Aarhus University

In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to build such

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::28982a8c738b0d94f5e2aacaee4e2b6b
https://pure.au.dk/portal/da/publications/a-survey-of-practical-formal-methods-for-security(1adb5f21-fc4c-467d-b55e-155eb88872a0).html