#cyberphysicalsystems — Public Fediverse posts

The Mackay Sugar cyberattack is a reminder that cyber incidents can have real-world operational consequences when IT and OT environments are interconnected.

In this blog, Field CTO Sean Tufts discusses why cyber resilience, OT security, and managing IT/OT dependencies are critical for protecting critical infrastructure and maintaining operational continuity.

📖 Read here: https://claroty.com/blog/mackay-sugar-cyberattack-shows-need-for-resilience-when-itot-dependencies-exist

#OTSecurity #CriticalInfrastructure #CyberResilience #IndustrialCybersecurity #CyberPhysicalSystems #OperationalResilience

The Mackay Sugar cyberattack is a reminder that cyber incidents can have real-world operational consequences when IT and OT environments are interconnected.

In this blog, Field CTO Sean Tufts discusses why cyber resilience, OT security, and managing IT/OT dependencies are critical for protecting critical infrastructure and maintaining operational continuity.

📖 Read here: https://claroty.com/blog/mackay-sugar-cyberattack-shows-need-for-resilience-when-itot-dependencies-exist

#OTSecurity #CriticalInfrastructure #CyberResilience #IndustrialCybersecurity #CyberPhysicalSystems #OperationalResilience

My Verification of Autonomous Systems book is finally out!

In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.

Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.

I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!

E-book now available for download and hard copy coming soon!

* This book is about verifying autonomous embodied robots, not LLMs or AI models.

^ No AI was used in the generation of this book's content.

Link: https://link.springer.com/book/10.1007/978-3-031-88546-4

#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation

My Verification of Autonomous Systems book is finally out!

In addition to contributed chapters on theoretical and practical aspects of verifying autonomy*, the editors contributed an introduction on stakeholder perspectives and a chapter on the specific challenges autonomy introduces to verification.

Each chapter is cross-referenced to e challenges it addresses in a handy table to help readers find the information most useful to them.

I'm really proud of all our authors! So many thanks to everyone who contributed^, especially my co-editors, Mae Seto, Don Sofge, and John Sustersic!

E-book now available for download and hard copy coming soon!

* This book is about verifying autonomous embodied robots, not LLMs or AI models.

^ No AI was used in the generation of this book's content.

Link: https://link.springer.com/book/10.1007/978-3-031-88546-4

#Robotics #AutonomousSystems #Verification #VerificationOfAutonomy #Robots #AutonomousRobots #CyberPhysicalSystems #RobotTesting #FormalMethods #Modeling #Simulation

🤖🚗 AI is moving into the physical world – but how do we verify it?
Prof. Daniel Neider from the Department of Computer Science at TU Dortmund University joined a Shonan Meeting 🇯🇵, a selective research seminar bringing together experts in AI, formal methods, and robotics.
The focus:
🔬 LLM-guided synthesis
🧪 testing
📐 verification of learning-enabled cyber-physical systems.
Key research for building trustworthy AI.
#TrustworthyAI #ReliableAI #CyberPhysicalSystems #AIresearch

With cyber-physical systems (CPS) becoming increasingly central to logistics, supply chains, and industrial operations, protecting them goes beyond traditional IT security. 🌐 It requires a holistic approach that bridges #IT and #OT, providing full visibility, prioritizing risk, and ensuring operational continuity.

🔖 Our latest blog explores how Claroty helps organizations safeguard the CPS that power global supply chains. Read here: https://claroty.com/blog/protecting-the-cyber-physical-systems-that-power-global-supply-chains

#CyberPhysicalSystems #OTSecurity #SupplyChainSecurity #CyberResilience #IndustrialCybersecurity

With cyber-physical systems (CPS) becoming increasingly central to logistics, supply chains, and industrial operations, protecting them goes beyond traditional IT security. 🌐 It requires a holistic approach that bridges #IT and #OT, providing full visibility, prioritizing risk, and ensuring operational continuity.

🔖 Our latest blog explores how Claroty helps organizations safeguard the CPS that power global supply chains. Read here: https://claroty.com/blog/protecting-the-cyber-physical-systems-that-power-global-supply-chains

#CyberPhysicalSystems #OTSecurity #SupplyChainSecurity #CyberResilience #IndustrialCybersecurity

Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung

Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung

Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung

Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung

Scrum Guide und Expansion Pack: Relevanz und Grenzen im Systems Engineering
Zum Scrum Guide gibt es nun auch ein E
https://www.se-trends.de/scrum-guide-and-extension-pack/
#Agilitt #OpenSource #ProductVelocity #Wissen #AdaptiveOrganisation #Architektur #CyberPhysicalSystems #Cynefin #Governance #Integration #InterdisziplinreEntwicklung #Komplexitt #OperatingModel #Praktiken #Qualitt #ScrumGuide #ScrumGuideExpansionPack #Strategie #Systemarchitektur #Systementwicklung #Testen #Validierung

🤖 Is Information Digital?

At the AI Colloquium, Edward A. Lee (UC Berkeley) explores whether objective observation can ever fully capture physical reality. 📡🌍

Using concepts from computer science & information theory, he argues that some knowledge may require embodied interaction – even for machines. 🚲🤖

📅 5 March | 13:00–15:00 | TU Dortmund

What are the limits of digital representation?

#AIColloquium #CyberPhysicalSystems #TrustworthyAI #PhilosophyOfAI

Photo: Hesham Elsherif/TU Dortmund

Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup

Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup

Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup

Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup

Ameru Smart Bin: In Rekordgeschwindigkeit von der Idee zum physischen Produkt
Fallstudien sind essenziell, um zu verstehen, wie Product Velocity in der Praxis wirkt. Diese Bibliothek wird über die Zeit wachsen.
https://www.se-trends.de/ameru-smart-bin/
#Agilitt #Fallbeispiel #Industrie #ProductVelocity #Abfalltrennung #Architektur #B2B #CyberPhysicalSystems #Fallstudie #Geschftsmodell #Hardware #Innovation #KI #MLOps #Nachhaltigkeit #RapidPrototyping #Serienentwicklung #SmartBin #Startup

🏆 Congrats to Professor Reinhard Wilhelm for being awarded the 2025 ACM SIGBED Technical Achievement Award!

His work in WCET analysis has shaped safe embedded, real-time, and cyber-physical systems used worldwide, from aircraft control to medical devices.

🔗 Read more: https://sic.link/profwilhelmacm

📸 © Iris Maurer

#UdS #SaarlandInformaticsCampus #saarlanduniversity #Saarbrücken #Saarland #realtimesystems #embeddedsystems #cyberphysicalsystems #ACM #computerscience #WCETAnalysis #AbsInt

Consider submitting if you have active research in data-driven controller design, algorithms, or tools with an application to smart cities, smart power grids, smart transportation, connected-and-autonomous vehicles, or a broader area of CPS.

#iot #power #data #research #algorithms #transportation #cyber #computing #smartcities #smartgrid #computing #cps #cyberphysicalsystems #cyberattack #cyberresilience

Website: https://di-cps.github.io/

Submission Link: https://easychair.org/conferences/?conf=dicps23

Consider submitting if you have active research in data-driven controller design, algorithms, or tools with an application to smart cities, smart power grids, smart transportation, connected-and-autonomous vehicles, or a broader area of CPS.

#iot #power #data #research #algorithms #transportation #cyber #computing #smartcities #smartgrid #computing #cps #cyberphysicalsystems #cyberattack #cyberresilience

Website: https://di-cps.github.io/

Submission Link: https://easychair.org/conferences/?conf=dicps23

Hello! Back here after a couple of years so reintroducing myself. I’m a faculty member in the #computerscience department at The George Washington University working on #security and #resilience of computing systems, most notably #autonomoussystems and #cyberphysicalsystems.

I am also a news junkie so you will see a lot of posts about all sorts of things, most commonly #politics (US and India) and #sports such as cricket.

Hello! Back here after a couple of years so reintroducing myself. I’m a faculty member in the #computerscience department at The George Washington University working on #security and #resilience of computing systems, most notably #autonomoussystems and #cyberphysicalsystems.

I am also a news junkie so you will see a lot of posts about all sorts of things, most commonly #politics (US and India) and #sports such as cricket.