Safe, secure, assured AI
SafeAI Labs
SafeAI Labs conducts research and engineering on methods, tools, and evidence for the safe, secure, and assured use of AI-based systems—including large language models, AI agents, and physical AI—in embedded, industrial, and railway applications.
The work combines AI safety, functional safety, cybersecurity assurance, systems engineering, and standards-oriented evidence development for high-integrity cyber-physical systems.
01
Research and engineering areas
| AI and LLM assurance |
|
|---|---|
| AI evaluation and benchmarks |
|
| Functional safety |
|
| Industrial and OT cybersecurity |
|
| Railway safety engineering |
|
| Model-based engineering |
|
| Standards and compliance |
|
02
Selected research outputs
| Topic / output | Short description | Status / link |
|---|---|---|
| EmbSoftOTBench | Benchmarking LLMs for cybersecurity tasks in embedded and operational-technology systems | Dataset on GitHub |
| LLMs for functional-safety analysis | Examination of LLM-supported, human-in-the-loop machinery functional-safety risk analysis | Publication |
| Functional-safety risk-assessment data | Structured dataset and methods for data-driven risk assessment in industrial functional safety | Published research |
| AI-supported railway safety cases | Methods to derive safety functions and develop safety-lifecycle evidence from requirements and hazard information | Ongoing research |
| AI-generated safety mechanisms | Model-based generation and verification of application-level safety mechanisms from requirements and UML inputs | Ongoing research |
| AI lifecycle and testing | Methods for integrating AI-specific lifecycle phases and testing into safety-critical development | Publication |
| LLM-assisted software-quality analysis | Scalable detection and resolution of data clumps using a modular pipeline with ChatGPT | Publication |
03
04
Contact
Dr. Padma IyengharSafeAI Labs
padma@safeai-labs.com